The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Joseph Sifakis" ( http://dblp.L3S.de/Authors/Joseph_Sifakis )

URL (Homepage):  http://www-verimag.imag.fr/~sifakis/  Author page on DBLP  Author page in RDF  Community of Joseph Sifakis in ASPL-2

Publication years (Num. hits)
1974-1982 (17) 1983-1990 (16) 1991-1994 (18) 1995-1999 (19) 2000-2004 (17) 2005-2007 (17) 2008-2009 (19) 2010 (15) 2011-2012 (20) 2013-2016 (19) 2017-2019 (19)
Publication types (Num. hits)
article(53) book(1) inproceedings(138) phdthesis(2) proceedings(2)
Venues (Conferences, Journals, ...)
CAV(9) EMSOFT(8) CoRR(6) Formal Methods in System Desig...(5) FMCO(4) ICALP(4) Inf. Comput.(4) Acta Inf.(3) CONCUR(3) DATE(3) FACS(3) FTRTFT(3) Information and Control(3) MFCS(3) REX Workshop(3) SEFM(3) More (+10 of total 116)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 52 occurrences of 39 keywords

Results
Found 197 publication records. Showing 196 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel Rigorous design of cyber-physical systems - Linking physicality and computation. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Radu Iosif, Joseph Sifakis Local Reasoning about Parametric and Reconfigurable Component-based Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marius Bozga, Radu Iosif, Joseph Sifakis Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Joseph Sifakis Autonomous Systems - An Architectural Characterization. Search on Bibsonomy Models, Languages, and Tools for Concurrent and Distributed Programming The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Maggi, Rocco De Nicola, Joseph Sifakis A Logic-Inspired Approach to Reconfigurable System Modelling. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Can We Trust Autonomous Systems? Boundaries and Risks. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Radu Iosif, Joseph Sifakis Checking Deadlock-Freedom of Parametric Component-Based Systems. Search on Bibsonomy TACAS (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis System Design in the Era of IoT - Meeting the Autonomy Challenge. Search on Bibsonomy MeTRiD@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rocco De Nicola, Alessandro Maggi, Joseph Sifakis DReAM: Dynamic Reconfigurable Architecture Modeling (full paper). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Joseph Sifakis Autonomous Systems - An Architectural Characterization. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marius Bozga, Radu Iosif, Joseph Sifakis Checking Deadlock-Freedom of Parametric Component-Based Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket Global and Local Deadlock Freedom in BIP. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis Early validation of system requirements and design through correctness-by-construction. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rocco De Nicola, Alessandro Maggi, Joseph Sifakis DReAM: Dynamic Reconfigurable Architecture Modeling. Search on Bibsonomy ISoLA (3) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. Search on Bibsonomy ISoLA (3) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis Programming Dynamic Reconfigurable Systems. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Romain Edelmann, Simon Bliudze, Joseph Sifakis Functional BIP: Embedding connectors in functional programming languages. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis Configuration logics: Modeling architecture styles. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan Component-based verification using incremental design and invariants. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis Architecture Diagrams: A Graphical Language for Architecture Style Specification. Search on Bibsonomy ICE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis A general framework for architecture composability. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton Ivanov, Panagiotis Katsaros, Joseph Sifakis Architecture-Based Design: A Satellite On-Board Software Case Study. Search on Bibsonomy FACS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Igor V. Konnov 0001, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis Parameterized Systems in BIP: Design and Model Checking. Search on Bibsonomy CONCUR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis System Design Automation: Challenges and Limitations. Search on Bibsonomy Proceedings of the IEEE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis Optimized distributed implementation of multiparty interactions with Restriction. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga A Theory Agenda for Component-Based Design. Search on Bibsonomy Software, Services, and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis Configuration Logics: Modelling Architecture Styles. Search on Bibsonomy FACS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Keynote talk III: A framework for modeling architectures and their properties. Search on Bibsonomy MEMOCODE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber Architecture internalisation in BIP. Search on Bibsonomy CBSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Rigorous system design. Search on Bibsonomy PODC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Toward a System Design Science. Search on Bibsonomy FPS@ETAPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis A General Framework for Architecture Composability. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Rigorous System Design. Search on Bibsonomy Foundations and Trends in Electronic Design Automation The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis Rigorous implementation of real-time systems - from theory to application. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis, Lothar Thiele, Reinhard Wilhelm Introduction to the special section on rigorous embedded systems design. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket An Abstract Framework for Deadlock Prevention in BIP. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis Model-Based Implementation of Parallel Real-Time Systems. Search on Bibsonomy FASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis A framework for automated distributed implementation of component-based models. Search on Bibsonomy Distributed Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur 2010 CAV award announcement. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Rigorous design of cyber-physical systems. Search on Bibsonomy ICSAMOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dahlia Malkhi, Fernando J. Corbató, E. Allen Emerson, Joseph Sifakis, Ken Thompson Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis Optimized distributed implementation of multiparty interactions with observation. Search on Bibsonomy AGERE!@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Trustworthy Computing Systems. Search on Bibsonomy PECCS The full citation details ... 2012 DBLP  BibTeX  RDF
1Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis Modeling Dynamic Architectures Using Dy-BIP. Search on Bibsonomy Software Composition The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Trustworthy Computing Systems. Search on Bibsonomy SENSORNETS The full citation details ... 2012 DBLP  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis Rigorous Component-Based System Design - (Invited Paper). Search on Bibsonomy WRLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis Priority scheduling of distributed systems based on model checking. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis Rigorous Component-Based System Design Using the BIP Framework. Search on Bibsonomy IEEE Software The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis A vision for computer science - the system perspective. Search on Bibsonomy Central Europ. J. Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang Rigorous system level modeling and analysis of mixed HW/SW systems. Search on Bibsonomy MEMOCODE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Methods and tools for component-based system design. Search on Bibsonomy DATE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis Rigorous System Design: The BIP Approach. Search on Bibsonomy MEMICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis Time-predictable and composable architectures for dependable embedded systems. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis Component Assemblies in the Context of Manycore. Search on Bibsonomy FMCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Joseph Sifakis Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. Search on Bibsonomy Software Composition The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan D-Finder 2: Towards Efficient Correctness of Incremental Design. Search on Bibsonomy NASA Formal Methods The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis Compositional verification for component-based systems and application. Search on Bibsonomy IET Software The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Mohamad Jaber, Joseph Sifakis Source-to-Source Architecture Transformation for Performance Optimization in BIP. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Joseph Sifakis Causal semantics for the algebra of connectors. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi 2009 CAV award announcement. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis Systematic Correct Construction of Self-stabilizing Systems: A Case Study. Search on Bibsonomy SSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Component-based Construction of Heterogeneous Real-time Systems in BIP. Search on Bibsonomy The Future of Software Engineering The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Doron A. Peled, Joseph Sifakis Knowledge Based Scheduling of Distributed Systems. Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis From high-level component-based models to distributed implementations. Search on Bibsonomy EMSOFT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis Model-based implementation of real-time applications. Search on Bibsonomy EMSOFT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis Automated Conflict-free distributed implementation of component-based models. Search on Bibsonomy SIES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis Compositional Translation of Simulink Models into Synchronous BIP. Search on Bibsonomy SIES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Embedded Systems Design - Scientific Challenges and Work Directions. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Embedded systems design - Scientific challenges and work directions. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan Incremental component-based construction and verification using invariants. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan Incremental Invariant Generation for Compositional Design. Search on Bibsonomy TASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis Model checking: algorithmic verification and debugging. Search on Bibsonomy Commun. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis D-Finder: A Tool for Compositional Deadlock Detection and Verification. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Component-Based Construction of Real-Time Systems in BIP. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis Priority Scheduling of Distributed Systems Based on Model Checking. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Component-Based Construction of Heterogeneous Real-Time Systems in Bip. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Embedded systems design - Scientific challenges and work directions. Search on Bibsonomy DATE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis The Quest for Correctness-Beyond a Posteriori Verification. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. Search on Bibsonomy DISC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis Modeling synchronous systems in BIP. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF BIP (behavior-interaction-priority), modal flow graphs, priority petri nets, synchronous systems, lustre
1Marius Bozga, Mohamad Jaber, Joseph Sifakis Source-to-source architecture transformation for performance optimization in BIP. Search on Bibsonomy SIES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus Symbolic quality control for multimedia applications. Search on Bibsonomy Real-Time Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multimedia, Embedded systems, Real-time, QoS control, Symbolic techniques
1Simon Bliudze, Joseph Sifakis The Algebra of Connectors - Structuring Interaction in BIP. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Marius Bozga, Joseph Sifakis Modeling Heterogeneous Real-time Components in BIP. Search on Bibsonomy Perspectives Workshop: Model Engineering of Complex Systems (MECS) The full citation details ... 2008 DBLP  BibTeX  RDF
1Jean-Pierre Queille, Joseph Sifakis Specification and Verification of Conurrent Systems in Cesar. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen Compositional Verification for Component-Based Systems and Application. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ananda 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. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis Translating AADL into BIP - Application to the Verification of Real-Time Systems. Search on Bibsonomy MoDELS Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Joseph Sifakis A Notion of Glue Expressiveness for Component-Based Systems. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis Distributed Semantics and Implementation for Systems with Interaction and Priority. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Joseph Sifakis The Discipline of Embedded Systems Design. Search on Bibsonomy IEEE Computer The full citation details ... 2007 DBLP  DOI  BibTeX  RDF analytical models, computational models, systems engineering, embedded computing
1Ananda 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. Search on Bibsonomy NCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus Using Speed Diagrams for Symbolic Quality Management. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Joseph Sifakis The algebra of connectors: structuring interaction in BIP. Search on Bibsonomy EMSOFT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Joseph Sifakis Causal Semantics for the Algebra of Connectors. Search on Bibsonomy FMCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis An Approach to Modelling and Verification of Component Based Systems. Search on Bibsonomy SOFSEM (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Joseph Sifakis The Embedded Systems Design Challenge. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis Ensuring Properties of Interaction Systems. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 196 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license