BibSonomy :: author :: Bozga ::

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

(79)

<< < 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
Statistical abstraction and model-checking of large heterogeneous systems.
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, and Axel Legay STTT 14(1):53-72 (2012)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Deterministic Data Flow Communication in AADL.
Mohamed Yassin Chkouri, and Marius Bozga ICESS, page 93-100. IEEE, (2009)
to dblp by dblp on Dec 12, 2011, 12:00 AM
URL | BibTeX
A Theory of Fault Recovery for Component-Based Models.
Borzoo Bonakdarpour, Marius Bozga, and Gregor Göessler SRDS, page 265-270. IEEE, (2011)
to dblp by dblp on Nov 16, 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
Runtime Verification of Component-Based Systems.
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, and Saddek Bensalem SEFM, volume 7041 of Lecture Notes in Computer Science, page 204-220. Springer, (2011)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
Automated distributed implementation of component-based models with priorities.
Borzoo Bonakdarpour, Marius Bozga, and Jean Quilbeuf EMSOFT, page 59-68. ACM, (2011)
to dblp by dblp on Oct 20, 2011, 12:00 AM
URL | BibTeX
Performance Evaluation of Schedulers in a Probabilistic Setting.
Jean-Francois Kempf, Marius Bozga, and Oded Maler FORMATS, volume 6919 of Lecture Notes in Computer Science, page 1-17. Springer, (2011)
to dblp by dblp on Sep 29, 2011, 12:00 AM
URL | BibTeX
Verification and test generation for the SSCOP protocol.
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, and Laurent Mounier Sci. Comput. Program. 36(1):27-52 (2000)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
On Decidability Within the Arithmetic of Addition and Divisibility.
Marius Bozga, and Radu Iosif FoSSaCS, volume 3441 of Lecture Notes in Computer Science, page 425-439. Springer, (2005)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Source-to-Source Architecture Transformation for Performance Optimization in BIP.
Marius Bozga, Mohamad Jaber, and Joseph Sifakis IEEE Trans. Industrial Informatics 6(4):708-718 (2010)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
The IF Toolset.
Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, and Joseph Sifakis SFM, volume 3185 of Lecture Notes in Computer Science, page 237-267. Springer, (2004)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
On Logics of Aliasing.
Marius Bozga, Radu Iosif, and Yassine Lakhnech SAS, volume 3148 of Lecture Notes in Computer Science, page 344-360. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols.
Liana Bozga, Cristian Ene, and Yassine Lakhnech FoSSaCS, volume 2987 of Lecture Notes in Computer Science, page 42-57. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
IF Validation Environment Tutorial.
Marius Bozga, Susanne Graf, Laurent Mounier, and Iulian Ober SPIN, volume 2989 of Lecture Notes in Computer Science, page 306-307. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
On Timing Analysis of Combinational Circuits.
Ramzi Ben Salah, Marius Bozga, and Oded Maler FORMATS, volume 2791 of Lecture Notes in Computer Science, page 204-219. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Pattern-Based Abstraction for Verifying Secrecy in Protocols.
Liana Bozga, Yassine Lakhnech, and Michaël Périn TACAS, volume 2619 of Lecture Notes in Computer Science, page 299-314. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Verification of Timed Automata via Satisfiability Checking.
Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, and Navendu Jain FTRTFT, volume 2469 of Lecture Notes in Computer Science, page 225-244. Springer, (2002)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
IF-2.0: A Validation Environment for Component-Based Real-Time Systems.
Marius Bozga, Susanne Graf, and Laurent Mounier CAV, volume 2404 of Lecture Notes in Computer Science, page 343-348. Springer, (2002)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
Timed Extensions for SDL.
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, and Daniel Vincent SDL Forum, volume 2078 of Lecture Notes in Computer Science, page 223-240. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX

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