2016

Here we list the publications of FMT by year (click on << or >> to shift to a different year).
There is also a combined list that contains all years.
Our staff page has links to the publications of each staff member.
Our research project pages typically have links to the publications for the project.
The faculty EPrints service page offers yet other ways to search or browse the publications.

<< 2016 >>

Abraham, E. and Huisman, M., ed. (2016) Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science 9681. Springer Verlag, London. ISSN 0302-9743 ISBN 978-3-319-33692-3

Ahmad, W. and Jongerden, M.R. and Stoelinga, M.I.A. and van de Pol, J.C. (2016) Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata (extended version). Technical Report TR-CTIT-16-03, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Ahmad, W. and Jongerden, M.R. and Stoelinga, M.I.A. and van de Pol, J.C. (2016) Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata. In: Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016, 19 - 24 June 2016, Toruń, Poland. pp. 114-123. IEEE Computer Society. ISSN 1550-4808

Ahmad, W. and van de Pol, J.C. (2016) Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. pp. 94-113. Lecture Notes in Computer Science 9952. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47165-5

Ahmad, W. and Yildiz, B.M. and Rensink, A. and Stoelinga, M.I.A. (2016) A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version). Technical Report TR-CTIT-16-09, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Amighi, A. and Blom, S.C.C. and Huisman, M. (2016) VerCors: A Layered Approach to Practical Verification of Concurrent Software. In: Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016), 17-19 Feb 2016, Heraklion, Crete, Greece. pp. 495-503. IEEE Computer Society. ISSN 2377-5750 ISBN 978-1-4673-8775-0

Amighi, A. and Gomes, P. and Gurov, D. and Huisman, M. (2016) Provably correct control flow graphs from Java bytecode programs with exceptions. International journal on software tools for technology transfer, 18 (6). pp. 653-684. ISSN 1433-2779

Bendisposto, J. and Körner, P. and Leuschel, M. and Meijer, J.J.G. and van de Pol, J.C. and Treharne, H. and Whitefield, J. (2016) Symbolic Reachability Analysis of B through ProB and LTSmin. In: Proceedings of the 12th International Conference on integrated Formal Methods, iFM 2016, 1-5 Jun 2016, Reykjavik, Iceland. pp. 275-291. Lecture Notes in Computer Science 9681. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-33692-3

Bloemen, V. (2016) Parallel Model Checking of ω-Automata. In: Proceedings of the Formal Methods 2016 Doctoral Symposium co-located with 21st International Symposium on Formal Methods (FM 2016), 8 Nov 2016, Limassol, Cyprus. 1. CEUR Workshop Proceedings. ISSN 1613-0073

Bloemen, V. and Laarman, A.W. and van de Pol, J.C. (2016) Multi-Core On-The-Fly SCC Decomposition. In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016, 12-16 March 2016, Barcelona, Spain. 8. ACM. ISBN 978-1-4503-4092-2

Bloemen, V. and van de Pol, J.C. (2016) Multi-core SCC-Based LTL Model Checking. In: Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016, 14-17 Nov 2016, Haifa, Israel. pp. 18-33. Lecture Notes in Computer Science 10028. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-49051-9

Broersma, H.J. and Li, Binlong and Zhang, Shenggui (2016) Forbidden subgraphs for hamiltonicity of 1-tough graphs. Discussiones Mathematicae Graph Theory, 36 (4). pp. 915-929. ISSN 1234-3099 *** ISI Impact 0,349 ***

Broersma, H.J. and Miller, J.F. and Nichele, S. (2016) Computational matter: evolving computational functions in nanoscale materials. In: Advances in Unconventional Computing, Volume 2: Prototypes, Models and Algorithms. Emergence, Complexity and Computation 23. Springer Verlag, London, pp. 397-428. ISSN 2194-7287 ISBN 978-3-319-33920-7

Chen, Xiaodong and Li, MingChu and Liao, Wei and Broersma, H.J. (2016) Hamiltonian properties of almost locally connected claw-free graphs. Ars combinatoria, 124. pp. 95-109. ISSN 0381-7032 *** ISI Impact 0,265 ***

D'Argenio, P.R. and Hartmanns, A. and Legay, A. and Sedwards, S. (2016) Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. In: Proceedings of the 12th International Conference on Integrated Formal Methods (IFM 2016), 1-5 June 2016, Reykjavík, Iceland. pp. 99-114. Lecture Notes in Computer Science 9681. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-33692-3

van Damme, R.M.J. and Broersma, H.J. and Mikhal, J. and Lawrence, C.P. and van der Wiel, W.G. (2016) A simulation tool for evolving functionalities in disordered nanoparticle networks. In: 2016 IEEE Congress on Evolutionary Computation (CEC 2016), 24-29 July 2016, Vancouver, Canada. pp. 5238-5245. IEEE Computer Society. ISBN 978-1-5090-0623-6

van Dijk, T. (2016) Sylvan - Multi-core decision diagrams. PhD thesis, University of Twente. CTIT Ph.D.-thesis no. 16-398 ISBN 978-90-365-4160-2

van Dijk, T. and van de Pol, J.C. (2016) Multi-core Symbolic Bisimulation Minimisation. In: Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), 2-8 April 2016, Eindhoven, The Netherlands. pp. 332-348. Lecture Notes in Computer Science 9636. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-49673-2

Fraile, M. and Ford, M. and Gadyatskaya, O. and Kumar, Rajesh and Stoelinga, M.I.A. and Trujillo-Rasua, R. (2016) Using attack-defense trees to analyze threats and countermeasures in an ATM: A case study. In: 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM), 08-10 Nov 2016, Skövde, Sweden. pp. 326-334. Lecture Notes in Business Information Processing 267. Springer. ISBN 978-3-319-48392-4

Gerhold, M. and Stoelinga, M.I.A. (2016) Model-Based Testing of Stochastic Systems with IOCO Theory. In: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016, 18 Nov 2016, Seattle, WA, USA. pp. 45-51. ACM. ISBN 978-1-4503-4401-2

Gerhold, M. and Stoelinga, M.I.A. (2016) Model-Based Testing of Probabilistic Systems. In: Proceedings of the 19th International Conference, Fundamental Approaches to Software Engineering, FASE 2016, 2-8 April 2016, Eindhoven, The Netherlands. pp. 251-268. Lecture Notes in Computer Science 9633. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-49664-0

Geske, M. and Jasper, M. and Steffen, B. and Howar, F. and Schordan, M. and van de Pol, J.C. (2016) RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (II), ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. pp. 787-803. Lecture Notes in Computer Science 9953. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47168-6

Giannakopoulou, D. and Guck, D. and Schumann, J. (2016) Exploring model quality for ACAS X. In: Proceedings of the 21st International Symposium on Formal Methods (FM 2016), November 9-11, 2016, Limassol, Cyprus. pp. 274-290. Lecture Notes in Computer Science 9995. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-48989-6

Gomes, P. and Gurov, D. and Huisman, M. (2016) Specification and Verification of Synchronization with Condition Variables. In: Proceedings of the Fifth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), November 14, 2016, Tokyo, Japan. pp. 3-19. Communications in Computer and Information Science 694. Springer Verlag. ISSN 1865-0929 ISBN 978-3-319-53946-1

Greff, K. and van Damme, R.M.J. and Koutnik, J. and Broersma, H.J. and Mikhal, J. and Lawrence, C.P. and van der Wiel, W.G. and Schmidhuber, J. (2016) Unconventional computing using evolution-in-nanomaterio: neural networks meet nanoparticle networks. In: The Eighth International Conference on Future Computational Technologies and Applications, FUTURE COMPUTING 2016, 20-24 March 2016, Rome, Italy. pp. 15-20. IARIA International Academy, Research and Industry Association. ISBN 978-1-61208-461-9

Gurov, D. and Havelund, K. and Huisman, M. and Monahan, R. (2016) Static and runtime verification, competitors or friends? (Track summary). In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods,ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. pp. 397-401. Lecture Notes in Computer Science 9952. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47165-5

Hahn, E. M. and Hartmanns, A. (2016) A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. In: Proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016), 09-11 Nov 2016, Beijing, China. pp. 85-100. Lecture Notes in Computer Science 9984. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47676-6

Hartmanns, A. and Hermanns, H. and Bungert, M. (2016) Flexible support for time and costs in scenario-aware dataflow. In: Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016), 01-07 Oct 2016, Pittsburgh, Pennsylvania, USA. 3. ACM. ISBN 978-1-4503-4485-2

Hartmanns, A. and Hermanns, H. and Krčál, J. (2016) Schedulers are no Prophets. In: Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, 8 Jan 2016, Kongens Lyngby, Denmark. pp. 214-235. Lecture Notes in Computer Science 9560. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-27809-4

Hermanns, H. and Krämer, J. and Krčál, J. and Stoelinga, M.I.A. (2016) The Value of Attack-Defence Diagrams. In: Proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, April 2-8, 2016, Eindhoven, Netherlands. pp. 163-185. Lecture Notes in Computer Science 9635. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-49634-3

Huisman, M. and Ahrendt, W. and Grahl, D. and Hentschel, M.G.B.G. (2016) Formal specification with the Java modeling language. In: Deductive Software Verification – The KeY Book. Lecture Notes in Computer Science 10001. Springer Verlag, London, pp. 193-241. ISSN 0302-9743 ISBN 978-3-319-49811-9

Huisman, M. and Bos, H. and Brinkkemper, S. and van Deursen, A. and Groote, J.F. and Lago, P. and van de Pol, J.C. and Visser, E. (2016) Software that meets its Intent. In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. pp. 609-625. Lecture Notes in Computer Science 9953. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47168-6

Huisman, M. and Klebanov, V. and Monahan, R. and Tautschnig, M. (2016) VerifyThis 2015: A program verification competition. International journal on software tools for technology transfer, oneline pre-publication. pp. 1-9. ISSN 1433-2779

Huisman, M. and Monahan, R. and Müller, P. and Poll, E. (2016) VerifyThis 2016: A Program Verification Competition. Technical Report TR-CTIT-16-07, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Huisman, M. and van de Pol, J.C. (2016) Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Science of computer programming, 128. pp. 1-1. ISSN 0167-6423 *** ISI Impact 0,828 ***

Junges, S. and Guck, D. and Katoen, J.P. and Stoelinga, M.I.A. (2016) Uncovering dynamic fault trees. In: Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), 28 June -1 July 2016, Toulouse, France. pp. 299-310. IEEE Computer Society. ISSN 2158-3927 ISBN 978-1-4673-8892-4

Katoen, J.P. (2016) The Probabilistic Model Checking Landscape. (Invited) In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), 5-8 July 2016, New York, USA. pp. 31-45. IEEE Computer Society. ISBN 978-1-4503-4391-6

Laarman, A.W. and Pater, E. and van de Pol, J.C. and Hansen, H. (2016) Guard-based partial-order reduction. International journal on software tools for technology transfer, 18 (4). pp. 427-448. ISSN 1433-2779

Meijer, J.J.G. and van de Pol, J.C. (2016) Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. In: Proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, 7-9 Jun 2016, Minneapolis, USA. pp. 255-271. Lecture Notes in Computer Science 9690. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-40647-3

Mostowski, W.I. (2016) Dynamic Frames Based Verification Method for Concurrent Java Programs. In: Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2015. Revised Selected Papers, 18-19 Jul 2015, San Francisco, CA, U.S.A.. pp. 124-141. Lecture Notes in Computer Science 9593. Springer International Publishing Switzerland. ISSN 0302-9743 ISBN 978-3-319-29612-8

Neele, T. and Wijs, A. and Bosnacki, D. and van de Pol, J.C. (2016) Partial-Order Reduction for GPU Model Checking. In: Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, 17-20 Oct 2016, Chiba, Japan. pp. 357-374. Lecture Notes in Computer Science 9938. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-46519-7

Oortwijn, W.H.M. and Blom, S.C.C. and Huisman, M. (2016) Static Verification of Message Passing Programs. In: ICT.Open 2016, 21-22 March 2016, Amersfoort, The Netherlands. University of Twente. ISBN not assigned

Oortwijn, W.H.M. and Blom, S.C.C. and Huisman, M. (2016) Future-based Static Analysis of Message Passing Programs. In: Proceedings of the Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, 8 April 2016, Eindhoven, The Netherlands. pp. 65-72. Electronic Notes in Theoretical Computer Science 211. Open Publishing Association. ISSN 2075-2180

Rensink, A. (2016) Verification Techniques for Graph Rewriting (Tutorial). (Invited) In: Verification of Evolving Graph Structures, 1-6 Nov 2015, Dagstuhl, Germany. pp. 18-18. Dagstuhl Reports 5 (11). Dagstuhl Publishing. ISSN 2192-5283

Rensink, A. (2016) Model Patterns - The Quest for the Right Level of Abstraction. In: Transactions on Foundations for Mastering Change I. Lecture Notes in Computer Science 9960. Springer Verlag, Berlin, pp. 47-70. ISSN 2509-8047 ISBN 978-3-319-46507-4

Ruijters, E.J.J. and Guck, D. and Drolenga, P. and Peters, M. and Stoelinga, M.I.A. (2016) Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. In: Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016, 23-25 Aug 2016, Québec City, Canada. pp. 331-347. Lecture Notes in Computer Science 9826. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-43424-7

Ruijters, E.J.J. and Guck, D. and Drolenga, P. and Stoelinga, M.I.A. (2016) Fault maintenance trees: reliability centered maintenance via statistical model checking. In: Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016, 25-28 Jan 2016, Tucson, AZ, USA. pp. 1-6. IEEE. ISBN 978-1-5090-0248-1

Ruijters, E.J.J. and Guck, D. and van Noort, M. and Stoelinga, M.I.A. (2016) Reliability-centered maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A practical experience report. In: Proceedings of the 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, 28 Jun - 01 Jul 2016, Toulouse, France. pp. 662-669. IEEE Computer Society. ISBN 978-1-4673-8891-7

Ruijters, E.J.J. and Stoelinga, M.I.A. (2016) Better railway engineering through statistical model checking. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. pp. 151-165. Lecture Notes in Computer Science. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47166-2

Schivo, S. and Scholma, J. and Huang, X. and Zhong, L. and van de Pol, J.C. and Karperien, H.B.J. and Langerak, R. and Post, J.N. (2016) An ECHO in biology II: Insights in chondrocyte cell fate. In: Abstracts from the 2016 OARSI World Congress on Osteoarthritis, 31 Mar - 03 Apr 2016, Amsterdam, The Netherlands. S176-S177. Osteoarthritis and Cartilage 24 (Supplement 1). Elsevier. ISSN 1063-4584

Schivo, S. and Scholma, J. and van der Vet, P.E. and Karperien, H.B.J. and Post, J.N. and van de Pol, J.C. and Langerak, R. (2016) Modelling with ANIMO: between fuzzy logic and differential equations. BMC Systems Biology, 10. 56. ISSN 1752-0509 *** ISI Impact 2,208 ***

Scholma, J. and Fuhler, G.M. and Joore, J. and Hulsman, M. and Schivo, S. and List, A.F. and Reinders, M.J.T. and Peppelenbosch, M.P. and Post, J.N. (2016) Improved intra-array and interarray normalization of peptide microarray phosphorylation for phosphorylome and kinome profiling by rational selection of relevant spots. Scientific reports, 6. 26695. ISSN 2045-2322 *** ISI Impact 5,228 ***

Wevers, L. and Huisman, M. and van Keulen, M. (2016) Lazy Evaluation for Concurrent OLTP and Bulk Transactions. In: Proceedings of the 20th International Database Engineering & Applications Symposium (IDEAS 2016), 11-13 Jul 2016, Montreal, Canada. pp. 115-124. ACM. ISBN 978-1-4503-4118-9

Zhang, Xiaoyan and Zhang, Zan-Bo and Broersma, H.J. and Wen, Xuelian (2016) On the complexity of edge-colored subgraph partitioning problems in network optimization. Discrete mathematics and theoretical computer science, 17 (3). pp. 227-244. ISSN 1365-8050

Zhang, Yanbo and Broersma, H.J. and Chen, Y. (2016) On star-critical and upper size Ramsey numbers. Discrete applied mathematics, 202. pp. 174-180. ISSN 0166-218X *** ISI Impact 0,722 ***

Zhang, Yanbo and Broersma, H.J. and Chen, Y. (2016) Narrowing down the gap on cycle-star Ramsey numbers. Journal of combinatorics, 7 (2-3). pp. 481-493. ISSN 2156-3527

Zhang, Yanbo and Broersma, H.J. and Chen, Yaojun (2016) On fan-wheel and tree-wheel Ramsey numbers. Discrete mathematics, 339 (9). pp. 2284-2287. ISSN 0012-365X *** ISI Impact 0,600 ***