| Temperature Rise Estimation of Induction Motor Drives Based on Loadability Curves to Facilitate Design of Electric Powertrains. | 0 | 0.34 | 2017 |
| EKF-based estimation and control of electric drivetrain in offshore pipe racking machine | 0 | 0.34 | 2016 |
| EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. | 0 | 0.34 | 2014 |
| A practical approach to model checking Duration Calculus using Presburger Arithmetic | 0 | 0.34 | 2014 |
| On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic | 4 | 0.42 | 2011 |
| Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata | 5 | 0.44 | 2010 |
| DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks | 24 | 0.92 | 2010 |
| Modelling of a special class of spherical parallel manipulators with euler parameters | 9 | 0.71 | 2009 |
| Efficient Model Checking for Duration Calculus? | 6 | 0.41 | 2009 |
| Models and formal verification of multiprocessor system-on-chips | 16 | 0.75 | 2008 |
| Generation Of Erp Systems From Rea Specifications | 0 | 0.34 | 2008 |
| Faults Analysis In Distributed Systems - Quantitative Estimation Of Reliability And Resource Requirements | 0 | 0.34 | 2008 |
| Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations | 3 | 0.37 | 2008 |
| A theory of duration calculus with application | 6 | 0.51 | 2007 |
| Decidability of a Hybrid Duration Calculus | 8 | 0.47 | 2007 |
| Deciding an interval logic with accumulated durations | 19 | 0.64 | 2007 |
| Timed Traces and Strand Spaces | 4 | 0.41 | 2007 |
| Semantics and verification of a language for modelling hardware architectures | 3 | 0.36 | 2007 |
| A robust interpretation of duration calculus | 5 | 0.49 | 2005 |
| Generating web-based systems from specifications | 0 | 0.34 | 2004 |
| An approach to analyzing availability properties of security protocols | 2 | 0.39 | 2003 |
| Using interval logics for temporal analysis of security protocols | 7 | 0.70 | 2003 |
| Duration Calculus: Logical Foundations | 95 | 4.89 | 1997 |
| A timed semantics for SDL | 10 | 0.66 | 1996 |
| Finite divergence | 15 | 1.38 | 1995 |
| Provably Correct Systems | 46 | 2.18 | 1994 |
| Model-checking discrete duration calculus | 18 | 1.05 | 1994 |
| Decidability and Undecidability Results for Duration Calculus | 64 | 2.64 | 1993 |
| An Extended Duration Calculus for Hybrid Real-Time Systems | 92 | 5.38 | 1992 |
| Duration Specifications for Shared Processors | 33 | 3.45 | 1992 |
| Semantics and Completeness of Duration Calculus | 37 | 3.49 | 1991 |
| Specification & Verification of Higher Order Processes | 2 | 0.74 | 1990 |
| Eine sequelartige Sprachschnittstelle für das NF2-Modell | 10 | 7.08 | 1983 |
