| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur |
2010 CAV award announcement.  |
Formal Methods in System Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Trustworthy Computing Systems. |
PECCS |
2012 |
DBLP BibTeX RDF |
|
| 1 | Joseph Sifakis |
Trustworthy Computing Systems. |
SENSORNETS |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis |
Rigorous Component-Based System Design Using the BIP Framework. |
IEEE Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
A vision for computer science - the system perspective. |
Central Europ. J. Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis |
Priority scheduling of distributed systems based on model checking. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang |
Rigorous system level modeling and analysis of mixed HW/SW systems. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis |
Time-predictable and composable architectures for dependable embedded systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bliudze, Joseph Sifakis |
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. |
Software Composition |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis |
Rigorous System Design: The BIP Approach. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Methods and tools for component-based system design. |
DATE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
D-Finder 2: Towards Efficient Correctness of Incremental Design. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Mohamad Jaber, Joseph Sifakis |
Source-to-Source Architecture Transformation for Performance Optimization in BIP. |
IEEE Trans. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis |
Compositional verification for component-based systems and application. |
IET Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bliudze, Joseph Sifakis |
Causal semantics for the algebra of connectors. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi |
2009 CAV award announcement. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis |
Model-based implementation of real-time applications. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis |
From high-level component-based models to distributed implementations. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Embedded Systems Design - Scientific Challenges and Work Directions. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Embedded systems design - Scientific challenges and work directions. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
Incremental component-based construction and verification using invariants. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis |
Compositional Translation of Simulink Models into Synchronous BIP. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis |
Automated Conflict-free distributed implementation of component-based models. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Doron Peled, Joseph Sifakis |
Knowledge Based Scheduling of Distributed Systems. |
Essays in Memory of Amir Pnueli |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Component-based Construction of Heterogeneous Real-time Systems in BIP. |
The Future of Software Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
Incremental Invariant Generation for Compositional Design. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis |
Systematic Correct Construction of Self-stabilizing Systems: A Case Study. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis |
Model checking: algorithmic verification and debugging. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Component-Based Construction of Heterogeneous Real-Time Systems in Bip. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis |
Modeling synchronous systems in BIP. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
BIP (behavior-interaction-priority), modal flow graphs, priority petri nets, synchronous systems, lustre |
| 1 | Joseph Sifakis |
The Quest for Correctness-Beyond a Posteriori Verification. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Mohamad Jaber, Joseph Sifakis |
Source-to-source architecture transformation for performance optimization in BIP. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis |
Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Embedded systems design - Scientific challenges and work directions. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis |
Priority Scheduling of Distributed Systems Based on Model Checking. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis |
D-Finder: A Tool for Compositional Deadlock Detection and Verification. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Component-Based Construction of Real-Time Systems in BIP. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bliudze, Joseph Sifakis |
The Algebra of Connectors - Structuring Interaction in BIP. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus |
Symbolic quality control for multimedia applications. |
Real-Time Systems |
2008 |
DBLP DOI BibTeX RDF |
Multimedia, Embedded systems, Real-time, QoS control, Symbolic techniques |
| 1 | Simon Bliudze, Joseph Sifakis |
A Notion of Glue Expressiveness for Component-Based Systems. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis |
Distributed Semantics and Implementation for Systems with Interaction and Priority. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen |
Compositional Verification for Component-Based Systems and Application. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Queille, Joseph Sifakis |
Specification and Verification of Conurrent Systems in Cesar. |
25 Years of Model Checking |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis |
Translating AADL into BIP - Application to the Verification of Real-Time Systems. |
MoDELS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Joseph Sifakis |
The Discipline of Embedded Systems Design. |
IEEE Computer |
2007 |
DBLP DOI BibTeX RDF |
analytical models, computational models, systems engineering, embedded computing |
| 1 | Simon Bliudze, Joseph Sifakis |
The algebra of connectors: structuring interaction in BIP. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus |
Using Speed Diagrams for Symbolic Quality Management. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bliudze, Joseph Sifakis |
Causal Semantics for the Algebra of Connectors. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis |
An Approach to Modelling and Verification of Component Based Systems. |
SOFSEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Marius Bozga, Joseph Sifakis |
Modeling Heterogeneous Real-time Components in BIP. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
WPDRTS keynote: component-based construction of embedded systems. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Joseph Sifakis |
The Embedded Systems Design Challenge. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis |
Ensuring Properties of Interaction Systems. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis |
A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. |
Monterey Workshop |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul 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. |
2005 |
DBLP DOI BibTeX RDF |
Graduate curriculum, architecture and design, extrafunctional properties, distributed systems, embedded systems, real-time, control, labs |
| 1 | Gregor Gößler, Joseph Sifakis |
Composition for component-based modeling. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Bouyssounouse, Joseph Sifakis |
Embedded Systems Design: The ARTIST Roadmap for Research and Development |
|
2005 |
DOI RDF |
|
| 1 | Joseph Sifakis |
A Framework for Component-based Construction Extended Abstract. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis |
QoS control for optimality and safety. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
optimality, multimedia, real-time, control, safety, fine grain |
| 1 | Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis |
Fine Grain QoS Control for Multimedia Application Software. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Embedded Systems - Challenges and Work Directions. |
OPODIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis |
The IF Toolset. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Modeling Real-Time Systems. (PDF / PS) |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis, Stavros Tripakis, Sergio Yovine |
Building models of real-time systems from application software. |
Proceedings of the IEEE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gregor Gößler, Joseph Sifakis |
Priority Systems. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Gößler, Joseph Sifakis |
Component-Based Construction of Deadlock-Free Systems: Extended Abstract. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis |
Abstracts of Invited Talks. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Karine Altisen, Gregor Gößler, Joseph Sifakis |
Scheduler Modeling Based on the Controller Synthesis Paradigm. |
Real-Time Systems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis (eds.) |
Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings |
EMSOFT |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gregor Gößler, Joseph Sifakis |
Composition for Component-Based Modeling. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Scheduler Modeling Based on the Controller Synthesis Paradigm. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Modeling Real-Time Systems-Challenges and Work Directions. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Bornot, Joseph Sifakis |
An Algebraic Framework for Urgency. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Bornot, Gregor Gößler, Joseph Sifakis |
On the Construction of Live Timed Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis |
Towards validated real-time software. |
ECRTS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Karine Altisen, Gregor Gößler, Joseph Sifakis |
A Methodology for the Construction of Scheduled Systems. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine |
Decidable Integration Graphs. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Integration, the Price of Success. |
World Congress on Formal Methods |
1999 |
DBLP BibTeX RDF |
|
| 1 | Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine |
A Framework for Scheduler Synthesis. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1999 |
DBLP DOI BibTeX RDF |
scheduler synthesis, real-time systems, timed automata, timed petri nets |
| 1 | Joseph Sifakis |
The Compositional Specification of Timed Systems - A Tutorial. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Bornot, Joseph Sifakis |
On the Composition of Hybrid Systems. |
HSCC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
A General Framework for the Composition of Timed Systems Extended Abstract. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
On the Composition of Timed Systems. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Bornot, Joseph Sifakis, Stavros Tripakis |
Modeling Urgency in Timed Systems. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Bornot, Joseph Sifakis |
Relating Time Progress and Deadlines in Hybrid Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Research Directions for Formal Methods. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Research Directions for Concurrency. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis, Sergio Yovine |
Compositional Specification of Timed Systems (Extended Abstract). |
STACS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev 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. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem |
Property Preserving Abstractions for the Verification of Concurrent Systems. |
Formal Methods in System Design |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Specification and Verification of Timed Systems. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Oded Maler, Amir Pnueli, Joseph Sifakis |
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). |
STACS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Real-time systems specification and verification. |
ISSS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine |
Symbolic Model Checking for Real-Time Systems |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Nicollin, Joseph Sifakis |
The Algebra of Timed Processes, ATP: Theory and Application |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")