EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Fehnker, A.
Home Policy Brochure Browse Search User Area Contact Help

2015

Chaudhary, K.C. and Fehnker, A. and van de Pol, J.C. and Stoelinga, M.I.A. (2015) Modeling and Verification of the Bitcoin Protocol. In: Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015), 23 Nov 2015, Suva, Fiji. pp. 46-60. Electronic Proceedings in Theoretical Computer Science 196. Open Publishing Association. ISSN 2075-2180

2007

Fehnker, A. and van Hoesel, L.F.W. and Mader, A.H. (2007) Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. Technical Report TR-CTIT-07-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Fehnker, A. and van Hoesel, L.F.W. and Mader, A.H. (2007) Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. In: Proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, 2-5 Jul 2007, Oxford, Britain. pp. 253-272. Lecture Notes in Computer Science 4591. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-73209-9

2002

Brinksma, H. and Mader, A.H. and Fehnker, A. (2002) Verification and Optimization of a PLC Control Schedule. International Journal on Software Tools for Technology Transfer (STTT), 4 (1). pp. 21-33. ISSN 1433-2779

2001

Larsen, K.G. and Behrmann, G. and Brinksma, H. and Fehnker, A. and Petterson, P. and Romijn, J.M.T. (2001) As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata. In: Computer Aided Verification, 13th International Conference, CAV 2001, July 18-22, 2001, Paris, France. pp. 493-505. Lecture Notes in Computer Science. Springer Verlag. ISBN 3-540-42345-1

1998

Dierks, H. and Fehnker, A. and Mader, A.H. and Vaandrager, F.W. (1998) Operational and logical semantics for polling real-time systems. In: 7th Int. Symp. on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), Lyngby, Denmark. pp. 29-40. Springer-Verlag. ISBN 3-540-65003-2