Seguir
A Fehnker
A Fehnker
Dirección de correo verificada de mq.edu.au - Página principal
Título
Citado por
Citado por
Año
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
4442001
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
2552003
Benchmarks for hybrid systems verification
A Fehnker, F Ivančić
International Workshop on Hybrid Systems: Computation and Control, 326-341, 2004
2302004
Efficient guiding towards cost-optimality in UPPAAL
G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn
International Conference on Tools and Algorithms for the Construction and …, 2001
1862001
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
1822001
Verification of hybrid systems based on counterexample-guided abstraction refinement
E Clarke, A Fehnker, Z Han, B Krogh, O Stursberg, M Theobald
International Conference on Tools and Algorithms for the Construction and …, 2003
1582003
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
1582001
Scheduling a steel plant with timed automata
A Fehnker
Proceedings Sixth International Conference on Real-Time Computing Systems …, 1999
1521999
Modelling and verification of the LMAC protocol for wireless sensor networks
A Fehnker, L Van Hoesel, A Mader
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford …, 2007
1312007
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
922012
Automated analysis of AODV using UPPAAL
A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
842012
Formal verification and simulation for performance analysis for probabilistic broadcast protocols
A Fehnker, P Gao
International Conference on Ad-Hoc Networks and Wireless, 128-141, 2006
732006
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
692004
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
612013
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
592002
Survey on directed model checking
S Edelkamp, V Schuppan, D Bošnački, A Wijs, A Fehnker, H Aljazzar
International Workshop on Model Checking and Artificial Intelligence, 65-89, 2008
582008
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
482007
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
452012
Refining abstractions of hybrid systems using counterexample fragments
A Fehnker, E Clarke, SK Jha, B Krogh
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC …, 2005
422005
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
402009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20