Johann Deneux
Prover Technology (Sweden)(SE)
Publications by Year
Research Areas
Formal Methods in Verification, Petri Nets in System Modeling, Embedded Systems Design Techniques, Model-Driven Software Engineering Techniques, semigroups and automata theory
Most-Cited Works
- → Designing Safe, Reliable Systems Using Scade(2006)79 cited
- → Decidability and Complexity Results for Timed Automata via Channel Machines(2005)40 cited
- → Multi-clock timed networks(2004)28 cited
- → Forward Reachability Analysis of Timed Petri Nets(2004)21 cited
- → Minimization of Non-deterministic Automata with Large Alphabets(2006)14 cited
- → A Common Framework for Design and Safety Analyses using Formal Methods(2004)7 cited
- A Formal Semantics for UML Statecharts(2003)
- Using forward reachability analysis for verification of timed petri nets(2007)