| Discretization of Continuous Dynamical Systems Using UPPAAL. | 0 | 0.34 | 2017 |
| Improving the Timed Automata Approach to Biological Pathway Dynamics. | 0 | 0.34 | 2017 |
| Modelling with ANIMO: between fuzzy logic and differential equations. | 4 | 0.42 | 2016 |
| Setting Parameters For Biological Models With Animo | 4 | 0.43 | 2014 |
| Modeling biological pathway dynamics with timed automata. | 7 | 0.45 | 2014 |
| A Symbolic Algorithm for the Analysis of Robust Timed Automata. | 2 | 0.38 | 2014 |
| Stability and robustness of planar switching linear systems. | 2 | 0.39 | 2012 |
| Multi-core nested depth-first search | 22 | 0.83 | 2011 |
| From POOSL to UPPAAL: Transformation and Quantitative Analysis | 4 | 0.45 | 2010 |
| UPPAAL in practice: quantitative verification of a RapidIO network | 1 | 0.35 | 2010 |
| Re-Verification Of A Lip Synchronization Protocol Using Robust Reachability | 2 | 0.37 | 2009 |
| Reachability Analysis of Stochastic Hybrid Systems by Optimal Control | 5 | 0.91 | 2008 |
| A composition operator for systems with active and passive actions | 1 | 0.35 | 2005 |
| STABILITY ANALYSIS FOR HYBRID AUTOMATA USING CONSERVATIVE GAINS | 1 | 0.37 | 2003 |
| First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders | 6 | 0.49 | 2001 |
| A Complete Finite Prefix for Process Algebra | 11 | 1.00 | 1999 |
| Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding | 0 | 0.34 | 1999 |
| A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions | 4 | 0.41 | 1998 |
| Partial order models for quantitative extensions of LOTOS | 10 | 0.70 | 1998 |
| Causal Ambiguity and Partial Orders in Event Structures | 18 | 0.80 | 1997 |
| On Specifying Real-Time Systems in a Causality-Based Setting | 25 | 0.90 | 1996 |
| A Stochastic Causality-Based Process Algebra | 35 | 2.03 | 1995 |
| Simulator for LOTOS to study the independence and causality of events | 0 | 0.34 | 1994 |
| Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach | 16 | 1.41 | 1993 |
| Functionality Decomposition by Compositional Correstness Preserving Transformation | 8 | 0.69 | 1993 |
| Bundle event structures: a non-interleaving semantics for LOTOS | 29 | 1.11 | 1992 |
| Event Structures for Design and Transformation in LOTOS | 4 | 0.86 | 1991 |
| Decomposition of functionality: a correctness-preserving LOTOS transformation | 21 | 1.65 | 1990 |
| View updates in relational databases with an independent scheme | 30 | 15.18 | 1990 |
| A Testing Theory for LOTOS using Deadlock Detection | 36 | 4.85 | 1989 |
