dblp.uni-trier.dewww.uni-trier.de

Joseph Sifakis Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
118EEJoseph Sifakis: Component-Based Construction of Real-Time Systems in BIP. CAV 2009: 33-34
117EESaddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV 2009: 614-619
116EEAnanda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93
115EEJoseph Sifakis: Embedded systems design - Scientific challenges and work directions. DATE 2009: 2
114EEAnanda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis: Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. DISC 2009: 174-175
113EEMarius Bozga, Vassiliki Sfyrla, Joseph Sifakis: Modeling synchronous systems in BIP. EMSOFT 2009: 77-86
112EEJoseph Sifakis: Component-Based Construction of Heterogeneous Real-Time Systems in Bip. Petri Nets 2009: 1
111EEMarius Bozga, Mohamad Jaber, Joseph Sifakis: Source-to-source architecture transformation for performance optimization in BIP. SIES 2009: 152-160
110EEJoseph Sifakis: The Quest for Correctness-Beyond a Posteriori Verification. SPIN 2009: 4
2008
109EEJean-Pierre Queille, Joseph Sifakis: Specification and Verification of Conurrent Systems in Cesar. 25 Years of Model Checking 2008: 216-230
108EESaddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen: Compositional Verification for Component-Based Systems and Application. ATVA 2008: 64-79
107EESimon Bliudze, Joseph Sifakis: A Notion of Glue Expressiveness for Component-Based Systems. CONCUR 2008: 508-522
106EEAnanda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis: Incremental Component-Based Construction and Verification of a Robotic System. ECAI 2008: 631-635
105EEAnanda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis: Distributed Semantics and Implementation for Systems with Interaction and Priority. FORTE 2008: 116-133
104EEMohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis: Translating AADL into BIP - Application to the Verification of Real-Time Systems. MoDELS Workshops 2008: 5-19
103EESimon Bliudze, Joseph Sifakis: The Algebra of Connectors - Structuring Interaction in BIP. IEEE Trans. Computers 57(10): 1315-1330 (2008)
102EEJacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus: Symbolic quality control for multimedia applications. Real-Time Systems 40(1): 1-43 (2008)
2007
101EESimon Bliudze, Joseph Sifakis: The algebra of connectors: structuring interaction in BIP. EMSOFT 2007: 11-20
100EESimon Bliudze, Joseph Sifakis: Causal Semantics for the Algebra of Connectors. FMCO 2007: 179-199
99EEJacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus: Using Speed Diagrams for Symbolic Quality Management. IPDPS 2007: 1-8
98EEAnanda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis: Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. NCA 2007: 257-260
97EEGregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis: An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) 2007: 295-308
96EEThomas A. Henzinger, Joseph Sifakis: The Discipline of Embedded Systems Design. IEEE Computer 40(10): 32-40 (2007)
2006
95EEThomas A. Henzinger, Joseph Sifakis: The Embedded Systems Design Challenge. FM 2006: 1-15
94EEJoseph Sifakis: WPDRTS keynote: component-based construction of embedded systems. IPDPS 2006
93EEMarc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis: A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. Monterey Workshop 2006: 75-96
92EEGregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis: Ensuring Properties of Interaction Systems. Program Analysis and Compilation 2006: 201-224
91EEAnanda Basu, Marius Bozga, Joseph Sifakis: Modeling Heterogeneous Real-time Components in BIP. SEFM 2006: 3-12
2005
90 Bruno Bouyssounouse, Joseph Sifakis: Embedded Systems Design: The ARTIST Roadmap for Research and Development Springer 2005
89EEJacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis: Fine Grain QoS Control for Multimedia Application Software. DATE 2005: 1038-1043
88EEJacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis: QoS control for optimality and safety. EMSOFT 2005: 90-99
87EEJoseph Sifakis: A Framework for Component-based Construction Extended Abstract. SEFM 2005: 293-300
86EEPaul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
85EEGregor Gößler, Joseph Sifakis: Composition for component-based modeling. Sci. Comput. Program. 55(1-3): 161-183 (2005)
2004
84EEJoseph Sifakis: Embedded Systems - Challenges and Work Directions. OPODIS 2004: 184-185
83EEJoseph Sifakis: Modeling Real-Time Systems. RTSS 2004: 5-6
82EEMarius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis: The IF Toolset. SFM 2004: 237-267
2003
81EEGregor Gößler, Joseph Sifakis: Priority Systems. FMCO 2003: 314-329
80EEGregor Gößler, Joseph Sifakis: Component-Based Construction of Deadlock-Free Systems: Extended Abstract. FSTTCS 2003: 420-433
79 Joseph Sifakis, Stavros Tripakis, Sergio Yovine: Building models of real-time systems from application software. Proceedings of the IEEE 91(1): 100-111 (2003)
2002
78 Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings Springer 2002
77EEGregor Gößler, Joseph Sifakis: Composition for Component-Based Modeling. FMCO 2002: 443-466
76EEJoseph Sifakis: Scheduler Modeling Based on the Controller Synthesis Paradigm. FTRTFT 2002: 107-110
75EEGiorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis: Abstracts of Invited Talks. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
74 Karine Altisen, Gregor Gößler, Joseph Sifakis: Scheduler Modeling Based on the Controller Synthesis Paradigm. Real-Time Systems 23(1-2): 55-84 (2002)
2001
73EEEtienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine: TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV 2001: 391-395
72EEJoseph Sifakis: Modeling Real-Time Systems-Challenges and Work Directions. EMSOFT 2001: 373-389
2000
71EEValérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis: Towards validated real-time software. ECRTS 2000: 157-164
70EEKarine Altisen, Gregor Gößler, Joseph Sifakis: A Methodology for the Construction of Scheduled Systems. FTRTFT 2000: 106-120
69EESébastien Bornot, Gregor Gößler, Joseph Sifakis: On the Construction of Live Timed Systems. TACAS 2000: 109-126
68 Sébastien Bornot, Joseph Sifakis: An Algebraic Framework for Urgency. Inf. Comput. 163(1): 172-202 (2000)
1999
67EEJoseph Sifakis: The Compositional Specification of Timed Systems - A Tutorial. CAV 1999: 2-7
66EEKarine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis. IEEE Real-Time Systems Symposium 1999: 154-163
65 Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis: IF: An intermediate representation for SDL and its applications. SDL Forum 1999: 423-440
64EEJoseph Sifakis: Integration, the Price of Success. World Congress on Formal Methods 1999: 52-55
63 Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Decidable Integration Graphs. Inf. Comput. 150(2): 209-243 (1999)
1998
62EEJoseph Sifakis: A General Framework for the Composition of Timed Systems Extended Abstract. FTRTFT 1998: 27-28
61 Sébastien Bornot, Joseph Sifakis: On the Composition of Hybrid Systems. HSCC 1998: 49-63
1997
60EESébastien Bornot, Joseph Sifakis, Stavros Tripakis: Modeling Urgency in Timed Systems. COMPOS 1997: 103-129
59 Sébastien Bornot, Joseph Sifakis: Relating Time Progress and Deadlines in Hybrid Systems. HART 1997: 286-300
58EEJoseph Sifakis: On the Composition of Timed Systems. ICATPN 1997: 21-22
1996
57 S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich: Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. FTCS 1996: 353-357
56EEJoseph Sifakis, Sergio Yovine: Compositional Specification of Timed Systems (Extended Abstract). STACS 1996: 347-359
55 Joseph Sifakis: Research Directions for Formal Methods. ACM Comput. Surv. 28(4es): 124 (1996)
54 Joseph Sifakis: Research Directions for Concurrency. ACM Comput. Surv. 28(4es): 55 (1996)
1995
53 Joseph Sifakis: Specification and Verification of Timed Systems. FORTE 1995: 3-4
52EEJoseph Sifakis: Real-time systems specification and verification. ISSS 1995: 69
51EEOded Maler, Amir Pnueli, Joseph Sifakis: On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). STACS 1995: 229-242
50 Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem: Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods in System Design 6(1): 11-44 (1995)
49EERajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine: The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. 138(1): 3-34 (1995)
1994
48EEAlfredo Olivero, Joseph Sifakis, Sergio Yovine: Using Abstractions for the Verification of Linear Hybrid Systems. CAV 1994: 81-94
47EEJean-Claude Fernandez, Joseph Sifakis, Robert de Simone: Model-Based Verification Methods and Tools (Abstract). CONCUR 1994: 64
46 Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-Time Systems Inf. Comput. 111(2): 193-244 (1994)
45 Xavier Nicollin, Joseph Sifakis: The Algebra of Timed Processes, ATP: Theory and Application Inf. Comput. 114(1): 131-178 (1994)
1993
44 Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis: On Model Checking for Real-Time Properties with Durations LICS 1993: 147-159
43 Xavier Nicollin, Joseph Sifakis, Sergio Yovine: From ATP to Timed Graphs and Hybrid Systems. Acta Inf. 30(2): 181-202 (1993)
1992
42EESaddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis: Property Preserving Simulations. CAV 1992: 260-273
41 Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine: An Approach to the Description and Analysis of Hybrid Systems. Hybrid Systems 1992: 149-178
40 Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems 1992: 179-208
39EEJean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis: A Toolbox for the Verification of LOTOS Programs. ICSE 1992: 246-259
38 Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-time Systems LICS 1992: 394-406
37EEXavier Nicollin, Joseph Sifakis, Sergio Yovine: Compiling Real-Time Specifications into Extended Automata. IEEE Trans. Software Eng. 18(9): 794-804 (1992)
1991
36EEXavier Nicollin, Joseph Sifakis: An Overview and Synthesis on Timed Process Algebras. CAV 1991: 376-398
35EECostas Courcoubetis, Susanne Graf, Joseph Sifakis: An Algebra of Boolean Processes. CAV 1991: 454-465
34EEAhmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis: Safety for Branching Time Semantics. ICALP 1991: 76-92
33EEXavier Nicollin, Joseph Sifakis: An Overview and Synthesis on Timed Process Algebras. REX Workshop 1991: 526-548
32EEXavier Nicollin, Joseph Sifakis, Sergio Yovine: From ATP to Timed Graphs and Hybrid Systems. REX Workshop 1991: 549-572
31EEAhmed Bouajjani, Joseph Sifakis: Verification for Finite Systems (Extended Abstract). TAPSOFT, Vol.2 1991: 55-57
1990
30 Joseph Sifakis: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings Springer 1990
29 Hubert Garavel, Joseph Sifakis: Compilation and verification of LOTOS specifications. PSTV 1990: 379-394
1988
28EEAhmed Bouajjani, Susanne Graf, Joseph Sifakis: A logig for the description of behaviours and properties of concurrent systems. REX Workshop 1988: 398-410
1987
27EESusanne Graf, Joseph Sifakis: Readiness Semantics for Regular Processes with Silent Actions. ICALP 1987: 115-125
26 Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron: Verification in XESAR of the Sliding Window Protocol. PSTV 1987: 235-248
25 Susanne Graf, Joseph Sifakis: An Expressive Logic for a Process Algebra with Silent Actions. Temporal Logic in Specification 1987: 44-61
1986
24 Joseph Sifakis: Specification and Development of Reactive Systems - Response. IFIP Congress 1986: 1183-1188
23 Susanne Graf, Joseph Sifakis: A Logic for the Specification and Proof of Regular Controllable Processes of CCS. Acta Inf. 23(5): 507-527 (1986)
22 Susanne Graf, Joseph Sifakis: A Modal Characterization of Observational Congruence on Finite Terms of CCS Information and Control 68(1-3): 125-145 (1986)
21 Susanne Graf, Joseph Sifakis: A Logic for the Description of Non-deterministic Programs and Their Properties Information and Control 68(1-3): 254-270 (1986)
1985
20 Susanne Graf, Joseph Sifakis: Frm Synchronization Tree Logic to Acceptance Model Logic. Logic of Programs 1985: 128-142
1984
19EESusanne Graf, Joseph Sifakis: A Modal Characterization of Observational Congruence on Finite Terms of CCS. ICALP 1984: 222-234
1983
18 Joseph Sifakis: Property Preserving Homomorphisms of Transition Systems. Logic of Programs 1983: 458-473
17 Jean-Claude Fernandez, J. Ph. Schwartz, Joseph Sifakis: An Example of Specification and Verification in Cesar. The Analysis of Concurrent Systems 1983: 199-210
16 Jean-Pierre Queille, Joseph Sifakis: Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness. Acta Inf. 19: 195-220 (1983)
1982
15 Jean-Pierre Queille, Joseph Sifakis: A Temporal Logic to Deal with Fairness in Transition Systems FOCS 1982: 217-225
14EEJoseph Sifakis: Global and Local Invariants in Transition Systems. ICALP 1982: 510-522
13 Joseph Sifakis: Comments on Schiffers. International Working Conference on Model Realism 1982: 95
12 Jean-Pierre Queille, Joseph Sifakis: Specification and verification of concurrent systems in CESAR. Symposium on Programming 1982: 337-351
11 Joseph Sifakis: Global and Local Invariants in Transition Systems Information and Control 53(1/2): 91-107 (1982)
10 Joseph Sifakis: A Unified Approach for Studying the Properties of Transition Systems. Theor. Comput. Sci. 18: 227-258 (1982)
1981
9 Jean-Pierre Queille, Joseph Sifakis: Iterative Methods for the Analysis of Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 161-167
1980
8EEJoseph Sifakis: Deadlocks and Livelocks in Transition Systems. MFCS 1980: 587-600
7 Joseph Sifakis: Use of Petri nets for performance evaluation. Acta Cybern. 4: 185-202 (1980)
1978
6EEM. Moalla, Jacques Pulou, Joseph Sifakis: Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. MFCS 1978: 374-384
5EEJoseph Sifakis: Structural Properties of Petri Nets. MFCS 1978: 474-483
1977
4 Joseph Sifakis: Use of Petri Nets for Performance Evaluation. Performance 1977: 75-93
1976
3 M. Moalla, Gabriele Saucier, Joseph Sifakis, M. Zachariades: A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules. ISCA 1976: 20-27
1975
2 Joseph Sifakis: Performance Evaluation of Systems Using Nets. Advanced Course: Net Theory and Applications 1975: 307-319
1 Charles André, M. Diaz, Claude Girault, Joseph Sifakis: Survey of French Research and Applications Based on Petri Nets. Advanced Course: Net Theory and Applications 1975: 321-345

Coauthor Index

1Luís Almeida [86]
2Karine Altisen [66] [70] [74]
3Rajeev Alur [49]
4Charles André [1]
5S. Ayache [57]
6Ananda Basu [91] [98] [105] [106] [114] [116]
7Saddek Bensalem [42] [50] [106] [108] [116] [117]
8Albert Benveniste [86]
9Valérie Bertin [71]
10Philippe Bidinger [105]
11Simon Bliudze [100] [101] [103] [107]
12Borzoo Bonakdarpour [114]
13Sébastien Bornot [59] [60] [61] [68] [69]
14Ahmed Bouajjani [28] [31] [34] [42] [44] [50]
15Bruno Bouyssounouse [86] [90]
16Marius Bozga [65] [82] [91] [104] [105] [108] [111] [113] [114] [117]
17Giorgio C. Buttazzo [75] [86]
18Paul Caspi [86]
19Mohamed Yassin Chkouri [104]
20Etienne Closse [73]
21Jacques Combaz [88] [89] [99] [102]
22Eric Conquet [57]
23Costas Courcoubetis [35] [49]
24Ivica Crnkovic [86]
25Werner Damm [86]
26M. Diaz [1]
27Rachid Echahed [44]
28Avi Efrati [75]
29Jakob Engblom [86]
30Jean-Claude Fernandez [17] [34] [39] [47] [65] [88] [89] [99] [102]
31Gerhard Fohler [86]
32Matthieu Gallien [106]
33Hubert Garavel [29] [39]
34Marisol García-Valls [86]
35R. Gerlich [57]
36Lucian Ghirvu [65]
37Claude Girault [1]
38Gregor Gößler [66] [69] [70] [74] [77] [80] [81] [85] [92] [97]
39Susanne Graf [19] [20] [21] [22] [23] [25] [27] [28] [34] [35] [50] [65] [82] [92] [97]
40Nicolas Halbwachs [49]
41Thomas A. Henzinger [38] [46] [49] [95] [96]
42Pei-Hsin Ho [49]
43John N. Hooker [75]
44Philippe Humbert [57]
45Félix Ingrand (François Felix Ingrand) [106]
46Mohamad Jaber [111]
47Yonit Kesten [40] [63]
48Hermann Kopetz [86]
49Jean-Pierre Krimm [65]
50Yassine Lakhnech [86]
51François Laroussinie [86]
52Luciano Lavagno [86]
53Thierry Lepley [88] [89]
54Charles Lesire [106]
55Giuseppe Lipari [86]
56Claire Loiseaux [42] [50]
57Mila E. Majster-Cederbaum [92] [97]
58Oded Maler [51]
59Florence Maraninchi [86]
60Moritz Martens [92] [97]
61M. Moalla [3] [6]
62Laurent Mounier [39] [65] [98]
63Thanh-Hung Nguyen [106] [108] [117]
64Xavier Nicollin [32] [33] [36] [37] [38] [41] [43] [45] [46] [49]
65Ileana Ober [82]
66Iulian Ober [82]
67Alfredo Olivero [41] [48] [49]
68Claude Le Pape [75]
69Doron Peled [116]
70Philipp Peti [86]
71Amir Pnueli [40] [51] [63] [66]
72Michel Poize [71] [73]
73Marc Poulhiès [93] [98]
74Juan Antonio de la Puente [86]
75Jacques Pulou [6] [71] [73] [93] [98]
76Jean-Pierre Queille [9] [12] [15] [16] [109]
77Anne Rasse [39]
78Jean-Luc Richier [26]
79Christophe Rippert [93]
80Anne Robert [104]
81Carlos Rodriguez [26] [34] [39] [57]
82Alberto L. Sangiovanni-Vincentelli [78] [86]
83Gabriele Saucier [3]
84Norman Scaife [86]
85J. Ph. Schwartz [17]
86Vassiliki Sfyrla [113]
87Robert de Simone [47] [86]
88Loïc Strus [99] [102]
89Martin Törngren [86]
90Stavros Tripakis [60] [66] [79]
91Patrick Venter [73]
92Paulo Veríssimo [86]
93Jacques Voiron [26]
94Daniel Weil [73]
95Andy J. Wellings [86]
96Reinhard Wilhelm [86]
97Tim A. C. Willemse [86]
98Wang Yi [86]
99Sergio Yovine [32] [37] [38] [40] [41] [43] [46] [48] [49] [56] [63] [66] [73] [79]
100M. Zachariades [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)