Peter Niebert

Publication Activity (10 Years)

Years Active: 1995-2018
Publications (10 Years): 1

Top Venues

MFCS

TPNC

University of Hildesheim, Germany (PHD)

Education History

University of Hildesheim, Germany

PHD

Publications

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

Peter Niebert.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Niebert