The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Niebert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Niebert, Hongyang Qu
    The Implementation of Mazurkiewicz Traces in POEM. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:508-522 [Conf]
  2. Michaela Huhn, Peter Niebert
    Towards Automata for Branching Time and Partial Order. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:611-626 [Conf]
  3. Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez
    Local First Search - A New Paradigm for Partial Order Reductions. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:396-410 [Conf]
  4. Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
    A Process Algebra Semantics for MSC Including Conditions. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:185-196 [Conf]
  5. Sarah Zennou, Manuel Yguel, Peter Niebert
    ELSE: A New Symbolic State Generator for Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:273-280 [Conf]
  6. Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert
    Some Progress in Satisfiability Checking for Difference Logic. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:263-276 [Conf]
  7. Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager
    Adding Symmetry Reduction to Uppaal. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:46-59 [Conf]
  8. Peter Niebert, Hongyang Qu
    Adding Invariants to Event Zone Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2006, pp:290-305 [Conf]
  9. Michaela Huhn, Peter Niebert, Frank Wallner
    Model Checking Logics for Communicating Sequential Agents. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:227-242 [Conf]
  10. Michaela Huhn, Peter Niebert, Heike Wehrheim
    Partial Order Reductions for Bisimulation Checking. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:271-282 [Conf]
  11. Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
    Verification of Timed Automata via Satisfiability Checking. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:225-244 [Conf]
  12. Peter Niebert, Sergio Yovine
    Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:338-351 [Conf]
  13. Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
    Stronger Reduction Criteria for Local First Search. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:108-122 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    LCTES, 2003, pp:153-162 [Conf]
  15. Peter Niebert
    A v-Calculus with Local Views for Systems of Sequential Agents. [Citation Graph (0, 0)][DBLP]
    MFCS, 1995, pp:563-573 [Conf]
  16. Pedro R. D'Argenio, Peter Niebert
    Partial Order Reduction on Concurrent Probabilistic Programs. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:240-249 [Conf]
  17. Denis Lugiez, Peter Niebert, Sarah Zennou
    Dynamic Bounds and Transition Merging for Local First Search. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:221-229 [Conf]
  18. Peter Niebert, Barbara Sprick
    A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:291-306 [Conf]
  19. Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou
    Black Box Unfolding with Local First Search. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:386-400 [Conf]
  20. Michaela Huhn, Peter Niebert, Frank Wallner
    Verification Based on Local States. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:36-51 [Conf]
  21. Denis Lugiez, Peter Niebert, Sarah Zennou
    A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:296-311 [Conf]
  22. Peter Niebert, Doron Peled
    Efficient Model Checking for LTL with Partial Order Snapshots. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:272-286 [Conf]
  23. Denis Lugiez, Peter Niebert, Sarah Zennou
    A partial order semantics approach to the clock explosion problem of timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:345, n:1, pp:27-59 [Journal]

  24. Discriminative Model Checking. [Citation Graph (, )][DBLP]


  25. SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata. [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002