Peter Niebert

32 papers A* 1A 5B 9C 1Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2018 B conf
Balanced Connected Partitioning of Unweighted Grid Graphs.
MFCS
Cedric Berenger, Peter Niebert, Kévin Perrot
2014 — conf
Cellular Programming.
TPNC
Peter Niebert, Mathieu Caralp
2011 B conf
A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems.
ATVA
Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier
2010 A conf
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata.
TACAS
Janusz Malinowski, Peter Niebert
2009 J jnl
Efficient model checking for LTL with partial order snapshots.
Theor. Comput. Sci.
Peter Niebert, Doron A. Peled
2008 A* conf
Discriminative Model Checking.
CAV
Peter Niebert, Doron A. Peled, Amir Pnueli
2006 — conf
Adding Invariants to Event Zone Automata.
FORMATS
Peter Niebert, Hongyang Qu
2006 A conf
Efficient Model Checking for LTL with Partial Order Snapshots.
TACAS
Peter Niebert, Doron A. Peled
2006 C conf
Stronger Reduction Criteria for Local First Search.
ICTAC
Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
2006 B conf
The Implementation of Mazurkiewicz Traces in POEM.
ATVA
Peter Niebert, Hongyang Qu
2005 J jnl
A partial order semantics approach to the clock explosion problem of timed automata.
Theor. Comput. Sci.
Denis Lugiez, Peter Niebert, Sarah Zennou
2004 A conf
A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata.
TACAS
Denis Lugiez, Peter Niebert, Sarah Zennou
2004 — conf
Partial Order Reduction on Concurrent Probabilistic Programs.
QEST
Pedro R. D'Argenio, Peter Niebert
2004 — conf
Some Progress in Satisfiability Checking for Difference Logic.
FORMATS/FTRTFT
Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert
2003 — conf
Adding Symmetry Reduction to Uppaal.
FORMATS
Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager
2003 — conf
ELSE: A New Symbolic State Generator for Timed Automata.
FORMATS
Sarah Zennou, Manuel Yguel, Peter Niebert
2003 — ed.
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
FORMATS
Kim Guldstrand Larsen, Peter Niebert
2003 B conf
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.
LCTES
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert
2002 A conf
Black Box Unfolding with Local First Search.
TACAS
Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou
2002 — conf
Dynamic Bounds and Transition Merging for Local First Search.
SPIN
Denis Lugiez, Peter Niebert, Sarah Zennou
2002 — conf
Verification of Timed Automata via Satisfiability Checking.
FTRTFT
Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
2001 J jnl
Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode.
Eur. J. Control
Peter Niebert, Sergio Yovine
2001 B conf
Local First Search - A New Paradigm for Partial Order Reductions.
CONCUR
Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez
2000 — conf
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode.
HSCC
Peter Niebert, Sergio Yovine
1999 B conf
Model Checking Logics for Communicating Sequential Agents.
FoSSaCS
Michaela Huhn, Peter Niebert, Frank Wallner
1998 — conf
A Process Algebra Semantics for MSC Including Conditions.
FBT
Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
1998 — —
A temporal logic for the specification and verification of distributed behaviour.
Peter Niebert
1998 — conf
Partial Order Reductions for Bisimulation Checking.
FSTTCS
Michaela Huhn, Peter Niebert, Heike Wehrheim
1998 A conf
Verification Based on Local States.
TACAS
Michaela Huhn, Peter Niebert, Frank Wallner
1997 B conf
A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints.
TABLEAUX
Peter Niebert, Barbara Sprick
1996 B conf
Towards Automata for Branching Time and Partial Order.
CONCUR
Michaela Huhn, Peter Niebert
1995 B conf
A v-Calculus with Local Views for Systems of Sequential Agents.
MFCS
Peter Niebert