The following pages link to Joseph Sifakis (Q243976):
Displaying 50 items.
- Configuration logics: modeling architecture styles (Q347359) (← links)
- Priority scheduling of distributed systems based on model checking (Q453501) (← links)
- (Q698465) (redirect page) (← links)
- Scheduler modeling based on the controller synthesis paradigm (Q698466) (← links)
- A general framework for architecture composability (Q736458) (← links)
- Symbolic quality control for multimedia applications (Q944000) (← links)
- A logic for the specification and proof of regular controllable processes of CCS (Q1080653) (← links)
- A unified approach for studying the properties of transition systems (Q1161289) (← links)
- Fairness and related properties in transition systems - a temporal logic to deal with fairness (Q1166926) (← links)
- From ATP to timed graphs and hybrid systems (Q1323313) (← links)
- Symbolic model checking for real-time systems (Q1327398) (← links)
- The algebra of timed processes, ATP: Theory and application (Q1336052) (← links)
- Property preserving abstractions for the verification of concurrent systems (Q1346649) (← links)
- Composition for component-based modeling (Q1776582) (← links)
- Decidable integration graphs. (Q1854273) (← links)
- An algebraic framework for urgency (Q1854390) (← links)
- A framework for automated distributed implementation of component-based models (Q1938379) (← links)
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- Functional BIP: embedding connectors in functional programming languages (Q2403817) (← links)
- Verification of component-based systems with recursive architectures (Q2699967) (← links)
- (Q2766638) (← links)
- Rigorous implementation of real-time systems -- from theory to application (Q2843865) (← links)
- Global and local invariants in transition systems (Q3311673) (← links)
- (Q3336680) (← links)
- (Q3343432) (← links)
- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR (Q3512442) (← links)
- Compositional Verification for Component-Based Systems and Application (Q3540064) (← links)
- A Notion of Glue Expressiveness for Component-Based Systems (Q3541041) (← links)
- Knowledge Based Scheduling of Distributed Systems (Q3587250) (← links)
- Ensuring Properties of Interaction Systems (Q3593075) (← links)
- Causal Semantics for the Algebra of Connectors (Q3602997) (← links)
- Priority Scheduling of Distributed Systems Based on Model Checking (Q3636855) (← links)
- (Q3690206) (← links)
- (Q3703286) (← links)
- A logic for the description of non-deterministic programs and their properties (Q3719799) (← links)
- A modal characterization of observational congruence on finite terms of CCS (Q3719814) (← links)
- (Q3790614) (← links)
- (Q3902493) (← links)
- (Q3940830) (← links)
- (Q3945590) (← links)
- (Q4048977) (← links)
- (Q4128722) (← links)
- Structural properties of petri nets (Q4162494) (← links)
- (Q4185813) (← links)
- (Q4473739) (← links)
- (Q4503931) (← links)
- (Q4518892) (← links)
- (Q4551173) (← links)
- The Algebra of Connectors—Structuring Interaction in BIP (Q4564086) (← links)
- Compositional specification of timed systems (Q4593944) (← links)
