sign in · help · news · about ·

BibSonomy :: author :: Sifakis ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(172)

<< < 1 | 2 | 3 > >>

Rigorous System Design: The BIP Approach.
Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, and Joseph Sifakis MEMICS, volume 7119 of Lecture Notes in Computer Science, page 1-19. Springer, (2011)
to dblp by dblp on Jan 31, 2012, 12:00 AM
URL | BibTeX
Symbolic Model Checking for Real-time Systems
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine LICS, page 394-406. IEEE Computer Society, (1992)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
On Model Checking for Real-Time Properties with Durations
Ahmed Bouajjani, Rachid Echahed, and Joseph Sifakis LICS, page 147-159. IEEE Computer Society, (1993)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
A second order virtual node method for elliptic problems with interfaces and irregular domains in three dimensions.
Jeffrey Lee Hellrung Jr., Luming Wang, Eftychios Sifakis, and Joseph M. Teran J. Comput. Physics 231(4):2015-2048 (2012)
to dblp by dblp on Jan 16, 2012, 12:00 AM
URL | BibTeX
Geometric fracture modeling in Bolt.
Jeffrey Lee Hellrung Jr., Andrew Selle, Arthur Shek, Eftychios Sifakis, and Joseph Teran SIGGRAPH Talks, ACM, (2009)
to dblp by dblp on Jan 16, 2012, 12:00 AM
URL | BibTeX
Macedonia: From Fragments to Pixels.
Xenophon Zabulis, Dimitris Grammenos, Antonis A. Argyros, Michalis Sifakis, and Constantine Stephanidis ERCIM News (2011)
to dblp by dblp on Jan 10, 2012, 12:00 AM
URL | BibTeX
Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft.
S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, and R. Gerlich FTCS, page 353-357. IEEE Computer Society, (1996)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Research Directions for Formal Methods.
Joseph Sifakis ACM Comput. Surv. 28(4es):124 (1996)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Research Directions for Concurrency.
Joseph Sifakis ACM Comput. Surv. 28(4es):55 (1996)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Priority scheduling of distributed systems based on model checking.
Ananda Basu, Saddek Bensalem, Doron Peled, and Joseph Sifakis Formal Methods in System Design 39(3):229-245 (2011)
to dblp by dblp on Nov 30, 2011, 12:00 AM
URL | BibTeX
Compiling Real-Time Specifications into Extended Automata.
Xavier Nicollin, Joseph Sifakis, and Sergio Yovine IEEE Trans. Software Eng. 18(9):794-804 (1992)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Rigorous Component-Based System Design Using the BIP Framework.
Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, and Joseph Sifakis IEEE Software 28(3):41-48 (2011)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Creating and Simulating Skeletal Muscle from the Visible Human Data Set.
Joseph Teran, Eftychios Sifakis, Silvia S. Blemker, Victor Ng-Thow-Hing, Cynthia Lau, and Ronald Fedkiw IEEE Trans. Vis. Comput. Graph. 11(3):317-328 (2005)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Time-predictable and composable architectures for dependable embedded systems.
Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, and Joseph Sifakis EMSOFT, page 351-352. ACM, (2011)
to dblp by dblp on Oct 20, 2011, 12:00 AM
URL | BibTeX
A Temporal Logic to Deal with Fairness in Transition Systems
Jean-Pierre Queille, and Joseph Sifakis FOCS, page 217-225. IEEE Computer Society, (1982)
to dblp by dblp on Oct 19, 2011, 12:00 AM
URL | BibTeX
A vision for computer science - the system perspective.
Joseph Sifakis Central Europ. J. Computer Science 1(1):108-116 (2011)
to dblp by dblp on Sep 8, 2011, 12:00 AM
URL | BibTeX
A Unified Approach for Studying the Properties of Transition Systems.
Joseph Sifakis Theor. Comput. Sci. (1982)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Methods and tools for component-based system design.
Joseph Sifakis DATE, page 1022. IEEE, (2011)
to dblp by dblp on Sep 2, 2011, 12:00 AM
URL | BibTeX
Component-based Construction of Heterogeneous Real-time Systems in BIP.
Joseph Sifakis The Future of Software Engineering, page 150. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010 .
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
Efficient elasticity for character skinning with contact and collisions.
Aleka McAdams, Yongning Zhu, Andrew Selle, Mark Empey, Rasmus Tamstorf, Joseph Teran, and Eftychios Sifakis ACM Trans. Graph. 30(4):37 (2011)
to dblp by dblp on Aug 9, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper