Peter Niebert

Statistics

Publications

Citations

370

H-Index

Active since

2003

Affiliations

Laboratoire d’Informatique Fondamentale de Marseille(Current)

Verimag

Peter Niebert is an author at Laboratoire d’Informatique Fondamentale de Marseille specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSystem SoftwareEmbedded SystemsParallel ComputingAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

2003–2005

Publications

From simulink to SCADE/lustre to TTA

Paul Caspi, Adrian Curic, Aude Maignan et al. · ACM SIGPLAN Notices · 2003 · 155 citations

Emulation Technique, Engineering, Computer Architecture +16

From simulink to SCADE/lustre to TTA

Paul Caspi, Adrian Curic, Aude Maignan et al. · 2003 · 67 citations

Emulation Technique, Engineering, Computer Architecture +16

A partial order semantics approach to the clock explosion problem of timed automata

Denis Lugiez, Peter Niebert, Sarah Zennou · Theoretical Computer Science · 2005 · 61 citations

Logical Automaton, Engineering, Automated Reasoning +11

Partial order reduction on concurrent probabilistic programs

Pedro R. D’Argenio, Peter Niebert · Quantitative Evaluation of Systems · 2004 · 43 citations

Engineering, Reachability Problem, Verification +20

Partial order reduction on concurrent probabilistic programs

Pedro R. D’Argenio, Peter Niebert · 2004 · 24 citations

Engineering, Reachability Problem, Verification +20

1–5 of 6