Details
Title
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
Affiliated authors
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
Institute
IINFCOM
Faculty
IC
Note
Members of RISD-unit
Linked resource
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
See complete list of 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
See complete list of publications (137)
Record appears in
Authorities > Lab