BibSonomy :: author  ::

bookmarks

publications

(108)

• Discriminative Model Checking.
  Peter Niebert and Doron Peled and Amir Pnueli CAV 504-516 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Stronger Reduction Criteria for Local First Search.
  Marcos E. Kurbán and Peter Niebert and Hongyang Qu and Walter Vogler ICTAC 108-122 (2006)
  to dblp by dblp on 2006-11-13 00:00:00
  | URL | BibTeX  
• The Implementation of Mazurkiewicz Traces in POEM.
  Peter Niebert and Hongyang Qu ATVA 508-522 (2006)
  to dblp by dblp on 2006-10-27 00:00:00
  | URL | BibTeX  
• Adding Invariants to Event Zone Automata.
  Peter Niebert and Hongyang Qu FORMATS 290-305 (2006)
  to dblp by dblp on 2006-10-23 00:00:00
  | URL | BibTeX  
• Efficient Model Checking for LTL with Partial Order Snapshots.
  Peter Niebert and Doron Peled TACAS 272-286 (2006)
  to dblp by dblp on 2006-04-03 00:00:00
  | URL | BibTeX  
• From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.
  Paul Caspi and Adrian Curic and Aude Maignan and Christos Sofronis and Stavros Tripakis and Peter Niebert LCTES 153-162 (2003)
  to dblp by dblp on 2006-02-13 00:00:00
  | URL | BibTeX  
• A partial order semantics approach to the clock explosion problem of timed automata.
  Denis Lugiez and Peter Niebert and Sarah Zennou Theor. Comput. Sci. 345 27-59 (2005)
  to dblp by dblp on 2006-01-10 00:00:00
  | URL | BibTeX  
• A Process Algebra Semantics for MSC Including Conditions.
  Thomas Gehrke and Michaela Huhn and Peter Niebert and Arend Rensink and Heike Wehrheim FBT 185-196 (1998)
  to dblp by dblp on 2005-07-19 00:00:00
  | URL | BibTeX  
• Formal Semantics of Hybrid Chi.
  Ramon R. H. Schiffelers and D. A. van Beek and Ka L. Man and Michel A. Reniers and J. E. Rooda FORMATS 151-165 (2003)
  to dblp by dblp on 2005-02-08 00:00:00
  | URL | BibTeX  
• Partial Order Reduction on Concurrent Probabilistic Programs.
  Pedro R. D'Argenio and Peter Niebert QEST 240-249 (2004)
  to dblp by dblp on 2005-01-31 00:00:00
  | URL | BibTeX