Searching for authors named "Joseph Sifakis" – sorted by Relevance.
32 documents found, showing 1 through 10.
Next 10 →
-
The Compositional Specification of Timed Systems - A Tutorial
- …The Compositional Speci cation of Timed Systems A Tutorial Motivation Joseph Sifakis Joseph…
- Add To MetaCart
-
Modeling Real-time Systems
- …Modeling Real-time Systems Joseph Sifakis Verimag, Grenoble, France Sifakis@(email omitted); Modeling real…
- Cited by 5 (0 self) – Add To MetaCart
-
Modeling Real-Time Systems - Challenges and Work Directions
- …Modeling Real-Time Systems | Challenges and Work Directions Joseph Sifakis Joseph…
- Cited by 8 (0 self) – Add To MetaCart
-
Compositional Specification of Timed Systems (Extended Abstract)
- …Compositional Specification of Timed Systems (Extended Abstract) y Joseph Sifakis and Sergio…
- Cited by 4 (0 self) – Add To MetaCart
-
Component-based construction of deadlock-free systems
- … and Joseph Sifakis 2 1 INRIA Rhône-Alpes, goessler@(email omitted); 2 VERIMAG, sifakis@(email omitted); Abstract. We…
- Cited by 11 (4 self) – Add To MetaCart
-
Composition for Component-Based Modeling
- …Composition for Component-Based Modeling ⋆ 1 Introduction Gregor Gössler 1 and Joseph Sifakis 2 1…
- Cited by 9 (1 self) – Add To MetaCart
-
Relating Time Progress and Deadlines in Hybrid Systems
- …Relating Time Progress and Deadlines in Hybrid Systems ? Sebastien Bornot 1 and Joseph Sifakis 1…
- Cited by 12 (3 self) – Add To MetaCart
-
An algebraic framework for urgency
- …An Algebraic Framework for Urgency 1 Introduction Sebastien Bornot and Joseph Sifakis Sebastien…
- Cited by 32 (4 self) – Add To MetaCart
-
On the Composition of Hybrid Systems
- …On the composition of hybrid systems S'ebastien Bornot and Joseph Sifakis Sebastien…
- Cited by 11 (4 self) – Add To MetaCart
-
An overview and synthesis on timed process algebras
- …An Overview and Synthesis on Timed Process Algebras y Xavier Nicollin Joseph Sifakis Laboratoire…
- Cited by 128 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
