| Minimum-cost reachability for priced time automata G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ... Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001 | 440 | 2001 |
| Abstraction and counterexample-guided refinement in model checking of hybrid systems E Clarke, A Fehnker, Z Han, B Krogh, J Ouaknine, O Stursberg, ... International journal of foundations of computer science 14 (04), 583-604, 2003 | 251 | 2003 |
| Benchmarks for hybrid systems verification A Fehnker, F Ivančić Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004 | 224 | 2004 |
| Efficient guiding towards cost-optimality in UPPAAL G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001 | 183 | 2001 |
| As cheap as possible: effcient cost-optimal reachability for priced timed automata K Larsen, G Behrmann, E Brinksma, A Fehnker, T Hune, P Pettersson, ... Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 171 | 2001 |
| UPPAAL-now, next, and future T Amnell, G Behrmann, J Bengtsson, PR D’argenio, A David, A Fehnker, ... Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP …, 2001 | 156 | 2001 |
| Verification of hybrid systems based on counterexample-guided abstraction refinement E Clarke, A Fehnker, Z Han, B Krogh, O Stursberg, M Theobald TACAS 3, 192-207, 2003 | 153 | 2003 |
| Scheduling a steel plant with timed automata A Fehnker Proceedings Sixth International Conference on Real-Time Computing Systems …, 1999 | 151 | 1999 |
| Modelling and verification of the LMAC protocol for wireless sensor networks A Fehnker, L Van Hoesel, A Mader IFM 7, 253-272, 2007 | 129 | 2007 |
| A process algebra for wireless mesh networks A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan Programming Languages and Systems: 21st European Symposium on Programming …, 2012 | 90 | 2012 |
| Automated Analysis of AODV Using UPPAAL. A Fehnker, RJ van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan TACAS 12, 173-187, 2012 | 83 | 2012 |
| Formal verification and simulation for performance analysis for probabilistic broadcast protocols A Fehnker, P Gao Ad-Hoc, Mobile, and Wireless Networks: 5th International Conference, ADHOC …, 2006 | 73 | 2006 |
| Verification of a cruise control system using counterexample-guided search O Stursberg, A Fehnker, Z Han, BH Krogh Control Engineering Practice 12 (10), 1269-1278, 2004 | 62 | 2004 |
| A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan arXiv preprint arXiv:1312.7645, 2013 | 61 | 2013 |
| Survey on directed model checking S Edelkamp, V Schuppan, D Bošnački, A Wijs, A Fehnker, H Aljazzar Model Checking and Artificial Intelligence: 5th International Workshop …, 2009 | 56 | 2009 |
| Verification and optimization of a PLC control schedule E Brinksma, A Mader, A Fehnker International Journal on Software Tools for Technology Transfer 4, 21-33, 2002 | 56 | 2002 |
| Model checking software at compile time A Fehnker, R Huuck, P Jayet, M Lussenburg, F Rauch First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007 | 47 | 2007 |
| SMT-based false positive elimination in static program analysis M Junker, R Huuck, A Fehnker, A Knapp Formal Methods and Software Engineering: 14th International Conference on …, 2012 | 42 | 2012 |
| Graphical modelling for simulation and formal analysis of wireless network protocols A Fehnker, M Fruth, AK McIver Methods, Models and Tools for Fault Tolerance, 1-24, 2009 | 41 | 2009 |
| Operational and logical semantics for polling real-time systems H Dierks, A Fehnker, A Mader, F Vaandrager Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998 | 40 | 1998 |
