EEMCS

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

EEMCS EPrints Service


Author: Larsen, K.G.
Home Policy Brochure Browse Search User Area Contact Help

2016

Gadyatskaya, O. and Hansen, R.R. and Larsen, K.G. and Legay, A. and Olesen, M.C. and Poulsen, D.B. (2016) Modelling Attack-defense Trees Using Timed Automata. In: 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, 24-26 Aug 2016, Quebec, QC, Canada. pp. 35-50. Lecture Notes in Computer Science 9884. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-44877-0
Nies, G. and Stenger, M. and Krcal, J. and Hermanns, H. and Bisgaard, M. and Gerhardt, D. and Haverkort, B.R.H.M. and Jongerden, M.R. and Larsen, K.G. and Wognsen, E.R. (2016) Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach. In: Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4, 26 -30 Sep 2016, Guadalajara, Mexico. pp. 1-15. International Astronautical Federation. ISBN not assigned

2015

David, N. and David, A. and Hansen, R.R. and Larsen, K.G. and Legay, A. and Olesen, M.C. and Probst, C.W. (2015) Modelling Social-Technical Attacks with Timed Automata. In: Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats (MIST), 12-16 Oct 2015, Denver, Colorado, US. pp. 21-28. ACM. ISBN 978-1-4503-3824-0
Wognsen, E.R. and Haverkort, B.R.H.M. and Jongerden, M.R. and Hansen, R.R. and Larsen, K.G. (2015) A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. In: Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, 02-04 Sept 2015, Madrid, Spain. pp. 305-320. Lecture Notes in Computer Science 9268. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-22974-4

2013

Laarman, A.W. and Olesen, M.Chr. and Dalsgaard, A.E. and Larsen, K.G. and van de Pol, J.C. (2013) Multi-core emptiness checking of timed Büchi automata using inclusion abstraction. In: Proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013, 13-19 July 2013, Saint Petersburg, Russia. pp. 968-983. Lecture Notes in Computer Science. Springer Verlag. ISBN 978-3-642-39798-1

2012

Dalsgaard, A.E. and Laarman, A.W. and Larsen, K.G. and Olesen, M.Chr. and van de Pol, J.C. (2012) Multi-Core Reachability for Timed Automata. In: 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, 18-20 Sep 2012, London, UK. pp. 91-106. Lecture Notes in Computer Science 7595. Springer Verlag. ISBN 978-3-642-33365-1

2010

Haverkort, B.R.H.M. and Katoen, J.P. and Larsen, K.G. (2010) Quantitative Verification in Practice. In: 4th International Symposium on Leveraging Applications, ISoLA 2010, 18-21 Oct 2010, Heraklion, Greece. pp. 127-127. Lecture Notes in Computer Science 6416. Springer Verlag. ISBN 978-3-642-16560-3

2008

Bouyer, P. and Brinksma, H. and Larsen, K.G. (2008) Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design, 32 (1). pp. 3-23. ISSN 0925-9856 *** ISI Impact 1,132 ***

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