Notice détaillée
Titre
RISD
Formal Name (French)
Laboratoire pour la conception rigoureuse des systèmes
Formal Name (English)
Rigorous System Design Laboratory
Lab Manager
Infoscience team
Group ID
U12523
Auteurs affilié
Baranov, Eduard
Bliudze, Simon
Che, Tong
Hojjat, Hossein
Mavridou, Anastasia
Sifakis, Joseph
Simalatsar, Alena
Skalistis, Stefanos
Wang, Qiang
Zolotukhina, Alina
Bliudze, Simon
Che, Tong
Hojjat, Hossein
Mavridou, Anastasia
Sifakis, Joseph
Simalatsar, Alena
Skalistis, Stefanos
Wang, Qiang
Zolotukhina, Alina
Institut
IINFCOM
Faculté
IC
Note
Members of RISD-unit
Lien extérieur
http://risd.epfl.ch/
Publications
A Theory Agenda for Component-Based Design
Applying model checking to industrial-sized PLC programs
Architecture Diagrams - A Graphical Language for Architecture Style Specification
Architecture Internalisation in BIP
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies
Coordination of software components with BIP: application to OSGi
Functional BIP: Embedding connectors in functional programming languages
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP
Rigorous Component-Based System Design Using the BIP Framework
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems
Voir toutes les publications (137)
Applying model checking to industrial-sized PLC programs
Architecture Diagrams - A Graphical Language for Architecture Style Specification
Architecture Internalisation in BIP
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies
Coordination of software components with BIP: application to OSGi
Functional BIP: Embedding connectors in functional programming languages
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP
Rigorous Component-Based System Design Using the BIP Framework
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems
Voir toutes les publications (137)
Le document apparaît dans
Authorities > Lab