EEMCS

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

EEMCS EPrints Service


Research Group: EWI-FMT: Formal Methods and Tools
Home Policy Brochure Browse Search User Area Contact Help

2017

Ahmad, W. and Yildiz, B.M. and Rensink, A. and Stoelinga, M.I.A. (2017) A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. In: Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016. Revised Selected Papers., 6 Oct 2016, Pittsburgh, USA. pp. 1-16. Lecture Notes in Computer Science 10107. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-51737-7
Darabi, S. and Blom, S.C.C. and Huisman, M. (2017) A Verification Technique for Deterministic Parallel Programs (extended version). Technical Report TR-CTIT-17-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
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. (2017) Using neural networks to predict the functionality of reconfigurable nano-material networks. International journal on advances in intelligent systems, 9 (3&4). pp. 339-351. ISSN 1942-2679
Junges, S. and Guck, D. and Katoen, J.P. and Rensink, A. and Stoelinga, M.I.A. (2017) Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects of Computing, online pre-publication. ISSN 0934-5043 *** ISI Impact 0,521 ***
Kumar, Rajesh and Stoelinga, M.I.A. (2017) Quantitative security and safety analysis with attack-fault trees. In: Proceeding of the 18th IEEE International Symposium on High Assurance Systems Engineering, 12-14 Jan 2017, Singapore. IEEE Computer Society.
Li, Binlong and Zhang, Yanbo and Broersma, H.J. (2017) An exact formula for all star-kipas Ramsey numbers. Graphs and combinatorics, 33 (1). pp. 141-148. ISSN 0911-0119 *** ISI Impact 0,480 ***
Ruijters, E.J.J. and Schivo, S. and Stoelinga, M.I.A. and Rensink, A. (2017) Uniform analysis of fault trees through model transformations. In: Proceedings of the 63rd Annual Reliabliity and Maintainability Symposium (RAMS 2017), 23-26 Jan 2017, Orlando, FL, USA. IEEE Reliability Society.

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
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
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
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 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 October 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 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 ***
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
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. -. 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 ***

2015

Ahmad, W. and Hölzenspies, P.K.F. and Stoelinga, M.I.A. and van de Pol, J.C. (2015) Green computing: power optimisation of VFI-based real-time multiprocessor dataflow applications (extended version). Technical Report TR-CTIT-15-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ahmad, W. and Hölzenspies, P.K.F. and Stoelinga, M.I.A. and van de Pol, J.C. (2015) Green computing: power optimisation of vfi-based real-time multiprocessor dataflow applications. In: 18th Euromicro Conference on Digital Systems Design (DSD 2015), 26-28 Aug 2015, Madeira, Portugal. pp. 271-275. IEEE Computer Society. ISBN 978-1-4673-8035-5
Akşit, M. and Malakuti Khah Olun Abadi, S. (2015) Hermeneutics framework: integration of design rationale and optimizing software modules. In: Proceedings of the 14th International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2015), 22-24 Feb 2015, Dubai, United Arab Emirates. pp. 58-62. Recent Advances in Computer Engineering Series 27. WSEAS Press. ISSN 1790-5109 ISBN 978-1-61804-277-4
Akşit, M. and Tekinerdogan, B. and Sözer, H. and Safi, H. F. and Ayas, M. (2015) The DESARC method: An effective approach for university-industry cooperation. In: Proceedings of the International Conference on Advances in Computing, Control and Networking, ACCN 2015, 3-4 Jan 2015, Bangkok, Thailand. pp. 51-53. Institute of Research Engineers and Doctors. ISBN 978-1-63248-038-5
Amighi, A. and Darabi, S. and Blom, S.C.C. and Huisman, M. (2015) Specification and verification of atomic operations in GPGPU programs. In: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015), 7-11 Sep 2015, York, UK. pp. 69-83. Lecture Notes in Computer Science 9276. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-22968-3
Amighi, A. and Haack, C. and Huisman, M. and Hurlin, C. (2015) Permission-based separation logic for multi-threaded Java programs. Logical Methods in Computer Science, 11 (1). 2. ISSN 1860-5974 *** ISI Impact 0,569 ***
Arnold, F. and Guck, D. and Kumar, Rajesh and Stoelinga, M.I.A. (2015) Sequential and Parallel Attack Tree Modelling. In: Computer Safety, Reliability, and Security - Proceedings of the SAFECOM 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, 22 September 2015, Delft, The Netherlands. pp. 291-299. Lecture Notes in Computer Science 9338. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-24248-4
Bauer, D. and Broersma, H.J. and van den Heuvel, J. and Kahl, N. and Nevo, A. and Schmeichel, E. and Woodall, D.R. and Yatauro, M. (2015) Best monotone degree conditions for graph properties: a survey. Graphs and combinatorics, 31 (1). pp. 1-22. ISSN 0911-0119 *** ISI Impact 0,480 ***
Blom, S.C.C. and Darabi, S. and Huisman, M. (2015) Verification of Loop Parallelisations. In: ICT Open 2015, 24-25 March 2015, Amersfoort,The Netherlands. IPA-4. ICT Open 2015. ISBN not assigned
Blom, S.C.C. and Darabi, S. and Huisman, M. (2015) Verification of loop parallelisations. In: Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015), 11-18 Apr 2015, London, UK. pp. 202-217. Lecture Notes in Computer Science 9033. Springer Berlin Heidelberg. ISSN 0302-9743 ISBN 978-3-662-46674-2
Blom, S.C.C. and Huisman, M. (2015) Witnessing the elimination of magic wands. International Journal on Software Tools for Technology Transfer, 17 (6). pp. 757-781. ISSN 1433-2779
Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M. (2015) History-based Verification of Functional Behaviour of Concurrent Programs. Technical Report TR-CTIT-15-02, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M. (2015) History-Based Verification of Functional Behaviour of Concurrent Programs. In: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015), 7-11 Sep 2015, York, United Kingdom. pp. 84-98. Lecture Notes in Computer Science 9276. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-22968-3
Boode, A.H. and Broersma, H.J. and Broenink, J.F. (2015) On a directed tree problem motivated by a newly introduced graph product. Electronic Journal of Graph Theory and Applications, 3 (2). pp. 162-181. ISSN 2338-2287
Bose, S.K. and Lawrence, C.P. and Liu, Zhihua and Makarenko, K.S. and van Damme, R.M.J. and Broersma, H.J. and van der Wiel, W.G. (2015) Evolution of a designless nanoparticle network into reconfigurable Boolean logic. Nature nanotechnology, 10 (12). pp. 1048-1052. ISSN 1748-3387 *** ISI Impact 35,267 ***
te Brinke, S. (2015) Developing Energy-Aware Software. PhD thesis, Univ. of Twente. CTIT Ph.D. Thesis Series No. 15-359 ISBN 978-90-365-3875-6
Broersma, H.J. (2015) How tough is toughness? Bulletin of the European Association for Theoretical Computer Science, 117. pp. 28-52. ISSN 0252-9742
Broersma, H.J. and Fiala, J. and Golovach, P.A. and Kaiser, T. and Paulusma, D. and Proskurowski, A. (2015) Linear-time algorithms for scattering number and hamilton-connectivity of interval graphs. Journal of graph theory, 79 (4). pp. 282-299. ISSN 0364-9024 *** ISI Impact 0,796 ***
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
Degeling, K. and Koffijberg, H. and Schivo, S. and Langerak, R. and IJzerman, M.J. (2015) Comparison of Timed Automata with Discrete Event Simulation for Modeling Personalized Treatment Decisions: the Case of Metastatic Castration Resistant Prostate Cancer. In: ISPOR 18th Annual European Congress Research Abstracts, 7-11 Nov 2015, Milan, Italy. A343-A344. Value in Health 18 (7). International Society for Pharmacoeconomics and Outcomes Research (ISPOR). ISSN 1098-3015
van Dijk, T. and Hahn, E.M. and Jansen, D.N. and Li, Yong and Neele, T. and Stoelinga, M.I.A. and Turrini, A. and Zhang, Lijun (2015) A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. In: Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), 4-6 Nov 2015, Nanjing, China. pp. 35-51. Lecture Notes in Computer Science 9409. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-25941-3
van Dijk, T. and van de Pol, J.C. (2015) Sylvan: Multi-core Decision Diagrams. In: Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, 11-18 Apr 2015, London, UK. pp. 677-691. Lecture Notes in Computer Science 9035. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-46680-3
Gerhold, M. and Stoelinga, M.I.A. (2015) Ioco Theory for Probabilistic Automata. In: Proceedings of the 10th Workshop on Model Based Testing, MBT 2015, 18 Apr 2015, London, UK. pp. 23-40. Electronic proceedings in theoretical computer science 180. Open Publishing Association. ISSN 2075-2180
Guck, D. and Spel, J.J. and Stoelinga, M.I.A. (2015) DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper). In: Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015), 03-06 Nov 2015, Paris, France. pp. 304-311. Lecture Notes in Computer Science 9407. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-25422-7
Hartmanns, A. and Timmer, M. (2015) Sound statistical model checking for MDP using partial order and confluence reduction. International Journal on Software Tools for Technology Transfer, 17 (4). pp. 429-456. ISSN 1433-2779
Huisman, M. and Klebanov, V. and Monahan, R. (2015) VerifyThis 2012 - A Program Verification Competition. International journal on software tools for technology transfer, 17 (6). pp. 647-657. ISSN 1433-2779
Huisman, M. and Mostowski, W.I. (2015) A Symbolic Approach to Permission Accounting for Concurrent Reasoning. In: Proceedings of the 14th International Symposium on Parallel and Distributed Computing, ISPDC 2015, 29 Jun - 02 Jul 2015, Limassol, Cyprus. pp. 165-174. IEEE Computer Society. ISBN 978-1-4673-7148-3
Junges, S. and Guck, D. and Katoen, J.P. and Rensink, A. and Stoelinga, M.I.A. (2015) Fault Trees on a Diet - Automated Reduction by Graph Rewriting. In: Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), 4-6 Nov 2015, Nanjing, China. pp. 3-18. Lecture Notes in Computer Science 9409. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-25941-3
Kandziora, J. and Huisman, M. and Bockisch, C.M. and Zaharieva-Stojanovski, M. (2015) Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML. In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs (FTfJP 2015), 7 July 2015, Prague, Czech Republic. 8. ACM. ISBN 978-1-4503-3656-7
Kant, G. and Laarman, A.W. and Meijer, J.J.G. and van de Pol, J.C. and Blom, S.C.C. and van Dijk, T. (2015) LTSmin: High-Performance Language-Independent Model Checking. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 9035. Springer Verlag, London, pp. 692-707. ISSN 0302-9743 ISBN 978-3-662-46680-3
Katoen, J.P. (2015) Probabilistic Programming: A True Verification Challenge. (Invited) In: Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, 12-15 Oct 2015, Shanghai, China. pp. 1-3. Lecture Notes in Computer Science (9364). Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-24953-7
Kumar, Rajesh and Guck, D. and Stoelinga, M.I.A. (2015) Time dependent analysis with dynamic counter measure trees. In: Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), 11-12 April 2015, London, England. pp. 1-5. Inria. ISSN not assigned ISBN not assigned
Kumar, Rajesh and Ruijters, E.J.J. and Stoelinga, M.I.A. (2015) Quantitative Attack Tree Analysis via Priced Timed Automata. In: Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015), 2-4 Sept 2015, Madrid, Spain. pp. 156-171. Lecture Notes in Computer Science 9268 . Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-22974-4
Kwantes, P.M. and Van Gorp, P. and Kleijn, J. and Rensink, A. (2015) Towards Compliance Verification Between Global and Local Process Models. In: Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015, 21-23 Jul 2015, L'Aquila, Italy. pp. 221-236. Lecture Notes in Computer Science 9151. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-21144-2
Li, Binlong and Ning, B0 and Broersma, H.J. and Zhang, Shenggui (2015) Characterizing heavy subgraph pairs for pancyclicity. Graphs and combinatorics, 31 (3). pp. 649-667. ISSN 0911-0119 *** ISI Impact 0,480 ***
Li, Binlong and Zhang, Yanbo and Bielak, H. and Broersma, H.J. and Holub, P. (2015) Closing the gap on path-kipas Ramsey numbers. Electronic journal of combinatorics, 22 (3). 3.21. ISSN 1077-8926 *** ISI Impact 0,612 ***
Malakuti Khah Olun Abadi, S. and Akşit, M. (2015) On liberating programs from the von neumann architecture via event-based modularization. In: Companion Proceedings of the 14th International Conference on Modularity, MODULARITY Companion 2015, 16-19 March 2015, Fort Collins, CO, USA. pp. 31-34. ACM. ISBN 978-1-4503-3283-5
Malakuti Khah Olun Abadi, S. and Lohmann, W. and Akşit, M. (2015) Introduction to special issue on software engineering aspects of green computing (SEAGC). Sustainable Computing, 7. pp. 1-1. ISSN 2210-5379 *** ISI Impact 0,569 ***
Meijer, J.J.G. and van de Pol, J.C. (2015) Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking. Technical Report Number UNSPECIFIED, arXiv.org, Ithaca, NY, USA.
Miller, J.F. and Broersma, H.J. (2015) Computational matter: evolving computational solutions in materials. In: Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, GECCO Companion 2015, 11-15 July 2015, Madrid, Spain. pp. 769-770. ACM. ISBN 978-1-4503-3488-4
Mostowski, W.I. and Ulbrich, M. (2015) Dynamic Dispatch for Method Contracts through Abstract Predicates. In: Proceedings of the 14th International Conference on Modularity (MODULARITY 2015), 16-19 Mar 2015, Fort Collins, CO, USA. pp. 109-116. MODULARITY 2015. ACM. ISBN 978-1-4503-3249-1
Oortwijn, W.H.M. and van Dijk, T. and van de Pol, J.C. (2015) A Distributed Hash Table for Shared Memory. In: Proceedings of the 11th International Conference on Parallel Processing and Applied Mathematics (PPAM 2016), Revised Selected Papers., 06-09 Sept 2015, Krakow, Poland. pp. 15-24. Lecture Notes in Computer Science 9574. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-32151-6
van de Pol, J.C. (2015) Automated Verification of Nested DFS. In: Proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015), 22-23 Jun 2015, Oslo, Norway. pp. 181-197. Lecture Notes in Computer Science 9128. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-19457-8
Rensink, A. and Zambon, Eduardo (2015) Graphs as Models - Preface. In: Graphs as Models, 11-12 Apr 2015, London, U.K.. Electronic Proceedings in Theoretical Computer Science 181. Open Publishing Association. ISSN 2075-2180
Ruijters, E.J.J. and Stoelinga, M.I.A. (2015) Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Computer Science Review, 15–16. pp. 29-62. ISSN 1574-0137
Schivo, S. and Degeling, K. and Koffijberg, H. and IJzerman, M.J. and Langerak, R. (2015) PRM113 - Timed Automata Modeling of The Personalized Treatment Decisions In Metastatic Castration Resistant Prostate Cancer. In: ISPOR 18th Annual European Congress Research Abstracts, 7-11 Nov 2015, Milan, Italy. A702-A703. Value in Health 18 (7). International Society for Pharmacoeconomics and Outcomes Research (ISPOR). ISSN 1098-3015
Soleimanifard, S. and Gurov, D. and Huisman, M. (2015) Procedure-modular specification and verification of temporal safety properties. Software and systems modeling, 14 (1). pp. 83-100. ISSN 1619-1366 *** ISI Impact 0,990 ***
Wang, Limin and Zhang, Xiaoyan and Zhang, Zhao and Broersma, H.J. (2015) A PTAS for the minimum weight connected vertex cover P3 problem on unit disk graphs. Theoretical computer science, 571. pp. 58-66. ISSN 0304-3975 *** ISI Impact 0,643 ***
Wevers, L. and Hofstra, M. and Tammens, M. and Huisman, M. and van Keulen, M. (2015) A Benchmark for Online Non-Blocking Schema Transformations. In: Proceedings of 4th International Conference on Data Management Technologies and Applications, DATA 2015, 20-22 Jul 2015, Colmar, France. pp. 288-298. SciTePress. ISBN 978-989-758-103-8
Wevers, L. and Hofstra, M. and Tammens, M. and Huisman, M. and van Keulen, M. (2015) Analysis of the blocking behaviour of schema transformations in relational database systems. In: Proceedings of the 19th East European Conference on Advances in Databases and Information Systems, ADBIS 2015, 8-11 Sep 2015, Poitiers, France. pp. 169-183. Lecture Notes in Computer Science 9282. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-23134-1
Yildiz, B.M. and Rensink, A. and Bockisch, C.M. and Akşit, M. (2015) A Model-Derivation Framework for Timing Analysis of Java Software Systems. Technical Report TR-CTIT-15-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Zaharieva-Stojanovski, M. (2015) Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs. PhD thesis, University of Twente. CTIT Ph.D. Thesis Series No. 15-375 ISBN 978-90-365-3924-1
Zhang, Yanbo and Broersma, H.J. and Chen, Yaojun (2015) Ramsey numbers of trees versus fans. Discrete mathematics, 338 (6). pp. 994-999. ISSN 0012-365X *** ISI Impact 0,600 ***
Zhang, Yanbo (2015) Generalized Ramsey numbers for graphs. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 15-345 ISBN 978-90-365-3832-9
Zhang, Yanbo and Broersma, H.J. and Chen, Yaojun (2015) Three results on cycle-wheel Ramsey numbers. Graphs and combinatorics, 31 (6). pp. 2467-2479. ISSN 0911-0119 *** ISI Impact 0,480 ***
Zhang, Yanbo and Broersma, H.J. and Chen, Yaojun (2015) A note on Ramsey numbers for fans. Bulletin of the Australian Mathematical Society, 92 (1). pp. 19-23. ISSN 0004-9727 *** ISI Impact 0,566 ***

2014

Gnesi, S. and Rensink, A., ed. (2014) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (8411). Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-54803-1
Remke, A.K.I. and Stoelinga, M.I.A., ed. (2014) Stochastic Model Checking: Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Lecture Notes in Computer Science 8453. Springer Verlag, London. ISSN 0302-9743 ISBN 978-3-662-45488-6
Stoelinga, M.I.A. and Remke, A.K.I., ed. (2014) Stochastic Model Checking. Lecture Notes in Computer Science 8453. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-662-45488-6
Ahmad, W. and de Groote, E. and Hölzenspies, P.K.F. and Stoelinga, M.I.A. and van de Pol, J.C. (2014) Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata. Technical Report TR-CTIT-13-17, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ahmad, W. and de Groote, E. and Hölzenspies, P.K.F. and Stoelinga, M.I.A. and van de Pol, J.C. (2014) Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. In: Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014), 23-27 June 2014, Tunis, Tunisia. pp. 72-81. IEEE Computer Society. ISSN 1550-4808
Ahrendt, W. and Beckert, B. and Bruns, D. and Bubel, R. and Gladisch, C. and Grebing, S. and Hähnle, R. and Hentschel, M. and Herda, M. and Klebanov, V. and Mostowski, W.I. and Scheben, C. and Schmitt, P.H. and Ulbrich, M. (2014) The KeY platform for verification and analysis of Java programs. In: Proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, Revised Selected Papers, 17-18 Jul 2014, Vienna, Austria. pp. 55-71. Lecture Notes In Computer Science 8471. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-12153-6
Amighi, A. and Blom, S.C.C. and Darabi, S. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2014) Verification of concurrent systems with VerCors. In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Lecture Notes in Computer Science 8483. Springer Verlag, Berlin, pp. 172-216. ISSN 0302-9743 ISBN 978-3-319-07316-3
Amighi, A. and Blom, S.C.C. and Huisman, M. (2014) Resource Protection Using Atomics: Patterns and Verification. In: Proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, November 17-19, 2014, Singapore. pp. 255-274. Lecture Notes in Computer Science 8858. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-12735-4
Amighi, A. and Blom, S.C.C. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2014) Formal Specifications for Java's Synchronisation Classes. In: Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2014), 12-14 Feb 2014, Torino, Italy. pp. 725-733. IEEE Conference Publications. IEEE Computer Society. ISSN 1066-6192
Anjorin, A. and Cunha, A. and Giese, H. and Hermann, F. and Rensink, A. and Schürr, A. (2014) BenchmarX. In: Bidirectional Transformations (BX 2014), Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference, 28 Mar 2014, Athens, Greece. pp. 82-86. CEUR Workshop Proceedings 1133. CEUR-WS.org. ISSN 1613-0073
Arnold, F. and Gebler, D. and Guck, D. and Hatefi, H. (2014) A tutorial on interactive Markov chains. In: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 22-26 Oct 2012, Vahrn, Italy. pp. 26-66. Lecture Notes in Computer Science 8453. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-45488-6
Arnold, F. and Hermanns, H. and Pulungan, R. and Stoelinga, M.I.A. (2014) Time-dependent analysis of attacks. In: Proceedings of the Third International Conference on Principles and Security of Trust, POST 2014, April 5-13, 2014, Grenoble, France. pp. 285-305. Lecture Notes in Computer Science 8414. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-54791-1
Arnold, F. and Pieters, W. and Stoelinga, M.I.A. (2014) Quantitative Penetration Testing with Item Response Theory. Journal of Information Assurance and Security, 9 (3). pp. 118-127. ISSN 1554-1010
Belinfante, A.F.E. (2014) JTorX: Exploring Model-Based Testing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 14-319 ISBN 978-90-365-3707-0
Bennaceur, A. and France, R. and Tamburelli, G. and Vogel, T. and Mosterman, P.J. and Cazzola, W. and Costa, F.M. and Pierantonio, A. and Tichy, M. and Akşit, M. and Emanuelson, P. and Gang, Huang and Georgantas, N. and Redlich, D. (2014) Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. In: Models@run.time. Lecture Notes in Computer Science 8378. Springer International Publishing, Switzerland, pp. 19-46. ISSN 0302-9743 ISBN 978-3-319-08914-0
Beyer, D. and Huisman, M. and Klebanov, V. and Monahan, R. (2014) Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). Dagstuhl reports, 4 (4). pp. 1-19. ISSN 2192-5283
Bloemen, V. and Diaz, D. and van der Bijl, H.M. and Abreu, S. (2014) Extending the Finite Domain Solver of GNU Prolog. In: Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014, 17-18 Jul 2014, Vienna, Austria. pp. 47-62. Aachener Informatik-Berichte (AIB-2014-09). RWTH Aachen, Department of Computer Science. ISSN 0935-3232
Blom, S.C.C. and Darabi, S. and Huisman, M. (2014) Verifying parallel loops with separation logic. In: Proceedings of the 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014), 12 April 2014, Grenoble, France. pp. 47-53. EPTCS 155 (arXiv:1406.3313). Cornell University. ISSN 2075-2180
Blom, S.C.C. and Huisman, M. (2014) The VerCors Tool for Verification of Concurrent Programs. In: Proceedings of the 19th International Symposium on Formal Methods, FM 2014, 12-16 May 2014, Singapore. pp. 127-131. Lecture Notes in Computer Science 8442. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-06409-3
Blom, S.C.C. and Huisman, M. and Mihelcic, M. (2014) Specification and verification of GPGPU programs. Science of computer programming, 95 (Part 3). pp. 376-388. ISSN 0167-6423 *** ISI Impact 0,828 ***
Bockisch, C.M. and Hatun, K. and Akşit, M. (2014) Instance Pointcuts: Selecting Object Sets Based on Their Usage History. In: Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools, PPPJ 2014, 23-26 Sept 2014, Cracow, Poland. pp. 27-38. ACM. ISBN 978-1-4503-2926-2
Bonsma, P.S. (2014) Independent Set Reconfiguration in Cographs. In: Proceedings of the 40th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2014, 25-27 Jun 2014, Nouan-le-Fuzelier, France. pp. 105-116. Lecture Notes in Computer Science 8747. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-12339-4
Bonsma, P.S. and Kamiński, M. and Wrochna, M. (2014) Reconfiguring Independent Sets in Claw-Free Graphs. In: Proceedings of the 14th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2014, 2-4 Jul 2014, Copenhagen, Denmark. pp. 86-97. Lecture Notes in Computer Science 8503. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-08403-9
Bonsma, P.S. and Mouawad, A.E. and Nishimura, N. and Raman, V. (2014) The Complexity of Bounded Length Graph Recoloring and CSP Reconfiguration. In: Proceedings of the 9th International Symposium on Parameterized and Exact Computation, IPEC 2014, 10-12 Sep 2014, Wroclaw, Poland. pp. 110-121. Lecture Notes in Computer Science 8894. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-13523-6
Bonsma, P.S. and Schulz, J. and Wiese, A. (2014) A Constant-Factor Approximation Algorithm for Unsplittable Flow on Paths. SIAM Journal on Computing, 43 (2). pp. 767-799. ISSN 0097-5397 *** ISI Impact 0,841 ***
Bozzano, M. and Cimatti, A. and Katoen, J.P. and Katsaros, P. and Mokos, K. and Nguyen, Viet Yen and Noll, T. and Postma, B. and Roveri, M. (2014) Spacecraft early design validation using formal methods. Reliability engineering & system safety, 132. pp. 20-35. ISSN 0951-8320 *** ISI Impact 2,498 ***
te Brinke, S. (2014) Interpreting energy profiles with CEGAR. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014, 24-28 Mar 2014, Gyeongju, Korea. pp. 1221-1222. ACM. ISBN 978-1-4503-2469-4
te Brinke, S. and Malakuti Khah Olun Abadi, S. and Bockisch, C.M. and Bergmans, L.M.J. and Akşit, M. and Katz, S. (2014) A tool-supported approach for modular design of energy-aware software. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing, 24-28 Mar 2014, Gyeongju, Korea. pp. 1206-1212. SAC. ACM. ISBN 978-1-4503-2469-4
Broersma, H.J. and Patel, V. and Pyatkin, A. (2014) On toughness and hamiltonicity of 2K2-free graphs Journal of graph theory, 75 (3). pp. 244-255. ISSN 0364-9024 *** ISI Impact 0,796 ***
Delzanno, G. and Rensink, A. and Traverso, R. (2014) Graph- versus Vector-Based Analysis of a Consensus Protocol. In: Proceedings of the 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), 5 April 2014, Grenoble, France. pp. 44-57. Electronic Proceedings in Theoretical Computer Science 159. EPTCS. ISSN 2075-2180
Demirezen, Z. and Tanik, M.M. and Akşit, M. and Skjellum, A. (2014) A communication-channel-based representation system for software. Integrated Computer-Aided Engineering, 21 (3). pp. 235-247. ISSN 1069-2509 *** ISI Impact 4,981 ***
van Dijk, T. and van de Pol, J.C. (2014) Lace: non-blocking split deque for work-stealing. In: Proceedings of the 7th International Euro-Par Workshop on Multi-/Many-core Computing Systems, MuCoCoS 2014, 26 Aug 2014, Porto, Portugal. pp. 206-217. Lecture Notes in Computer Science 8806. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-14312-5
Göknil, A. and Kurtev, I. and van den Berg, K.G. (2014) Generation and validation of traces between requirements and architecture based on formal trace semantics. Journal of Systems and Software, 88. pp. 112-137. ISSN 0164-1212 *** ISI Impact 1,424 ***
Göknil, A. and Kurtev, I. and van den Berg, K.G. and Spijkerman, W. (2014) Change impact analysis for requirements: A metamodeling approach. Information and Software Technology, 56. pp. 950-972. ISSN 0950-5849 *** ISI Impact 1,569 ***
Gnesi, S. and Rensink, A. (2014) Fundamental Approaches to Software Engineering - Preface. In: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, 05-13 Apr 2014, Grenoble, France. VII-VII. Lecture Notes in Computer Science 8411. Springer Verlag. ISBN 978-3-642-54803-1
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2014) Analysis of timed and long-run objectives for Markov automata. Logical Methods in Computer Science, 10 (3). 17. ISSN 1860-5974 *** ISI Impact 0,569 ***
Guck, D. and Katoen, J.P. and Stoelinga, M.I.A. and Luiten, T. and Romijn, J. (2014) Smart railroad maintenance engineering with stochastic model checking. In: Proceedings of the Second International Conference on Railway Technology: Research, Development and Maintenance, Railways 2014, 8-11 April 2014, Ajaccio, Corsica, France. 299. Civil-Comp Proceedings 104. Civil-Comp Press. ISSN 1759-3433
Guck, D. and Timmer, M. and Blom, S.C.C. (2014) Extending Markov Automata with State and Action Rewards. In: Proceedings of the 12th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), 12-13 April 2014, Grenoble, France. Inria. ISBN not assigned
Guck, D. and Timmer, M. and Hatefi, H and Ruijters, E.J.J. and Stoelinga, M.I.A. (2014) Modelling and analysis of Markov reward automata (extended version). Technical Report TR-CTIT-14-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Guck, D. and Timmer, M. and Hatefi, H. and Ruijters, E.J.J. and Stoelinga, M.I.A. (2014) Modelling and analysis of Markov reward automata. In: Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, 3-7 Nov 2014, Sydney, NSW, Australia. pp. 168-184. Lecture Notes in Computer Science 8837. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-11935-9
Hansen, H. and Timmer, M. (2014) A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. Theoretical computer science, 538. pp. 103-123. ISSN 0304-3975 *** ISI Impact 0,643 ***
Hatun, K. (2014) Non-intrusive Instance Level Software Composition. PhD thesis, Universiteit Twente. CTIT Ph.D.-thesis series No. 14-296 ISBN 978-90-365-3619-6
Hek, G.M. and Timmer, M. (2014) In de verdediging: Efficient Modelling, Generation and Analysis of Markov Automata. Nieuw archief voor wiskunde, 15 (1). pp. 25-26. ISSN 0028-9825
Huisman, M. (2014) SCP special issue on Bytecode 2012 - Preface. Science of Computer Programming, 92A. pp. 1-1. ISSN 0167-6423 *** ISI Impact 0,828 ***
Huisman, M. and Ahrendt, W. and Bruns, D. and Hentschel, M. (2014) Formal specification with JML. Technical Report 2014-10, Department of Informatics, Karlsruhe Institute of Technology, Karlsruhe. ISSN 2190-4782
Huisman, M. and van de Pol, J.C. (2014) Preface. In: Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014), 24-26 Sep 2014, Enschede, The Netherlands. pp. 1-3. Electronic Communications of the EASST 70. European Association of Software Science and Technology. ISSN 1863-2122
Huisman, M. and Stoelinga, M.I.A. (2014) Meer vrouwen in de ict, waarom eigenlijk? Bits en chips, 9 (9). pp. 20-21. ISSN 1879-6443
Jakumeit, E. and Buchwald, S. and Wagelaar, D. and Dan, L. and Hegedüs, Á and Herrmannsdörfer, M. and Horn, T. and Kalnina, E. and Krause, C. and Lano, K. and Lepper, M. and Rensink, A. and Rose, L.M. and Wätzoldt, S. and Mazanek, S. (2014) A survey and comparison of transformation tools based on the transformation tool contest. Science of computer programming, 85 (A). pp. 41-99. ISSN 0167-6423 *** ISI Impact 0,828 ***
Kant, G. and van de Pol, J.C. (2014) Generating and Solving Symbolic Parity Games. In: Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), 05 Apr 2014, Grenoble, France. pp. 2-14. Electronic Proceedings in Theoretical Computer Science 159. EPTCS. ISSN 2075-2180
Katoen, J.P. (2014) Model Checking Gigantic Markov Models. (Invited) In: Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, 1-5 Sep 2014, Grenoble, France. xv-xvii. Lecture Notes in Computer Science 8702. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-10430-0
Katoen, J.P. and Song, Lei and Zhang, Lijun (2014) Probably safe or live. In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 14-18 July 2014, Vienna, Austria. 55. ACM. ISBN 978-1-4503-2886-9
Kordy, P.T. and Langerak, R. and Mauw, S. and Polderman, J.W. (2014) A Symbolic Algorithm for the Analysis of Robust Timed Automata. In: 19th International Symposium on Formal Methods, FM 2014, 12-16 May 2014, Singapore. pp. 351-366. Lecture Notes in Computer Science 8442. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-06409-3
Laarman, A.W. (2014) Scalable multi-core model checking. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 14-308 ISBN 978-90-365-3656-1
Li, Binlong and Broersma, H.J. and Zhang, Shenggui (2014) Heavy subgraph pairs for traceability of block-chains. Discussiones Mathematicae Graph Theory, 34 (2). pp. 287-307. ISSN 1234-3099 *** ISI Impact 0,349 ***
Malakuti Khah Olun Abadi, S. and Akşit, M. (2014) Event Modules - Modularizing Domain-Specific Crosscutting RV Concerns. In: Transactions on Aspect-Oriented Software Development XI. Lecture Notes in Computer Science 8400. Springer Verlag, Berlin, Heidelberg, pp. 27-69. ISSN 0302-9743 ISBN 978-3-642-55098-0
Malakuti Khah Olun Abadi, S. and Akşit, M. (2014) Event-based Modularization: How Emergent Behavioral Patterns Must Be Modularized? In: Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, 22-25 April 2014, Lugano, Switzerland . pp. 7-12. ACM. ISBN 978-1-4503-2798-5
Malakuti Khah Olun Abadi, S. and Akşit, M. (2014) Event-Based Modularization of Reactive Systems. In: Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 8665. Springer Verlag, Berlin, Heidelberg, pp. 367-407. ISSN 0302-9743 ISBN 978-3-662-44470-2
Malakuti Khah Olun Abadi, S. and Akşit, M. (2014) Emergent Gummy Modules: Modular Representation of Emergent Behavior. In: Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014, 15-16 Sept 2014, Västerås, Sweden. pp. 15-24. ACM. ISBN 978-1-4503-3161-6
Meijer, J.J.G. and Kant, G. and Blom, S.C.C. and van de Pol, J.C. (2014) Read, Write and Copy Dependencies for Symbolic Model Checking. In: Proceedings of the 10th International Haifa Verification Conference, HVC 2014, 18-20 Nov 2014, Haifa, Israel. pp. 204-219. Lecture Notes in Computer Science 8855. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-13337-9
Ngo, Minh Tri (2014) Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 14-305 ISBN 978-90-365-3652-3
Ngo, Minh Tri and Huisman, M. (2014) Quantitative security analysis for programs with low input and noisy output. In: Proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, 26-28 Feb 2014, Munich, Germany. pp. 77-94. Lecture Notes in Computer Science 8364. Springer Verlag. ISBN 978-3-319-04896-3
Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2014) Effective verification of confidentiality for multi-threaded programs. Journal of computer security, 22 (2). pp. 269-300. ISSN 0926-227X
van de Pol, J.C. and Ruys, T.C. and te Brinke, S. (2014) Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. International journal on software tools for technology transfer, 16 (5). pp. 481-491. ISSN 1433-2779
Poskitt, C. and Dodds, M. and Paige, R.F. and Rensink, A. (2014) Towards Rigorously Faking Bidirectional Model Transformations. In: Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014, 29 Sep 2014, Valencia, Spain. pp. 70-75. CEUR-WS 1277. RWTH Aachen, Germany. ISSN 1613-0073
Rensink, A. (2014) Forever software. In: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014, 11 Oct 2014, Corfu, Greece. pp. 535-537. Lecture Notes in Computer Science 8802. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-45233-2
de Roo, A.J. and Sözer, H. and Akşit, M. (2014) Composing domain-specific physical models with general-purpose software modules in embedded control software. Software and Systems Modeling, 13 (1). pp. 55-81. ISSN 1619-1366 *** ISI Impact 0,990 ***
Ruijters, E.J.J. and Stoelinga, M.I.A. (2014) Fault Tree Analysis: A survey of the state-of-the-art in modeling, analysis and tools. Technical Report TR-CTIT-14-14, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Schürr, A. and Rensink, A. (2014) Software and systems modeling with graph transformations: Theme issue of the Journal on Software and Systems Modeling. Software and systems modeling, 13 (1). pp. 171-172. ISSN 1619-1366 *** ISI Impact 0,990 ***
Schivo, S. and Scholma, J. and Karperien, H.B.J. and Langerak, R. and van de Pol, J.C. and Post, J.N. (2014) ANIMO: a tool for modeling biological pathway dynamics. In: Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, 10-13 Jun 2014, Genova, Italy. pp. 54-55. Wiley. ISSN 1932-7005
Schivo, S. and Scholma, J. and Karperien, H.B.J. and Post, J.N. and van de Pol, J.C. and Langerak, R. (2014) Setting Parameters for Biological Models With ANIMO. In: Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 6 Apr 2014, Grenoble, France. pp. 35-47. Electronic Proceedings in Theoretical Computer Science 145. Open Publishing Association. ISSN 2075-2180
Schivo, S. and Scholma, J. and Wanders, B. and Urquidi Camacho, R. A. and van der Vet, P.E. and Karperien, H.B.J. and Langerak, R. and van de Pol, J.C. and Post, J.N. (2014) Modelling biological pathway dynamics with Timed Automata. IEEE Journal of Biomedical and Health Informatics, 18 (3). pp. 832-839. ISSN 2168-2194 *** ISI Impact 2,093 ***
Scholma, J. and Schivo, S. and Karperien, H.B.J. and Langerak, R. and van de Pol, J.C. and Post, J.N. (2014) An ECHO in biology: Validating the Executable CHondrocyte. In: 2014 World Congress on Osteoarthritis, 24-27 Apr 2014, Paris, France. S157-S157. Osteoarthritis and Cartilage 22. Elsevier. ISSN 1063-4584
Scholma, J. and Schivo, S. and Kerkhofs, J. and Langerak, R. and Karperien, H.B.J. and van de Pol, J.C. and Geris, L. and Post, J.N. (2014) ECHO: the executable chondrocyte. In: Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, 10-13 June 2014, Genova, Italy. pp. 54-54. Wiley. ISSN 1932-7005
Scholma, J. and Schivo, S. and Urquidi Camacho, R. A. and van de Pol, J.C. and Karperien, H.B.J. and Post, J.N. (2014) Biological networks 101: computational modeling for molecular biologists. Gene, 533 (1). pp. 379-384. ISSN 0378-1119 *** ISI Impact 2,319 ***
Stoelinga, M.I.A. (2014) Bakkerij, democratie en typesetting. Bits en chips, 2014. pp. 40-41. ISSN 1879-6443
Sytema, M. and Belinfante, A.F.E. and Stoelinga, M.I.A. and Marinelli, L. (2014) Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost. Science of computer programming, 80 (Part A). pp. 188-209. ISSN 0167-6423 *** ISI Impact 0,828 ***
Timmer, M. (2014) Community of Learners: samen met vakcollega's werken aan didactiekverbetering. De Lerarenagenda 2013-2020, 2014. ISSN not assigned
Timmer, M. (2014) Community of Learners (2): samen met vakcollega's op zoek naar een betere introductie van telproblemen. De Lerarenagenda 2013-2020, 2014. ISSN not assigned
Timmer, M. (2014) Community of Learners (3): wat leert de docent nu eigenlijk? De Lerarenagenda 2013-2020, 2014. ISSN not assigned
Timmer, M. (2014) Efficient Modelling, Generation and Analysis of Markov Automata. Bulletin of the European Association for Theoretical Computer Science, 112. pp. 139-140. ISSN 0252-9742
Timmer, M. and Verhoef, N.C. (2014) Combinatoriek: meer dan trucjes. Euclides, 90 (3). pp. 12-13. ISSN 0165-0394
Verhoef, N.C. and Timmer, M. and Hoeksema, F.W. (2014) De introductie van analytische meetkunde. Euclides, 90 (2). pp. 4-6. ISSN 0165-0394
Vettori, P. and Polderman, J.W. and Langerak, R. (2014) A geometric approach to stability of linear reset systems. In: Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems, MTNS 2014, 7-11 July 2014, Groningen. pp. 776-783. MTNS 2014. ISBN 978-90-367-6321-9
Wanders, B. and te Brinke, S. (2014) Strata: typed semi-structured data in DokuWiki. In: Proceedings of the 10th International Symposium on Open Collaboration (OpenSym 2014), 27-29 Aug 2014, Berlin, Germany. 50. ACM. ISBN 978-1-4503-3016-9
Wevers, L. (2014) Persistent Functional Languages: Toward Functional Relational Databases. In: Proceedings of the 2014 SIGMOD PhD Symposium, 22 Jun 2014, Snowbird, Utah, USA. pp. 21-25. ACM. ISBN 978-1-4503-2924-8
Wevers, L. and te Brinke, S. (2014) Monte-Carlo Tree Search for Poly-Y. In: Proceedings of the 26th Benelux Conference on Artificial Intelligence, BNAIC 2014, 6-7 Nov 2014, Nijmegen, the Netherlands. pp. 119-127. Radboud Universiteit Nijmegen. ISSN 1568-7805
Wevers, L. and Hofstra, M and Tammens, M and Huisman, M. and van Keulen, M. (2014) Towards Online Relational Schema Transformations. In: Dutch-Belgian Database Day 2014, 17 Oct 2014, Antwerp, Belgium. 1. Dutch-Belgian Database Day. ISBN not assigned
Wevers, L. and Hofstra, M. and Tammens, M. and Huisman, M. and van Keulen, M. (2014) Towards Online and Transactional Relational Schema Transformations. Technical Report TR-CTIT-14-10, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Wu, Jichang and Broersma, H.J. and Kang, Haiyan (2014) Removable edges and chords of longest cycles in 3-connected graphs. Graphs and Combinatorics, 30 (3). pp. 743-753. ISSN 0911-0119 *** ISI Impact 0,480 ***
Yildiz, B.M. and Bockisch, C.M. and Rensink, A. and Akşit, M. (2014) A timed-automata approach for critical path detection in a soft real-time application. In: Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing, PDP 2014, Work In Progress Session, 12-14 Feb 2014, Turin, Italy. SEA-Johannes Kepler University Linz. ISBN 978-3-902457-39-4
Zaharieva-Stojanovski, M. and Huisman, M. (2014) Verifying Class Invariants in Concurrent Programs. Technical Report TR-CTIT-14-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Zaharieva-Stojanovski, M. and Huisman, M. (2014) Verifying class invariants in concurrent programs. In: Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014), 5-13 April, 2014, Grenoble, France. pp. 230-245. Lecture Notes in Computer Science 8411. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-54803-1
Zaharieva-Stojanovski, M. and Huisman, M. and Blom, S.C.C. (2014) Verifying Functional Behaviour of Concurrent Programs. In: FTfJP'14: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 28 Jul 2014, Uppsala, Sweden. 4:1-4:6. ACM. ISBN 978-1-4503-2866-1
Zambon, Eduardo and Rensink, A. (2014) Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. In: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014), 5-6 April 2014, Grenoble, France. Electronic Communications of the EASST 67. European Association of Software Science and Technology. ISSN 1863-2122
Zhang, Xiaoyan (2014) Algorithmic and structural aspects of graph partitioning and related problems. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 14-329 ISBN 978-90-365-3626-4
Zhang, Yanbo and Broersma, H.J. and Chen, Yaojun (2014) A remark on star-C4 and wheel-C4 Ramsey numbers. Electronic Journal of Graph Theory and Applications, 2 (2). pp. 110-114. ISSN 2338-2287

2013

Amighi, A. and Blom, S.C.C. and Huisman, M. (2013) Resource protection using atomics: patterns and verifications. Technical Report TR-CTIT-13-10, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Amighi, A. and Blom, S.C.C. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2013) Formal specifications for Java’s synchronisation classes. Technical Report TR-CTIT-13-18, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Arnold, F. and Belinfante, A.F.E. and Van der Berg, F.I. and Guck, D. and Stoelinga, M.I.A. (2013) DFTCalc: a tool for efficient fault tree analysis (extended version). Technical Report TR-CTIT-13-13, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Arnold, F. and Belinfante, A.F.E. and Van der Berg, F.I. and Guck, D. and Stoelinga, M.I.A. (2013) DFTCalc: a tool for efficient fault tree analysis. In: Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 24-27 Sep 2013, Toulouse, France. pp. 293-301. Lecture Notes in Computer Science 8153. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40793-2
Arnold, F. and Pieters, W. and Stoelinga, M.I.A. (2013) Quantitative penetration testing with item response theory (extended version). Technical Report TR-CTIT-13-20, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Arnold, F. and Pieters, W. and Stoelinga, M.I.A. (2013) Quantitative penetration testing with item response theory. In: 9th International Conference on Information Assurance and Security, IAS 2013, 4-6 Dec 2013, Gammarth, Tunisia. pp. 49-54. IEEE. ISBN 978-1-4799-2989-4
Baier, C. and Hahn, E.M. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2013) Model checking for performability. Mathematical Structures in Computer Science, 23 (Special Issue 04). pp. 751-795. ISSN 0960-1295 *** ISI Impact 0,758 ***
Bauer, D. and Broersma, H.J. and van den Heuvel, J. and Kahl, N. and Schmeichel , E. (2013) Toughness and vertex degrees. Journal of graph theory, 72 (2). pp. 209-219. ISSN 0364-9024 *** ISI Impact 0,796 ***
Belinfante, A.F.E. and Rensink, A. (2013) Publishing Your Prototype Tool on the Web: PUPTOL, a Framework. Technical Report TR-CTIT-13-15, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Berkholz, C. and Bonsma, P.S. and Grohe, M. (2013) Tight lower and upper bounds for the complexity of canonical colour refinement. In: Proceedings of the 21st Annual European Symposium on Algorithms (ESA 2013), 2-4 Sep 2013, Sophia Antipolis, France. pp. 145-156. Lecture Notes in Computer Science 8125. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40449-8
Blom, S.C.C. and Huisman, M. (2013) Witnessing the elimination of magic wands. Technical Report TR-CTIT-13-22, Centre for Telematics and Information Technology, University of Twente , Enschede . ISSN 1381-3625
Blom, S.C.C. and Huisman, M. and Mihelcic, M. (2013) Specification and verification of GPGPU programs. Technical Report TR-CTIT-13-21, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Blom, S.C.C. and Kiniry, J.R. and Huisman, M. (2013) How do developers use APIs? A case study in concurrency. In: Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013, 17-19 Jul 2013, Singapore. pp. 212-221. IEEE Computer Society. ISBN 978-0-7695-5007-7
Bodlaender, H.L. and Bonsma, P.S. and Lokshtanov, D. (2013) The fine details of fast dynamic programming over tree decompositions. In: Proceedings of the 8th International Symposium on Parameterized and Exact Computation (IPEC 2013), 4-6 Sep 2013, Sophia Antipolis, France. pp. 41-53. Lecture Notes in Computer Science 8246. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-03897-1
Bonsma, P.S. (2013) The complexity of rerouting shortest paths. Theoretical computer science, 510. pp. 1-12. ISSN 0304-3975 *** ISI Impact 0,643 ***
Boode, A.H. and Broersma, H.J. and Broenink, J.F. (2013) Improving the performance of periodic real-time processes: a graph theoretical approach. In: Communicating Process Architectures 2013, 25-28 Aug 2013, Edinburgh, UK. pp. 57-79. 35th WoTUG conference on concurrent and parallel programming. Open Channel Publishing Ltd. ISBN 978-0-9565409-7-3
Broersma, H.J. and Fiala, J. and Golovach, P.A. and Kaiser, T. and Paulusma, D. and Proskurowski, A. (2013) Linear-time algorithms for scattering number and hamilton-connectivity of interval graphs. In: 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2013, 19-21 Jun 2013, Lübeck, Germany. pp. 127-138. Lecture Notes in Computer Science 8165. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-45042-6
Broersma, H.J. and Fomin, F.V. and van 't Hof, P. and Paulusma, D. (2013) Exact algorithms for finding longest cycles in claw-free graphs. Algorithmica, 65 (1). pp. 129-145. ISSN 0178-4617 *** ISI Impact 0,795 ***
Broersma, H.J. and Fomin, V.F. and Golovach, P.A. and Paulusma, D. (2013) Three complexity results on coloring $P_k$-free graphs. European journal of combinatorics, 34 (3). pp. 609-619. ISSN 0195-6698 *** ISI Impact 0,650 ***
Broersma, H.J. and Golovach, P.A. and Patel, V. (2013) Tight complexity bounds for FPT subgraph problems parameterized by the clique-width. Theoretical computer science, 485. pp. 69-84. ISSN 0304-3975 *** ISI Impact 0,643 ***
Broersma, H.J. and Kratsch, D. and Woeginger, G.J. (2013) Fully decomposable split graphs. European journal of combinatorics, 34 (3). pp. 567-575. ISSN 0195-6698 *** ISI Impact 0,650 ***
Bruns, D. and Mostowski, W.I. and Ulbrich, M. (2013) Implementation-level verification of algorithms with KeY. International journal on software tools for technology transfer, 17 (6). pp. 729-744. ISSN 1433-2779
Cohen, A. and Donaldson, A.F. and Huisman, M. and Katoen, J.P. (2013) Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl reports 3(4), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany. ISSN 2192-5283
Drijfhout, W. and Oliver, J. and Wevers, L. and Hiemstra, D. (2013) Traitor: associating concepts using the world wide web. In: Proceedings of the 13th Dutch-Belgian Workshop on Information Retrieval, DIR 2013, 26 Apr 2013, Delft, The Netherlands. pp. 56-57. CEUR Workshop Proceedings 986. CEUR. ISSN 1613-0073
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2013) Modelling, Reduction and Analysis of Markov Automata (extended version). Technical Report arXiv:1305.7050, Cornell University, Ithaca, NY, USA. ISSN not assigned
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2013) Modelling, Reduction and Analysis of Markov Automata. In: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST), 27-30 Aug 2013, Buenos Aires, Argentina. pp. 55-71. Lecture Notes in Computer Science 8054. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40195-4
Gurov, D. and Huisman, M. (2013) Reducing Behavioural to Structural Properties of Programs with Procedures. Theoretical computer science, 480. pp. 69-103. ISSN 0304-3975 *** ISI Impact 0,643 ***
Hartmanns, A. and Timmer, M. (2013) On-the-fly confluence detection for statistical model checking (extended version). Technical Report TR-CTIT-13-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Hartmanns, A. and Timmer, M. (2013) On-the-fly confluence detection for statistical model checking. In: Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), 23-24 Mar 2013, Rome, Italy. 19. University of Trieste. ISBN not assigned
Hartmanns, A. and Timmer, M. (2013) On-the-Fly Confluence Detection for Statistical Model Checking. In: Proceedings of the 5th International Symposium on NASA Formal Methods (NFM 2013), 14-16 May 2013, Moffett Field, CA, USA. pp. 337-351. Lecture Notes in Computer Science 7871. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-38087-7
Huisman, M. and Jobstmann, B. and Schaefer, I. and Stoelinga, M.I.A. (2013) Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511). Dagstuhl Reports, 2 (12). pp. 64-88. ISSN 2192-5283
Huisman, M. and Mihelcic, M. (2013) Specification and Verification of GPGPU programs using Permission-based Separation logic. Technical Report TR-CTIT-13-12, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Katoen, J.P. (2013) Model checking meets probability: a gentle introduction. In: Engineering Dependable Software Systems. NATO Science for Peace and Security Series - D: Information and Communication Security 34. IOS Press, Amsterdam, pp. 177-205. ISSN 1874-6268 ISBN 978-1-61499-206-6
Katoen, J.P. (2013) Concurrency meets probability: theory and practice (abstract). (Invited) In: 24th International Conference on Concurrency Theory, CONCUR 2013, 27-30 Aug 2013, Buenos Aires, Argentina. pp. 44-45. Lecture Notes in Computer Science 8052. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40183-1
Katoen, J.P. and Peled, D. (2013) Taming confusion for modeling and implementing probabilistic concurrent systems. In: Proceedings of the 22nd European Symposium on Programming (ESOP 2013), 16-24 Mar 2013, Rome, Italy. pp. 411-430. Lecture Notes in Computer Science 7792. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-37035-9
Laarman, A.W. and Faragó, D. (2013) Improved On-The-Fly Livelock Detection: Combining Partial Order Reduction and Parallelism for DFSFIFO In: Proceedings of the Fifth NASA Formal Methods Symposium, NFM 2013, 14-16 May 2013, Moffett Field, CA, USA. Lecture Notes in Computer Science . Springer Verlag.
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
Laarman, A.W. and Pater, E. and van de Pol, J.C. and Weber, Michael (2013) Guard-based Partial-Order Reduction. In: Proceedings of the 20th International SPIN Symposium on Model Checking of Software, SPIN 2013, 8-9 July 2013, Stony Brook, NY, USA. pp. 227-245. Lecture Notes in Computer Science . Springer Verlag. ISBN 978-3-642-39175-0
Li, Binlong and Broersma, H.J. and Zhang, Shenggui (2013) Forbidden subgraph pairs for traceability of block-chains. Electronic journal of graph theory and applications, 1 (1). pp. 1-10. ISSN 2338-2287
Li, MingChu and Yuan, Lifeng and Jiang, He and Liu, Bing and Broersma, H.J. (2013) Tank-ring factors in supereulerian claw-free graphs. Graphs and combinatorics, 29 (3). pp. 599-608. ISSN 0911-0119 *** ISI Impact 0,480 ***
Mostowski, W.I. (2013) A case study in formal verification using multiple explicit heaps. In: Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, 3-6 June 2013, Florence, Italy. pp. 20-34. Lecture Notes in Computer Science 7892. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-38591-9
Ngo, Minh Tri and Huisman, M. (2013) Quantitative Security Analysis for Multi-threaded Programs. In: Proceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), 22-23 Mar 2013, Rome, Italy. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association.
Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2013) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. In: Proceedings of the 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013, 27 Feb - 01 Mar 2013, Paris, France. pp. 107-122. Lecture Notes in Computer Science (7781). Springer Verlag. ISBN 978-3-642-36562-1
Scholma, J. and Kerkhofs, J. and Schivo, S. and Langerak, R. and van der Vet, P.E. and Karperien, H.B.J. and van de Pol, J.C. and Geris, L. and Post, J.N. (2013) Mathematical modeling of signaling pathways in osteoarthritis. In: 2013 Osteoarthritis Research Society International (OARSI) World Congress, 18-21 Apr 2013, Philadelphia, USA. S123-S123. Elsevier. ISSN 1063-4584
Smid, W.B.T. and Rensink, A. (2013) Class diagram restructuring with GROOVE. In: Proceedings Sixth Transformation Tool Contest, 19-20 Jun 2013, Budapest. Hungary. pp. 83-87. Electronic Proceedings in Theoretical Computer Science 135. arXiv.org. ISSN 2075-2180
Stoelinga, M.I.A. and Pieters, W. (2013) Attack navigator vindt en verhelpt zwakke plekken. Bits en chips, 4. ISSN 1879-6443
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent Quiescent Transition Systems (extended version). Technical Report TR-CTIT-13-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent quiescent transition systems. In: Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013), 18-19 June 2013, Budapest, Hungary. pp. 214-231. Lecture Notes in Computer Science 7942. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-38915-3
Timmer, M. (2013) Efficient Modelling, Generation and Analysis of Markov Automata. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-261 ISBN 978-90-365-0592-5
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence reduction for Markov automata. In: Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), 23-24 Mar 2013, Rome, Italy. 18. University of Trieste. ISBN not assigned
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence reduction for Markov automata (extended version). Technical Report TR-CTIT-13-14, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence Reduction for Markov Automata. In: Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 29-31 Aug 2013, Buenos Aires, Argentina. pp. 243-257. Lecture Notes in Computer Science 8053. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40228-9
Verhoef, N.C. and Timmer, M. (2013) Lesson study - deel 3; ervaringen bij de introductie van periodieke bewegingen. Euclides, 88 (4). pp. 173-176. ISSN 0165-0394
Wevers, L. and Huisman, M. and de Keijzer, A. (2013) Parallel transaction processing in functional languages, towards practical functional databases. Technical Report TR-CTIT-13-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Yin, Haihan (2013) Defusing the Debugging Scandal - Dedicated Debugging Technologies for Advanced Dispatching Languages. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 10-170 ISBN 978-90-365-3569-4
Zambon, Eduardo (2013) Abstract Graph Transformation - Theory and Practice. PhD thesis, University of Twente. CTIT Ph.D.-thesis Series No. 12-239 ISBN 978-90-365-3477-2

2012

Stoelinga, M.I.A. and Pinger, R., ed. (2012) Proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science 7437. Springer Verlag, London. ISSN 0302-9743 ISBN 978-3-642-32468-0
Stoelinga, M.I.A. and Timmer, M., ed. (2012) Proceedings of the 17th Dutch Testing Day: Testing Evolvability. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 0929-0672
Ahrendt, W. and Mostowski, W.I. and Paganelli, G. (2012) Real-time Java API Specifications for High Coverage Test Generation. In: Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012), 24-26 Oct 2012, Copenhagen, Denmark. pp. 145-154. ACM. ISBN 978-1-4503-1688-0
Amighi, A. and Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M. (2012) The VerCors Project: Setting Up Basecamp. In: Sixth Workshop Programming Languages meets Program Verification (PLPV 2012), 24 Jan 2012, Philadelphia, USA. pp. 71-82. ACM. ISBN 978-1-4503-1125-0
Amighi, A. and de Carvalho Gomes, P. and Gurov, D. and Huisman, M. (2012) Sound Control-Flow Graph Extraction for Java Programs with Exceptions. In: 10th International Conference on Software Engineering and Formal Methods (SEFM 2012), 1-5 Oct 2012, Thessaloniki, Greece. pp. 33-47. Lecture Notes in Computer Science 7504. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33825-0
Bauer, D. and Broersma, H.J. and van den Heuvel, J. and Kahl, N. and Schmeichel, E. (2012) Degree sequences and the existence of k-factors. Graphs and combinatorics, 28 (2). pp. 149-166. ISSN 0911-0119 *** ISI Impact 0,480 ***
van der Berg, F.I. and Laarman, A.W. (2012) SpinS: Extending LTSmin with Promela through SpinJa. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 Sept. 2012, London, UK. pp. 95-105. Electronic Notes in Theoretical Computer Science 296. Elsevier. ISSN 1571-0661
Boneva, I.B. and Kreiker, J. and Kurban, M.E. and Rensink, A. and Zambon, Eduardo (2012) Graph abstraction and abstract graph transformations (Amended version). Technical Report TR-CTIT-12-26, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Bonsma, P.S. and Broersma, H.J. and Patel, V. and Pyatkin, A. (2012) The complexity of finding uniform sparsest cuts in various graph classes. Journal of discrete algorithms, 14. pp. 136-149. ISSN 1570-8667
Bormer, T. and Brockschmidt, M. and Distefano, D. and Ernst, G. and Filliatre, J.-C. and Grigore, R. and Huisman, M. and Klebanov, V. and Marche, C. and Monahan, R. and Mostowski, W.I. and Poiikarpova, N. and Scheben, C. and Schellhorn, G. and Tofan, B. and Tschannen, J. and Ulbrich, M. (2012) The COST IC0701 Verification Competition 2011. In: International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, 5-7 Oct 2011, Turin, Italy. pp. 3-21. Lecture Notes in Computer Science 7421. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-31761-3
Broersma, H.J. and Golovach, P.A. and Patel, V. (2012) Tight complexity bounds for FPT subgraph problems parameterized by clique-width. In: 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, 6-8 Sept 2011, Saarbrücken, Germany. pp. 207-218. Lecture Notes in Computer Science 7112. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-28049-8
Broersma, H.J. and Golovach, P.A. and Paulusma, D. and Song, J. (2012) Determining the chromatic number of triangle-free 2P3-free graphs in polynomial time. Theoretical computer science, 423. pp. 1-10. ISSN 0304-3975 *** ISI Impact 0,643 ***
Broersma, H.J. and Golovach, P.A. and Paulusma, D. and Song, Jian (2012) Updating the complexity status of coloring graphs without a fixed induced linear forest. Theoretical computer science, 414 (1). pp. 9-19. ISSN 0304-3975 *** ISI Impact 0,643 ***
Broersma, H.J. and Gomez, F. and Miller, J.F. and Petty, M. and Tufte, G. (2012) Nascence project: nanoscale engineering for novel computation using evolution. International journal of unconventional computing, 8 (4). pp. 313-317. ISSN 1548-7199 *** ISI Impact 0,739 ***
Broersma, H.J. and Ryjáček, Z. and Vrána, P. (2012) How many conjectures can you stand: a survey. Graphs and combinatorics, 28 (1). pp. 57-75. ISSN 0911-0119 *** ISI Impact 0,480 ***
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
van Dijk, T. and Laarman, A.W. and van de Pol, J.C. (2012) Multi-Core BDD Operations for Symbolic Reachability. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 Sept. 2012, London, UK. pp. 127-143. Electronic Notes in Theoretical Computer Science 296. Elsevier. ISSN 2075-2180
van Dijk, T. and Laarman, A.W. and van de Pol, J.C. (2012) Multi-core and/or symbolic model checking. (Invited) In: 12th International Workshop on Automated Verification of Critical Systems, AVoCS 2012, 18-20 Sep 2012, Bamberg, Germany. 773:1-773:7. Electronic Communications of the EASST 53. EASST. ISSN 1863-2122
Esteve, M.A. and Katoen, J.P. and Nguyen, Viet Yen and Postma, B. and Yushstein, Y. (2012) Formal correctness, safety, dependability, and performance analysis of a satellite. In: 34th International Conference on Software Engineering, ICSE 2012, 2-9 June 2012, Zürich, Switzerland. pp. 1022-1031. ACM Proceedings - International Conference on Software Engineering. IEEE Computer Society. ISSN 0270-5257 ISBN 978-1-4673-1066-6
Evangelista, S. and Laarman, A.W. and Petrucci, L. and van de Pol, J.C. (2012) Improved Multi-Core Nested Depth-First Search. In: Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, 3-6 Oct 2012, Thiruvananthapuram (Trivandrum), Kerala. pp. 269-283. Lecture Notes in Computer Science 7561. Springer Verlag. ISBN 978-3-642-33386-6
Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V. (2012) Modelling and analysis using GROOVE. International journal on software tools for technology transfer, 14 (1). pp. 15-40. ISSN 1433-2779
Ghamarian, A.H. and Rensink, A. (2012) Graph Passing in Graph Transformation. Technical Report TR-CTIT-12-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ghamarian, A.H. and Rensink, A. (2012) Generalised compositionality in graph transformation. Technical Report TR-CTIT-12-17, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ghamarian, A.H. and Rensink, A. (2012) Generalised compositionality in graph transformation. In: 6th International Conference on Graph Transformation (ICGT 2012), 24-29 Sep 2012, Bremen, Germany. pp. 234-248. Lecture Notes in Computer Science 7562. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33653-9
Ghamarian, A.H. and Rensink, A. (2012) Graph passing in graph transformation. In: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012, 24-25 Mar 2012, Tallinn, Estonia. 723:1-723:14. Electronic Communications of the EASST 47. European Association for Software Science and Technology. ISSN 1863-2122
de Groote, E. and Kuper, J. and Broersma, H.J. and Smit, G.J.M. (2012) Max-plus algebraic throughput analysis of synchronous dataflow graphs. In: 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) , 5-8 Sept 2012, Cesme, Izmir, Turkey. pp. 29-38. IEEE Computer Society. ISBN 978-1-4673-2451-9
Guck, D. (2012) Quantitative Analysis of Markov Automata. Master's thesis, RWTH Aachen University.
Guck, D. and Han, Tingting and Katoen, J.P. and Neuhausser, M. (2012) Quantitative timed analysis of interactive Markov chains. In: 4th International Symposium on NASA Formal Methods, NFM 2012, 3-5 Apr 2012, Norfolk, VA, USA. pp. 8-23. Lecture Notes in Computer Science 7226. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-28890-6
Hansen, H. and Timmer, M. (2012) Why Confluence is More Powerful than Ample Sets in Probabilistic and Non-Probabilistic Branching Time. In: 10th Workshop on Quantitative Aspects of Programming Languages (QAPL 2012), 31 March - 1 April 2012, Tallinn, Estonia. Istituto di Scienza e Tecnologie dell'Informazione. ISBN not assigned
Huisman, M. and Klebanov, V. and Monahan, R. (2012) On the organisation of program verification competitions. In: 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012), 30 June 2012, Manchester, UK. pp. 50-59. CEUR-WS Proceedings 873. Sun SITE Central Europe. ISSN 1613-0073
Huisman, M. and Ngo, Minh Tri (2012) Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. In: 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011), Revised Selected Papers, October 5-7, 2011, Turin, Italy. pp. 178-195. Lecture Notes in Computer Science 7421. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-31761-3
Jalali, A. and Ghamarian, A.H. and Rensink, A. (2012) Incremental pattern matching for regular expressions. In: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012, 24-25 Mar 2012, Tallinn, Estonia. 736:1-736:12. Electronic Communications of the EASST 47. European Association for Software Science and Technology. ISSN 1863-2122
Kant, G. and van de Pol, J.C. (2012) Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games. In: First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2012), 1 Apr 2012, Tallinn, Estonia. pp. 50-65. Electronic Proceedings in Theoretical Computer Science 99. EPTCS. ISSN 2075-2180
Kastenberg, H. and Rensink, A. (2012) Graph Attribution Through Sub-Graphs. Technical Report TR-CTIT-12-27, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Katoen, J.P. (2012) GSPNs Revisited: Simple Semantics and New Analysis Algorithms. (Invited) In: 12th International Conference on Application of Concurrency to System Design, ACSD 2012, 27-29 June 2012, Hamburg, Germany. pp. 6-11. IEEE Computer Society. ISSN 1550-4808 ISBN 978-1-4673-1687-3
Katoen, J.P. (2012) Model checking: one can do much more than you think! (Invited) In: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, April 20-22, 2011, Teheran, Iran. pp. 1-14. Lecture Notes in Computer Science 7141. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-29319-1
Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2012) A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science, 413 (1). pp. 36-57. ISSN 0304-3975 *** ISI Impact 0,643 ***
Ketema, J. (2012) Reinterpreting Compression in Infinitary Rewriting. In: Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), 30 May - 01 Jun 2012, Nagoya, Japan. pp. 209-224. Leibniz International Proceedings in Informatics (LIPIcs) 15. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISSN 1868-8969 ISBN 978-3-939897-38-5
Ketema, J. and Simonsen, J.G. (2012) Characterizing Languages by Normalization and Termination in String Rewriting. In: Proceedings of the 16th International Conference on Developments in Language Theory (DLT 2012), 14-17 Aug 2012, Taipei, Taiwan. pp. 459-464. Lecture Notes in Computer Science 7410. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-31652-4
Kuijper, W. (2012) Compositional Synthesis of Safety Controllers. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-243 ISBN 978-90-365-3487-1
Li, Binlong (2012) Subgraph conditions for Hamiltonian properties of graphs. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-284 ISBN 978-90-365-3403-1
Li, Binlong and Broersma, H.J. and Zhang, Shenggui (2012) Pairs of forbidden induced subgraphs for homogeneously traceable graphs. Discrete mathematics, 312 (18). pp. 2800-2818. ISSN 0012-365X *** ISI Impact 0,600 ***
de Mol, M.J. and Rensink, A. and Hunt, J.J. (2012) Graph Transforming Java Data. In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), 26-29 Mar 2012, Talinn, Estonia. pp. 209-223. Lecture Notes in Computer Science 7212. Springer Verlag. ISBN 978-3-642-28872-2
Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2012) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. Technical Report TR-CTIT-13-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Polderman, J.W. and Langerak, R. (2012) Stability and robustness of planar switching linear systems. Systems and control letters, 61 (9). pp. 904-910. ISSN 0167-6911 *** ISI Impact 1,908 ***
Polenkova, S.V. and Polderman, J.W. and Langerak, R. (2012) Stability of reset systems. In: Proceedings of the 20th International Symposium on Mathematical Theory of Networks and Systems, 9-13 Jul 2012, Melbourne, Australia. 0074. Think Business Events. ISBN 978-0-646-58062-3
Rensink, A. and Rozenberg, G. and Schürr, A. (2012) Recent Developments in the Theory of Graph Transformation, 2010. Fundamenta Informaticae, 118 (1-2). v-vii. ISSN 0169-2968 *** ISI Impact 0,658 ***
Rensink, A. and Zambon, Eduardo (2012) Pattern-Based Graph Abstraction. In: International Conference on Graph Transformation (ICGT 2012), 24-29 Sep 2012, Bremen, Germany. pp. 66-80. Lecture Notes in Computer Science 7562. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33653-9
Schivo, S. and Scholma, J. and Wanders, B. and Urquidi Camacho, R.A. and van der Vet, P.E. and Karperien, H.B.J. and Langerak, R. and van de Pol, J.C. and Post, J.N. (2012) Modelling biological pathway dynamics with Timed Automata. In: 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE 2012), 11-13 Nov 2012, Larnaca, Cyprus. pp. 447-453. IEEE Computer Society. ISBN 978-1-4673-4358-9
Stoelinga, M.I.A. (2012) Trends in testen: modellen en verhalen. Bits en chips, 10. pp. 16-17. ISSN 1879-6443
Stoelinga, M.I.A. and Timmer, M. (2012) Preface. In: Proceedings of the 17th Dutch Testing Day: Testing Evolvability, 29 Nov 2011, Enschede, The Netherlands. pp. 3-3. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente. ISSN 0929-0672
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). Technical Report TR-CTIT-12-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), 25 Mar 2012, Tallinn, Estonia. pp. 73-87. Electronic Proceedings in Theoretical Computer Science 80. Open Publishing Association. ISSN 2075-2180
Timmer, M. and Jeurnink, G.A.M. and Verhoef, N.C. (2012) Analytische meetkunde door een synthetische bril. In: Conferentiegids van de 18e Nationale Wiskunde Dagen, 3-4 Feb 2012, Noordwijkerhout. pp. 44-44. Freudenthal Instituut. ISBN not assigned
Timmer, M. and Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. (2012) Efficient Modelling and Generation of Markov Automata. In: 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012, 31 March - 1 April 2012, Tallinn, Estonia. Istituto di Scienza e Tecnologie dell'Informazione. ISBN not assigned
Timmer, M. and Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. (2012) Efficient Modelling and Generation of Markov Automata (extended version). Technical Report TR-CTIT-12-16, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Timmer, M. and Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. (2012) Efficient Modelling and Generation of Markov Automata. In: Proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, 3-8 Sep 2012, Newcastle upon Tyne, United Kingdom. pp. 364-379. Advanced Research in Computing and Software Science, Lecture Notes in Computer Science (ARCoSS/LNCS) 7454. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-32939-5
Timmer, M. and Verhoef, N.C. (2012) Analytische meetkunde door een synthetische bril. Nieuwe Wiskrant, 31 (4). pp. 13-18. ISSN 0928-7167
Timmer, M. and Verhoef, N.C. (2012) Increasing insightful thinking in analytic geometry. Nieuw Archief voor Wiskunde, 5/13 (3). pp. 217-219. ISSN 0028-9825
Yildiz, B.M. and Tekinerdogan, B. and Cetin, S. (2012) A tool framework for deriving the application architecture for global software development projects. (Invited) In: Proceedings of the 7th IEEE International Conference on Global Software Engineering, ICGSE 2012, 27-30 Aug 2012 , Porto Alegre, Brazil. pp. 94-103. IEEE Computer Society. ISBN 978-1-4673-2357-4
Zaharieva-Stojanovski, M. and Huisman, M. and Blom, S.C.C. (2012) A history of BlockingQueues. In: Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2012), 19 Sep 2012, Bertinoro, Italy. pp. 31-35. Electronic Proceedings in Theoretical Computer Science 94. EPTCS. ISSN 2075-2180
Zambon, Eduardo and Rensink, A. (2012) Graph Subsumption in Abstract State Space Exploration. In: Proceedings of First Workshop on Graph Inspection and Traversal Engineering (GRAPHite 2012), 1 Apr 2012, Tallinn, Estonia. pp. 35-49. Electronic Proceedings in Theoretical Computer Science 99. Open Publishing Association. ISSN 2075-2180
Zand, P. and Chatterjea, S. and Ketema, J. and Havinga, P.J.M. (2012) A Distributed Scheduling Algorithm for Real-time (D-SAR) Industrial Wireless Sensor and Actuator Networks. In: Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2012, 17-21 Sep 2012, Krakow, Poland. pp. 1-4. IEEE Industrial Electronics Society. ISSN 1946-0740 ISBN 978-1-4673-4737-2

2011

Aceto, L. and Chen, Taolue and Ingolfsdottir, A. and Luttik, B. and van de Pol, J.C. (2011) On the axiomatizability of priority II. Theoretical computer science, 412 (28). pp. 3035-3044. ISSN 0304-3975 *** ISI Impact 0,643 ***
Adolfsen, M. (2011) Industrial Validation of Test Coverage Quality. Master's thesis, University of Twente.
Alberink, M. and Muijlwijk, H. and Timmer, M. (2011) De sinus: van meetkundige definitie naar analytisch begrip. Euclides, 86 (6). pp. 250-252. ISSN 0165-0394
Amighi, A. and de Carvalho Gomes, P. and Huisman, M. (2011) Provably Correct Control-Flow Graphs from Java Programs with Exceptions. In: Papers the of 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS'11, 5-7 Oct 2011, Turin, Italy. pp. 31-48. Karlsruhe Reports in Informatics (26). Karlsruhe Institute of Technology. ISSN 2190-4782
Barbot, B. and Chen, Taolue and Han, Tingting and Katoen, J.P. and Mereacre, A. (2011) Efficient CTMC Model Checking of Linear Real-Time Objectives. In: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011), 26 March - 3 April 2011, Saarbrücken, Germany. pp. 128-142. Lecture Notes in Computer Science 6605. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-19834-2
Bergstra, J.A. and van de Pol, J.C. (2011) A Calculus for Four-Valued Sequential Logic. Theoretical computer science, 412 (28). pp. 3122-3128. ISSN 0304-3975 *** ISI Impact 0,643 ***
van der Bijl, H.M. (2011) On changing models in Model-Based Testing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-198 ISBN 978-90-365-3195-5
Bonsma, P.S. and Broersma, H.J. and Patel, V. and Pyatkin, A. (2011) The complexity status of problems related to sparsest cuts. In: Proceedings of the 21st International Workshop on Combinatorial Algorithms, IWOCA 2010, 26-28 July 2010, London, UK. pp. 125-135. Lecture Notes in Computer Science 6460. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-19221-0
Chen, Taolue and Han, Tingting and Katoen, J.P. and Mereacre, Alexandru (2011) Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Logical Methods in Computer Science, 7 (1). 12:1-12:34. ISSN 1860-5974 *** ISI Impact 0,569 ***
Galvao Lourenco da Silva, I. and Zambon, Eduardo and Rensink, A. and Wevers, L. and Akşit, M. (2011) Knowledge-based Graph Exploration Analysis. In: Fourth International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE 2011, 4-7 Oct 2011, Budapest, Hungary. pp. 105-120. Lecture Notes in Computer Science 7233. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-34175-5
Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo (2011) Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case. In: Proceedings of the Fifth Transformation Tool Contest (TTC 2011), 29-30 June 2011, Zurich, Switzerland. pp. 215-222. Electronic Proceedings in Theoretical Computer Science (EPTCS) 74. Open Publishing Association. ISSN 2075-2180
Grathwohl, N.B.B. and Ketema, J. and Pallesen, J.D. and Simonsen, J.G. (2011) Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA'11), 30 May - 1 June 2011, Novi Sad, Serbia. pp. 61-70. Leibniz International Proceedings in Informatics (LIPIcs) 10. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. ISSN 1868-8969 ISBN 978-3-939897-30-9
Haack, C. and Huisman, M. and Hurlin, C. (2011) Permission-Based Separation Logic for Multithreaded Java Programs. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 15. pp. 13-23. ISSN not assigned
Hansen, H. and Timmer, M. (2011) Confluence versus Ample Sets in Probabilistic Branching Time. In: Proceedings of the 3rd Young Researchers Workshop on Concurrency Theory, 10 Sep 2011, Aachen, Germany. École normale supérieure de Cachan. ISBN not assigned
Hansen, H.H. and Ketema, J. and Luttik, S.P. and Mousavi, M.R. and van de Pol, J.C. and dos Santos, O.M. (2011) Automated Verification of Executable UML Models. In: Proceedings of the 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010. Revised Papers, 29 Nov - 01 Dec 2010, Graz, Austria. pp. 225-250. Lecture Notes in Computer Science 6957. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-25270-9
Huisman, M. and Blondeel, H.-C. (2011) Model-checking Secure Information Flow for Multi-Threaded Programs. In: Proceedings of the Joint Workshop on Theory of Security and Applications, TOSCA 2011, 31 March - 1 April 2011, Saarbruecken, Germany. pp. 148-165. Lecture Notes in Computer Science 6993. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-27374-2
Huisman, M. and Ngo, Minh Tri (2011) Scheduler-specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. Technical Report TR-CTIT-11-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Katoen, J.P. and Zapreev, I.S. and Hahn, E.M. and Hermanns, H. and Jansen, D.N. (2011) The ins and outs of the probabilistic model checker MRMC. Performance evaluation, 68 (2). pp. 90-104. ISSN 0166-5316 *** ISI Impact 0,944 ***
Ketema, J. (2011) Counterexamples in Infinitary Rewriting with Non-Fully-Extended Rules. Information processing letters, 111 (13). pp. 642-646. ISSN 0020-0190 *** ISI Impact 0,605 ***
Ketema, J. and Simonsen, J.G. (2011) Infinitary Combinatory Reduction Systems. Information and computation, 209 (6). pp. 893-926. ISSN 0890-5401 *** ISI Impact 0,873 ***
Klink, D. and Remke, A.K.I. and Haverkort, B.R.H.M. and Katoen, J.P. (2011) Time-bounded reachability in tree-structured QBDs by abstraction. Performance evaluation, 68 (2). pp. 105-125. ISSN 0166-5316 *** ISI Impact 0,944 ***
Laarman, A.W. and Langerak, R. and van de Pol, J.C. and Weber, Michael and Wijs, A. (2011) Multi-Core Nested Depth-First Search. In: Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, 11-14 Oct 2011, Tapei, Taiwan. pp. 321-335. Lecture Notes in Computer Science 6996. Springer Verlag. ISBN 978-3-642-24372-1
Laarman, A.W. and van de Pol, J.C. (2011) Variations on Multi-Core Nested Depth-First Search. (Invited) In: Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, 14 Jul 2011, Snowbird, Utah. pp. 13-28. Electronic Proceedings in Theoretical Computer Science 72. EPTCS. ISSN 2075-2180
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Parallel Recursive State Compression for Free. Technical Report arXiv:1104.3119, ArXiv, Ithaca, NY. ISSN not assigned
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Multi-Core LTSmin: Marrying Modularity and Scalability. In: Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, 18-20 Apr 2011, Pasadena, CA, USA. pp. 506-511. Lecture Notes in Computer Science 6617. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-20397-8
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Parallel Recursive State Compression for Free. In: Proceedings of the 18th International SPIN Workshop, SPIN 2011, 14-15 Jul 2011, Snow Bird, Utah. pp. 38-56. Lecture Notes in Computer Science 6823. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-22305-1
Li, MingChu and Chen, Xiaodong and Broersma, H.J. (2011) Hamiltonian connectedness in 4-connected hourglass-free claw-free graphs. Journal of graph theory, 68 (4). pp. 285-298. ISSN 0364-9024 *** ISI Impact 0,796 ***
de Mol, M.J. and Rensink, A. (2011) Formal Semantics of the CHART Transformation Language. Technical Report TR-CTIT-12-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rebelo, H. and Coelho, R. and Lima, R. and Leavens, G.T. and Huisman, M. and Mota, A. and Castor, F. (2011) On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach. In: Proceedings of the 13th Workshop on Formal Techniques for Java-like Programs, FTfJP 2011, 26th of July 2011, Lancaster, UK. 7:1-7:6. ACM. ISBN 978-1-4503-0893-9
Rensink, A. (2011) Graven in Software. Universiteit Twente, Enschede. ISBN not assigned
Rensink, A. (2011) Modelleren is het Nieuwe Programmeren. In: i&i conferentie, 23-24 Nov 2011, Lunteren, Nederland. Vereniging i&i . ISBN not assigned
Rensink, A. and Zambon, Eduardo (2011) Neighbourhood Abstraction in GROOVE. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, NL. pp. 1-13. Electronic Communications of the EASST 32. European Association for the Study of Science and Technology. ISSN 1863-2122
Rensink, A. and Zambon, Eduardo (2011) Solving the TTC 2011 Compiler Optimization Case with GROOVE. In: Proceedings of the Fifth Transformation Tool Contest (TTC 2011), 29-30 June 2011, Zurich, Switzerland. pp. 126-130. Electronic Proceedings in Theoretical Computer Science (EPTCS) 74. Open Publishing Association. ISSN 2075-2180
Sijtema, M. and Stoelinga, M.I.A. and Belinfante, A.F.E. and Marinelli, L. (2011) Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. In: 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 29-30 Aug 2011, Trento, Italy. pp. 117-133. Lecture Notes in Computer Science 6959. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-24430-8
Soleimanifard, S. and Gurov, D. and Huisman, M. (2011) ProMoVer: Modular Verification of Temporal Safety Properties. In: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), 14-18 Nov 2011, Montevideo, Uruguay. pp. 366-381. Lecture Notes in Computer Science 7041. Springer Verlag. ISBN 978-3-642-24690-6
Stoelinga, M.I.A. (2011) Model- en risicogebaseerd testen voeren boventoon op Nederlandse Testdag. Bits en chips, 113 (15). pp. 14-15. ISSN 1879-6443
Stoelinga, M.I.A. and Timmer, M. (2011) Efficiënt zoeken in grote tekstbestanden. Nieuwe Wiskrant, 30 (4). pp. 35-38. ISSN 0928-7167
Timmer, M. (2011) SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes. In: Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, 5-8 Sep 2011, Aachen, Germany. pp. 149-150. IEEE Computer Society. ISBN 978-1-4577-0973-9
Timmer, M. and Brinksma, H. and Stoelinga, M.I.A. (2011) Model-Based Testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series D: Information and Communication Security 30. IOS Press, Amsterdam, pp. 1-32. ISSN 1874-6268 ISBN 978-1-60750-710-9
Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C. (2011) Confluence Reduction for Probabilistic Systems. In: Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 Mar - 3 Apr 2011, Saarbrücken, Germany. pp. 311-325. Lecture Notes in Computer Science 6605. Springer Verlag. ISBN 978-3-642-19834-2
van der Vegt, S. and Laarman, A.W. (2011) A Parallel Compact Hash Table. In: Proceedings of Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, 14-16 Oct 2011, Lednice, Czech Republic. pp. 191-204. Lecture Notes in Computer Science 7119. Springer Verlag. ISBN 978-3-642-25929-6
Yildiz, B.M. and Tekinerdogan, B. (2011) Meta-Model for global software development to support portability and interoperability. In: Proceedings of the Sixth International Conference on Software Engineering Advances, ICSEA 2011, 23-29 Oct 2011, Barcelona, Spain. pp. 98-103. IARIA. ISBN 978-1-61208-165-6
Yildiz, B.M. and Tekinerdogan, B. (2011) Architectural viewpoints for global software development. (Invited) In: Proceedings of the 6th IEEE International Conference on Global Software Engineering Workshops, ICGSEW 2011, 15-18 Aug 2011 , Helsinki, Finland. pp. 9-16. IEEE Computer Society. ISBN 978-1-4577-1839-7
Zambon, Eduardo and Rensink, A. (2011) Using Graph Transformations and Graph Abstractions for Software Verification. Electronic Communications of the EASST, 38. pp. 1-13. ISSN 1863-2122
Zand, P. and Chatterjea, S. and Ketema, J. and Havinga, P.J.M. (2011) D-SAR: A Distributed Scheduling Algorithm for Real-time, Closed-Loop Control in Industrial Wireless Sensor and Actuator Networks. Technical Report TR-CTIT-11-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2010

Ehrig, H. and Rensink, A. and Rozenberg, G. and Schürr, A., ed. (2010) Graph Transformations: 5th International Conference. Lecture Notes in Computer Science 6372. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-15927-5
Mazanek, S. and Rensink, A. and Van Gorp, P., ed. (2010) Transformation Tool Contest 2010, 1-2 July 2010, Malaga, Spain. CTIT Workshop Proceedings Series 10-03. Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1574-0846
Baier, C. and Cloth, L. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2010) Performability assessment by model checking of Markov reward models. Formal methods in system design, 36 (1). pp. 1-36. ISSN 0925-9856 *** ISI Impact 1,132 ***
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2010) Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53 (9). pp. 76-85. ISSN 0001-0782 *** ISI Impact 3,301 ***
Ballarini, P. and Barnat, J. and Weber, Michael (2010) Preface. In: Proceedings of the 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC) and the 2nd International Workshop on High Performance Computational Systems Biology (HiBi), 30 Sep - 1 Oct 2010, Enschede, the Netherlands. vii-viii. IEEE Computer Society. ISBN 978-0-7695-4265-2
Belinfante, A.F.E. (2010) JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In: Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, 22-25 March 2010, Paphos, Cyprus. pp. 266-270. Lecture Notes in Computer Science 6015. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-12001-5
Blom, S.C.C. and Kant, G. and Rensink, A. (2010) Distributed Graph-Based State Space Generation. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, The Netherlands. 8. Electronic Communications of the EASST 32. European Association of Software Science and Technology (EASST). ISSN 1863-2122
Blom, S.C.C. and van de Pol, J.C. and Weber, Michael (2010) LTSmin: Distributed and Symbolic Reachability. In: Computer Aided Verification, 15-19 Jul 2010, Edinburgh. pp. 354-359. Lecture Notes in Computer Science 6174. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-14294-9
Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2010) A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Transactions on Dependable and Secure Computing, 7 (2). pp. 128-143. ISSN 1545-5971 *** ISI Impact 1,592 ***
Corradini, A. and de Mol, M.J. (2010) ICGT 2010 Doctoral Symposium [Preface]. In: Proceedings of the Fifth Internal Conference on Graph Transformations (ICGT 2010), 27 Sep - 02 Oct 2010, Enschede, Netherlands. pp. 379-380. Lecture Notes in Computer Science 6372. Springer Verlag. ISBN 978-3-642-15927-5
Ehrig, H. and Rensink, A. and Rozenberg, G. and Schürr, A. (2010) Graph Transformationcs (ICGT 2010) - Preface. In: International Conference on Graph Transformationcs (ICGT 2010), 27 Sep - 2 Oct 2010, Enschede. V-VI. Lecture Notes in Computer Science 6372. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15927-5
Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V. (2010) Modelling and Analysis Using GROOVE. Technical Report TR-CTIT-10-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ghamarian, A.H. and Rensink, A. and Jalali, A. (2010) Incremental Pattern Matching in Graph-Based State Space Exploration. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sept 2010, Enschede, The Netherlands. pp. 144-154. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Hansen, H.H. and Ketema, J. and Luttik, S.P. and Mousavi, M.R. and van de Pol, J.C. (2010) Towards Model Checking Executable UML Specifications in mCRL2. Innovations in Systems and Software Engineering, 6 (1-2). pp. 83-90. ISSN 1614-5046
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
Haverkort, B.R.H.M. and Kuntz, G.W.M. and Remke, A.K.I. and Roolvink, S. and Stoelinga, M.I.A. (2010) Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. pp. 419-424. IEEE Computer Society. ISBN 978-1-4244-7499-8
Hüksbusch, M. and König, B. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2010) Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In: 8th International Conference on Integrated Formal Methods, IFM 2010, 11-14 Oct 2010, Nancy, France. pp. 183-198. Lecture Notes in Computer Science 6396. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16264-0
Hülsbusch, M. and König, B. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2010) Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Technical Report TR-CTIT-10-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hermanns, H. and Katoen, J.P. (2010) The How and Why of Interactive Markov Chains. (Invited) In: Symposium on Formal Methods for Components and Objects, FMCO 2009, 04 - 06 November 2009, Eindhoven, the Netherlands. pp. 311-337. Lecture Notes in Computer Science 6286. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-17070-6
Huisman, M. and Gurov, D. (2010) CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties. In: Formal Verification of Object-Oriented Software (FoVeOOS) 2010., 28 - 30 June 2010. pp. 107-121. Lecture Notes in Computer Science 6528. Springer Verlag. ISBN 978-3-642-18070-5
Jongerden, M.R. (2010) Model-based energy analysis of battery powered systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-183 ISBN 978-90-365-3114-6
Jongerden, M.R. and Mereacre, A. and Bohnenkamp, H.C. and Haverkort, B.R.H.M. and Katoen, J.P. (2010) Computing Optimal Schedules of Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203 *** ISI Impact 4,708 ***
Kant, G. (2010) Using Canonical Forms for Isomorphism Reduction in Graph-based Model Checking. Technical Report TR-CTIT-10-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kant, G. (2010) Distributed State Space Generation for Graphs up to Isomorphism. Master's thesis, University of Twente.
Katoen, J.P. (2010) Advances in Probabilistic Model Checking. (Invited) In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, 17-19 Jan 2010, Madrid, Spain. pp. 25-25. Lecture Notes in Computer Science 5944. Springer Verlag. ISBN 978-3-642-11318-5
Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010) A linear process-algebraic format for probabilistic systems with data (extended version). Technical Report TR-CTIT-10-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010) A linear process-algebraic format for probabilistic systems with data. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 213-222. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5
Ketema, J. and Simonsen, J.G. (2010) Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies. Logical Methods in Computer Science, 6 (1:7). pp. 1-35. ISSN 1860-5974 *** ISI Impact 0,569 ***
Ketema, J. and Simonsen, J.G. (2010) Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus. In: Proceedings of the 10th International Symposium on Functional and Logic Programming (FLOPS 2010), 19-21 April 2010, Sendai, Japan. pp. 272-287. Lecture Notes in Computer Science 6009. Springer Verlag. ISBN 978-3-642-12250-7
Kordy, P.T. and Langerak, R. and Polderman, J.W. (2010) Re-verification of a Lip Synchronization Protocol using Robust Reachability. Electronic Proceedings in Theoretical Computer Science, 20. pp. 49-62. ISSN 2075-2180
Laarman, A.W. and Kurtev, I. (2010) Ontological Metamodeling with Explicit Instantiation. In: 2nd Int. Conf. on Software Language Engineering (SLE), 5-6 Oct 2009, Denver, CO, USA. pp. 174-183. LNCS 5969. Springer Verlag. ISBN 978-3-642-12106-7
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. In: Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design, 20 Oct - 23 Oct 2010, Lugano, Switzerland. pp. 247-256. IEEE Computer Society. ISBN 978-1-4577-0734-6
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. Technical Report arXiv:1004.2772, ArXiv, Ithaca, NY.
Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2010) Synthesis and stochastic assessment of cost-optimal schedules. International journal on software tools for technology transfer, 12 (5). pp. 305-317. ISSN 1433-2779
de Mol, M.J. and Rensink, A. (2010) On A Graph Formalism for Ordered Edges. In: Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), 20 Mar - 21 Mar 2010, Paphos, Cyprus. Electronic Communications of the EASST 29. The European Association for the Study of Science and Technology. ISSN 1863-2122
Neuhausser, M. (2010) Model Checking Nondeterministic and Randomly Timed Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-165 ISBN 978-90-365-2975-4
Neuhausser, M. and Zhang, Lijun (2010) Model Checking Interactive Markov Chains. In: 16th International Conferenceon Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, 20-28 Mar 2010, Paphos, Cyprus. pp. 53-68. Lecture Notes in Computer Science 6015. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-12001-5
Ngo, Minh Tri (2010) Verification of Confidentiality of Multi-threaded Programs. In: IPA PhD Workshop 2010, 01-03 Nov 2010, Veldhoven, The Netherlands. IPA. ISBN not assigned
van de Pol, J.C. and Weber, Michael (2010) Preface. In: 17th International SPIN Workshop on Model Checking Software, 27-29 Sep 2010, Enschede, The Netherlands. v-vi. Lecture Notes in Computer Science 6349. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16163-6
Polenkova, S.V. and Polderman, J.W. and Langerak, R. (2010) Stability criteria for planar linear systems with state reset. In: Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems - MTNS 2010, 5-9 Jul 2010, Budapest. pp. 809-815. Eötvös Loránd University. ISBN 978-963-311-370-7
Quaglia, P. and Schivo, S. (2010) Approximate Model Checking of Stochastic COWS. In: 5th International Symposium on Trustworthly Global Computing, TGC 2010, 24-26 Feb 2010, Munich, Germany. pp. 335-347. Lecture Notes in Computer Science 6084. Springer Verlag. ISBN 978-3-642-15639-7
Rensink, A. (2010) A First Study of Compositionality in Graph Transformation. Technical Report TR-CTIT-10-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2010) Isomorphism Checking for Symmetry Reduction. Technical Report TR-CTIT-10-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2010) Compositionality in Graph Transformation. In: Automata, Languages and Programming (ICALP), 5-10 Jul 2010, Bordeaux, France. pp. 309-320. Lecture Notes in Computer Science 6199. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-14161-4
Rensink, A. (2010) The Edge of Graph Transformation - Graphs for Behavioural Specification. In: Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science 5765. Springer Verlag, Berlin, pp. 6-32. ISSN 0302-9743 ISBN 978-3-642-17321-9
Rensink, A. and Van Gorp, P. (2010) Graph transformation tool contest 2008. International journal on software tools for technology transfer, 12 (3-4). pp. 171-181. ISSN 1433-2779
Rensink, A. and Zambon, Eduardo (2010) Neighbourhood Abstraction in GROOVE - Tool Paper. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, NL. pp. 55-61. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Soleimanifard, S. and Gurov, D. and Huisman, M. (2010) Procedure-Modular Verification of Control Flow Safety Properties. In: 12th Workshop on Formal Techniques for Java-like Programs, FTfJP 2010, June 22, 2010, Maribor, Slovenia. 5:1-5:7. ACM. ISBN 978-1-4503-0540-2
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2010) Confluence reduction for probabilistic systems. In: Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory, 4 Sep 2010, Paris, France. pp. 87-90. Eindhoven University of Technology. ISBN not assigned
Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C. (2010) Confluence Reduction for Probabilistic Systems (extended version). Technical Report 1011.2314, ArXiv e-prints.
Xing, Jian Sheng and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) From POOSL to UPPAAL: Transformation and Quantitative Analysis. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 47-56. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5
Xing, Jian Sheng and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) UPPAAL in Practice: Quantitative Verication of a RapidIO Network. In: ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 18-20 Oct 2010, Amirandes, Heraclion, Crete. pp. 160-174. Lecture Notes in Computer Science 6416. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16560-3
Zambon, Eduardo (2010) Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations (ICGT 2010), 27 Sep - 02 Oct 2010, Enschede, NL. pp. 416-418. Lecture Notes in Computer Science 6372. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15927-5

2009

Paige, R.F. and Hartman, A. and Rensink, A., ed. (2009) Model Driven Architecture - Foundations and Applications. Lecture Notes in Computer Science 5562. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-02673-7
Aan de Brugh, N.H.M. and Nguyen, Viet Yen and Ruys, T.C. (2009) MoonWalker: Veri?cation of .NET Programs. In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK. pp. 170-173. Lecture Notes in Computer Science 5505. Springer Verlag. ISBN 978-3-642-00767-5
Akşit, M. and Rensink, A. and Staijen, T. (2009) A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. In: AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, 3-6 Mar 2009, Charlottesville, Virginia, USA. pp. 39-50. ACM. ISBN 978-1-60558-442-3
Albert, E. and Banerjee, A. and Drossopoulou, S. and Huisman, M. and Igarashi, A. and Leavens, G.T. and Müller, P. and Wrigstad, T. (2009) Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. In: Object-Oriented Technology. ECOOP 2008 Workshop Reader, July 8, 2008, Paphos, Cyprus. pp. 70-76. Lecture Notes in Computer Science 5475. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02046-9
Barnat, J. and Chaloupka, J. and van de Pol, J.C. (2009) Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, 21 (1). pp. 23-44. ISSN 0955-792X *** ISI Impact 0,585 ***
Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, Michael (2009) A Database Approach to Distributed State-Space Generation. Journal of Logic and Computation, 21 (1). pp. 45-62. ISSN 0955-792X *** ISI Impact 0,585 ***
Blom, S.C.C. and van de Pol, J.C. (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. Technical Report TR-CTIT-09-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Blom, S.C.C. and van de Pol, J.C. (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 4 Nov 2009, Eindhoven, The Netherlands. pp. 32-46. Electronic Proceedings in Theoretical Computer Science 14. Open Publishing Association. ISSN 2075-2180
Blom, S.C.C. and van de Pol, J.C. and Weber, Michael (2009) Bridging the Gap between Enumerative and Symbolic Model Checkers. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Boneva, I. and Kreiker, J. and Kurban, M.E. and Rensink, A. (2009) Graph Abstraction for a Modal Logic. Bulletin of the European Association for Theoretical Computer Science, 97. pp. 106-116. ISSN 0252-9742
Boudali, H. and Nijmeijer, A.P. and Stoelinga, M.I.A. (2009) DFTSim: A Simulation Tool for Extended Dynamic Fault Trees. In: Proceedings of the 42nd Annual Simulation Symposium (ANSS 2009), March 22-27, 2009, San Diego. 31. Society for Modeling and Simulation International. ISBN 9781565553262
Boudali, H. and Sözer, H. and Stoelinga, M.I.A. (2009) Architectural Availability Analysis of Software Decomposition for Local Recovery. In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 8-10 July 2009, Shanghai, China. pp. 14-22. IEEE Computer Society. ISBN 978-0-7695-3758-0
Brim, L. and van de Pol, J.C. (2009) Preface. In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 4 Nov 2009, Eindhoven, The Netherlands. Electronic Proceedings in Theoretical Computer Science 14. Open Publishing Association. ISSN 2075-2180
Bujorianu, L.M. and Katoen, J.P. (2009) Symmetry reduction for stochastic hybrid systems. In: 47th IEEE Conference on Decision and Control, CDC 2008, 9-11 Dec 2008, Cancun, Mexico. pp. 233-238. IEEE Computer Society. ISSN 0191-2216 ISBN 978-1-4244-3123-6
Chen, Taolue and Han, Tingting and Katoen, J.P. and Mereacre, A. (2009) Quantitative model checking of continuous-time Markov chains against timed automata specifications. In: 2009 24th Annual IEEE Symposium on Logic In Computer Science, 11-14 Aug 2009, Los Angeles. pp. 309-318. IEEE Computer Society. ISSN 1043-6871 ISBN 978-0-7695-3746-7
Chitchyan, R. and Fabry, J. and Katz, S. and Rensink, A. (2009) Editorial for Special Section on Dependencies and Interactions with Aspects. Lecture notes in computer science, 5490. pp. 133-134. ISSN 0302-9743
Chrząszcz, J. and Huisman, M. and Schubert, A. (2009) BML and Related Tools. In: Formal Methods for Components and Objects, 21-23 Oktober 2008, Sophia Antipolis, France. pp. 278-297. Lecture Notes in Computer Science 5751. Springer Verlag. ISBN 978-3-642-04166-2
De Alfaro, L. and Faella, M. and Stoelinga, M.I.A. (2009) Linear and Branching System Metrics. IEEE transactions on software engineering, 35 (2). pp. 258-273. ISSN 0098-5589 *** ISI Impact 1,516 ***
Gurov, D. and Huisman, M. (2009) Reducing Behavioural to Structural Properties of Programs with Procedures. In: Verification, Model Checking, and Abstract Interpretation, January 18-20, 2009, Savannah, GA, USA. pp. 136-150. Lecture Notes in Computer Science 5403. Springer Verlag. ISBN 978-3-540-93899-6
Haack, C. and Hurlin, C. (2009) Resource Usage Protocols for Iterators. Journal of Object Technology, 8 (4). pp. 55-83. ISSN 1660-1769
Han, Tingting (2009) Diagnosis, Synthesis and Analysis of Probabilistic Models. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-149 ISBN 978-90-365-2858-0
Han, Tingting and Katoen, J.P. and Damman, B. (2009) Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 35 (2). pp. 241-257. ISSN 0098-5589 *** ISI Impact 1,516 ***
Huisman, M. (2009) On the Interplay between the Semantics of Java's Finally Clauses and the JML Run-Time Checker. In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, July 5, 2009, Genua. 8:1-8:6. ACM. ISBN 978-1-60558-540-6
Huisman, M. and Aldrich, J. and Barnett, M. and Giannakopoulou, D. and Leavens, G.T. and Sharagyna, N. (2009) Foreword. In: SAVCBS '09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, 25 August 2009, Amsterdam. pp. 3-3. ACM. ISBN 978-1-60558-680-9
Huisman, M. and Tamalet, A. (2009) A Formal Connection between Security Automata and JML Annotations. In: Fundamental Approaches to Software Engineering, March 22- 29, 2009, York, UK. pp. 340-354. Lecture Notes in Computer Science 5503. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00592-3
Hurlin, C. (2009) Specifying and Checking Protocols of Multithreaded Classes. In: Proceedings of the 24th Annual ACM Symposium on Applied Computing, 8-12 Mar 2009, Hawaii, USA. pp. 587-592. ACM. ISBN 978-1-60558-166-8
Hurlin, C. (2009) Automatic Parallelization and Optimization of Programs by Proof Rewriting. In: The 16th International Static Analysis Symposium, 9-11 Aug 2009, Los Angeles, USA. pp. 52-68. Lecture Notes in Computer Science 5673. Springer Verlag. ISBN 978-3-642-03236-3
Jongerden, M.R. and Haverkort, B.R.H.M. and Bohnenkamp, H.C. and Katoen, J.P. (2009) Maximizing System Lifetime by Battery Scheduling. In: Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 29 jun - 2 jul 2009, Estoril, Portugal. pp. 63-72. IEEE Computer Society. ISBN 978-1-4244-4421-2
Katoen, J.P. and Klink, D. and Neuhausser, M. (2009) Compositional Abstraction of Stochastic Systems. In: Formal Modeling and Analysis of Timed Systems. Lecture Notes in Computer Science 5813. Springer Verlag, Berlin, pp. 195-211. ISSN 0302-9743 ISBN 978-3-642-04367-3
Katoen, J.P. and Zapreev, I.S. (2009) Simulation-based CTMC Model Checking: An Empirical Evaluation. In: Sixth International Conference on the Quantitative Evaluation of Systems, 13-16 Sept 2009, Budapest, Hungary. pp. 31-40. IEEE Computer Society. ISBN 978-1-42444-942-2
Katoen, J.P. and Zapreev, I.S. and Hahn, E.M. and Hermanns, H. and Jansen, D.N. (2009) The Ins and Outs of the Probabilistic Model Checker MRMC. In: Sixth International Conference on the Quantitative Evaluation of Systems, 13-16 Sept 2009, Budapest, Hungary. pp. 167-176. IEEE Computer Society. ISBN 978-1-42444-942-2
Ketema, J. (2009) Comparing Böhm-Like Trees. In: Rewriting Techniques and Applications: 20th International Conference, RTA 2009, 29 Jun - 1 Jul 2009, Brasília, Brazil. pp. 239-254. Lecture Notes in Computer Science 5595. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02347-7
Ketema, J. and Blom, S.C.C. and Aoto, T. and Simonsen, J.G. (2009) Rewriting Transfinite Terms. In: Liber Amicorum for Roel de Vrijer. Lulu, Raleigh, NC, pp. 129-144. ISBN not assigned
Ketema, J. and Simonsen, J.G. (2009) Infinitary Combinatory Reduction Systems: Confluence. Logical Methods in Computer Science, 5 (4). ISSN 1860-5974 *** ISI Impact 0,569 ***
Klink, D. and Remke, A.K.I. and Haverkort, B.R.H.M. and Katoen, J.P. (2009) Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In: Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09), 13-16 Sept 2009, Budapest, Hungary. pp. 133-142. IEEE Computer Society. ISBN 978-0-7695-3808-2
Kordy, P.T. and Langerak, R. and Polderman, J.W. (2009) Re-verification of a Lip Synchronization Algorithm using robust reachability. In: Formal Methods for Aerospace, 03 Nov 2009, Eindhoven, The Netherlands. Technische Universiteit Eindhoven. ISSN not assigned
Kuijper, W. and van de Pol, J.C. (2009) Compositional Control Synthesis for Partially Observable Systems. In: CONCUR 2009 - Concurrency Theory, 1-4 Sep 2009, Bologna, Italy. pp. 431-447. Lecture Notes in Computer Science 5710. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04080-1
Kuijper, W. and van de Pol, J.C. (2009) Computing Weakest Strategies for Safety Games of Imperfect Information. In: Tools and Algorithms for the Construction and Analysis of Systems, 22-29 Mar 2009, York, UK. pp. 92-106. Lecture Notes in Computer Science 5505. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00767-5
Laarman, A.W. (2009) Achieving QVTO & ATL Interoperability: An Experience Report on the Realization of a QVTO to ATL Compiler. In: 1st International Workshop on Model Transformation with ATL, MtATL 2009, 8-9 Jul 2009, Nantes, France. pp. 119-133. CEUR Workshop Proceedings. Sun SITE Central Europe. ISSN 1613-0073
de Mol, M.J. and Zimakova, M.V. (2009) A GROOVE Solution for the BPMN to BPEL Model Transformation. Technical Report TR-CTIT-09-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Neuhausser, M. and Stoelinga, M.I.A. and Katoen, J.P. (2009) Delayed Nondeterminism in Continuous-Time Markov Decision Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science 5504. Springer Verlag, Berlin, pp. 364-379. ISSN 0302-9743 ISBN 978-3-642-00595-4
Ngo, Minh Tri and Weber, J.H. and Abdel-Ghaffar, K.A.S. (2009) New Upper Bounds on the Separating Redundancy of Linear Block Codes. In: Proceedings of the 30th Symposium on Information Theory in the Benelux, 28-29 May 2009, Eindhoven, The Netherlands. pp. 209-216. ISBN. ISBN 978-90-386-1852-4
Nguyen, Viet Yen and Ruys, T.C. (2009) Memoised Garbage Collection for Software Model Checking. In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK. pp. 201-214. Lecture Notes in Computer Science 5505. Springer Verlag. ISBN 978-3-642-00767-5
van de Pol, J.C. and Timmer, M. (2009) State Space Reduction of Linear Processes using Control Flow Reconstruction. Technical Report TR-CTIT-09-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van de Pol, J.C. and Timmer, M. (2009) State Space Reduction of Linear Processes Using Control Flow Reconstruction. In: ATVA 2009 - Automated Technology for Verification and Analysis. 7th International Symposium, 13 Oct - 16 Oct 2009, Macao SAR, China. pp. 54-68. Lecture Notes in Computer Science 5799. Springer Verlag. ISBN 978-3-642-04760-2
Rensink, A. and Kuperus, J.-H. (2009) Repotting the geraniums: on nested graph transformation rules. In: Graph transformation and visual modelling techniques, 28-29 Mar 2009, York, U.K.. Electronic Communications of the EASST 18. EASST. ISSN 1863-2122
Rensink, A. and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. Technical Report TR-CTIT-09-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. In: Proceedings of the IFIP International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2009, 9-12 Jun 2009, Lisbon, Portugal. pp. 237-242. Lecture Notes in Computer Science 5522. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02137-4
Rensink, A. and Zimakova, M.V. (2009) Flow Diagram Decomposition Using Graph Transformations. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Zimakova, M.V. (2009) Towards model structuring based on flow diagram decomposition. In: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, 23 Jun 2009, Enschede, The Netherlands. 5:1-5:8. ACM International Conference Proceeding Series 379. ACM. ISBN 978-1-60558-503-1
Roolvink, S. and Remke, A.K.I. and Stoelinga, M.I.A. (2009) Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. In: 9th International Workshop on Performability of Computer and Communication Systems, 17-18 Sept, 2009, Eger, Hungary. pp. 4-7. PMCCS 2009. Budapest University of Technology and Economics. ISBN not assigned
van Sinderen, M.J. and Pras, A. and Haverkort, B.R.H.M. and Apers, P.M.G. and Hartel, P.H. and van de Pol, J.C. and Nijholt, A. and Wieringa, R.J. and Havinga, P.J.M. and Akşit, M. (2009) Research Self-Evaluation 2003-2008, Computer Science Department, University of Twente. Technical Report Number UNSPECIFIED, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Staijen, T. and Rensink, A. (2009) Graph-Based Specification and Simulation of Featherweight Java with Around Advice. In: FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, 2 Mar 2009, Charlottesville, Virginia, USA. pp. 25-30. ACM. ISBN 978-1-60558-452-2
Stoelinga, M.I.A. (2009) Compositional dependability modeling using arcade. (Invited) In: Proceedings of the 8th international workshop on Specification and verification of component-based systems (SAVCBS 2009), 25 August 2009, Amsterdam, The Netherlands. pp. 1-2. ACM. ISBN 978-1-60558-680-9
Stoelinga, M.I.A. and Timmer, M. (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. Technical Report TR-CTIT-09-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Stoelinga, M.I.A. and Timmer, M. (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. In: Proceedings of the Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29 Jul - 31 Jul 2009, Tianjin, China. pp. 251-258. IEEE Computer Society. ISBN 978-0-7695-3757-3
Wijs, A.J. and van de Pol, J.C. and Bortnik, E.M. (2009) Solving scheduling problems by untimed model checking. The clinical chemical analyser case study. International journal on software tools for technology transfer, 11 (5). pp. 375-392. ISSN 1433-2779
Zambon, Eduardo and Bossois, D.Z. and Garcia, B.B. and Azeredo, E.F. (2009) A Novel Nonlinear Programming Model for Distribution Protection Optimization. IEEE Transactions on Power Delivery, 24 (4). pp. 1951-1958. ISSN 0885-8977 *** ISI Impact 2,032 ***
Zambon, Eduardo and Rensink, A. (2009) Using Graph Transformations and Graph Abstractions for Software Verification. Technical Report TR-CTIT-10-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2008

de Alfaro, L. and Majumdar, R. and Raman, V. and Stoelinga, M.I.A. (2008) Game Refinement Relations and Metrics. Logical Methods in Computer Science, 4 (3). 7. ISSN 1860-5974 *** ISI Impact 0,569 ***
Badban, B. and Fokkink, W.J. and van de Pol, J.C. (2008) Mechanical Verification of a Two-Way Sliding Window Protocol (Full version including proofs). Technical Report TR-CTIT-08-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Badban, B. and Fokkink, W.J. and van de Pol, J.C. (2008) Mechanical verification of a two-way sliding window protocol. In: Communicating Process Architectures 2008, 7-10 Sep 2008, York, UK. pp. 179-202. Concurrent Systems Engineering Series 66. IOS Press. ISBN 978-1-58603-907-3
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2008) Reachability in continuous-time Markov reward decision processes. In: Logic and Automata: History and Perspectives, 14-15 Dec 2007, Aachen, Germany. pp. 53-71. Texts in Logic and Games 2. Amsterdam University Press. ISBN 978-90-5356-576-6
Baier, C. and Katoen, J.P. (2008) Principles of Model Checking. MIT Press, New York. ISBN 978-0-262-02649-9
Bakhshi, R. and Fokkink, W.J. and Pang, J. and van de Pol, J.C. (2008) Leader Election in Anonymous Rings: Franklin Goes Probabilistic. In: Fifth IFIP International Conference On Theoretical Computer Science, 8-10 Sept 2008, Milano, Italy. pp. 57-72. IFIP International Federation for Information Processing 273/2008. Springer Verlag. ISSN 1571-5736 ISBN 978-0-387-09679-7
Barnat, J. and Brim, L. and Šimeček, P. and Weber, Michael (2008) Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. In: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, 29 Mar - 06 Apr 2008, Budapest, Hungary. pp. 48-62. Lecture Notes in Computer Science 4963. Springer Verlag. ISBN 978-3-540-78799-0
Barnat, J. and Chaloupka, J. and van de Pol, J.C. (2008) Improved Distributed Algorithms for SCC Decomposition. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 63-77. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661
Bauer, J. and Boneva, I.B. and Kurban, M.E. and Rensink, A. (2008) A Modal-Logic Based Graph Abstraction. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK. pp. 321-335. Lecture Notes in Computer Science 5214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-87404-1
Blom, S.C.C. and Deiß, T. and Ioustinova, N. and Kontio, A. and van de Pol, J.C. and Rennoch, A. and Sidorova, N. (2008) Simulated time for host-based testing with TTCN-3. Software Testing, Verification and Reliability, 18 (1). pp. 29-49. ISSN 0960-0833 *** ISI Impact 1,082 ***
Blom, S.C.C. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and van de Pol, J.C. (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. In: Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 29 Mar 2008, Budapest, Hungary. pp. 35-50. Electronic Notes in Theoretical Computer Science 220 (2). Elsevier. ISSN 1571-0661
Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, Michael (2008) A Database Approach to Distributed State Space Generation. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 17-32. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661
Blom, S.C.C. and van de Pol, J.C. (2008) Symbolic Reachability for Process Algebras with Recursive Data Types. In: Theoretical Aspects of Computing - ICTAC 2008, 1-3 Sep 2008, Istanbul, Turkey. pp. 81-95. Lecture Notes in Computer Science 5160. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-85761-7
Bohnenkamp, H.C. and Stoelinga, M.I.A. (2008) Quantitative Testing. In: Proceedings of the 7th ACM International conference on Embedded software, October 19-24, 2008, Georgia, Atlanta. pp. 227-236. ACM. ISBN 978-1-60558-468-3
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Architectural dependability evaluation with Arcade. In: Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, Anchorage, USA. pp. 512-521. IEEE Computer Society. ISBN 978-1-4244-2397-2
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31, 2008 - April 3, 2008, Belfast, UK. pp. 243-248. IEEE Computer Society. ISBN 978-0-7695-3139-7
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. (Invited) In: Proceedings of the second workshop on foundations of interface theories (FIT), April 10, 2008, Budapest, Hungary. pp. 5-10. University of Aalborg. ISBN not assigned
Boudali, H. and Montani, S. (2008) Guest Editorial: Special session on Bayesian networks in dependability. Reliability Engineering & System Safety, 93 (7). pp. 921-921. ISSN 0951-8320 *** ISI Impact 2,498 ***
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 ***
Brinksma, H. and Hooman, J. (2008) Dependability for high-tech systems: an industry-as-laboratory approach. (Invited) In: Design, Automation and Test in Europe, 2008. DATE '08, 10-14 March 2008, Munich. pp. 1226-1231. IEEE Computer Society. ISBN 978-3-9810801-4-8
Bujorianu, L.M. (2008) Different Approaches on Stochastic Reachability as an Optimal Stopping Problem. Technical Report TR-CTIT-08-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Bujorianu, M.C. (2008) Towards a Formal Framework for Multidimensional Codesign. Technical Report TR-CTIT-08-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Bujorianu, M.C. (2008) Bisimulation, Logic and Reachability Analysis for Markovian Systems. Technical Report TR-CTIT-08-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Bujorianu, M.C. (2008) Bisimulation, Logic and Mobility for Markovian Systems. In: Proceedings of the 18th International Symposium on Mathematical Theory of Networks & Systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA. 12. SIAM. ISBN not assigned
Bujorianu, L.M. and Bujorianu, M.C. (2008) Topological superposition of abstractions of stochastic processes. In: MED '07. Mediterranean Conference on Control & Automation, 27-29 June 2007, Athens, Greece. pp. 1-6. IEEE Computer Society. ISBN 1-4244-1282-X
Bujorianu, L.M. and Bujorianu, M.C. and Blom, H.A.P. (2008) Approximate Abstractions of Stochastic Hybrid Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea. pp. 8978-8983. IFAC. ISBN 978-3-902661-00-5
Bujorianu, L.M. and Katoen, J.P. (2008) Symmetry Reduction For Stochastic Hybrid Systems. Technical Report TR-CTIT-08-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Lygeros, J. (2008) New insights on stochastic reachability. In: 46th IEEE Conference on Decision and Control, 12-14 Dec 2007, New Orleans, Louisiana USA. pp. 6172-6177. IEEE Computer Society. ISSN 0191-2216 ISBN 1-4244-1498-9
Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Abstractions of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Towards a General Theory of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Lygeros, J. and Langerak, R. (2008) Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. In: 11th International Workshop, HSCC 2008, 22-24 Aril 2008, St. Louis, USA. pp. 610-613. Lecture Notes in Computer Science 4981. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-78928-4
Bujorianu, M.C. and Bujorianu, L.M. (2008) Uncertainty and Reconfigurability in Hilbertean Formal Methods. Technical Report TR-CTIT-08-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, M.C. and Bujorianu, L.M. (2008) A Randomized Model for Communicating Embedded Systems. Technical Report TR-CTIT-08-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, M.C. and Bujorianu, L.M. (2008) Formal Engineering Hybrid Systems: Semantic Underpinnings. Technical Report TR-CTIT-08-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, M.C. and Bujorianu, L.M. (2008) Styles in Heterogeneous Modelling With UML. Technical Report TR-CTIT-08-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, M.C. and Bujorianu, L.M. (2008) A randomized model for communicating embedded systems. In: 16th Mediterranean Conference on Control and Automation, 25-27 June 2008, Ajaccio, France. pp. 1435-1440. IEEE Computer Society. ISBN 978-1-4244-2505-1
Bujorianu, M.C. and Bujorianu, L.M. and Langerak, R. (2008) An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea. pp. 3635-3640. IFAC. ISBN 978-3-902661-00-5
Bujorianu, M.C. and Bujorianu, L.M. and Maharaj, S. (2008) Formal Testing of Correspondence Carrying Software. Technical Report TR-CTIT-08-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Calamé, J.R. (2008) Testing reactive systems with data: enumerative methods and constraint solving. PhD thesis, University of Twente. IPA dissertation series 2008-20 ISBN 978-90-6464-273-9
Calamé, J.R. and van de Pol, J.C. (2008) Applying Model-based Testing to HTML Rendering Engines - A Case Study. In: Testing of Software and Communicating Systems, 10-13 Jun 2008, Tokyo, Japan. pp. 250-265. Lecture Notes in Computer Science 5047. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-68514-2
Chen, Taolue and Han, Tingting and Katoen, J.P. (2008) Time-Abstracting Bisimulation for Probabilistic Timed Automata. In: Proceedings of the 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 17-19 June 2008, Nanjing, China. pp. 177-184. IEEE Computer Society. ISBN 978-0-7695-3249-3
Chen, Taolue and van de Pol, J.C. and Wang, Yanjing (2008) PDL over Accelerated Labeled Transition Systems. In: 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 17-19 Jun 2008, Nanjing, China. pp. 193-200. IEEE Computer Society. ISBN 978-0-7695-3249-3
Crouzen, P. and van de Pol, J.C. and Rensink, A. (2008) Applying Formal Methods to Gossiping Networks with mCRL and Groove. ACM SIGMETRICS performance evaluation review, 36 (3). pp. 7-16. ISSN 0163-5999
Damman, B. and Han, Tingting and Katoen, J.P. (2008) Regular Expressions for PCTL Counterexamples. In: Proceedings of the 5th International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 Sept 2008, Saint Malo, France. pp. 179-188. IEEE Computer Society. ISBN 978-0-7695-3360-5
Daws, C.F. and Langerak, R. and Polderman, J.W. (2008) Decision algorithm for the stability of planar switching linear systems. In: Proceedings of the 18th international symposium on mathematical theory of networks & systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA. 11. SIAM. ISBN not assigned
Engels, G. and Kleppe, A.G. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2008) From UML Activities to TAAL: Towards behaviour-preserving model transformations. In: European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), 10-12 Jun 2008, Berlin, Germany. pp. 94-109. Lecture Notes in Computer Science 5095. Springer Verlag. ISSN 1611-3349 ISBN 978-3-540-69095-5
Faella, M. and Legay, A. and Stoelinga, M.I.A. (2008) Model checking Quantitative Linear Time Logic. In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), March 29-30, 2008, Budapest, Hungary. pp. 61-77. Electronic Notes in Theoretical Computer Science 220 (3). Elsevier. ISSN 1571-0661
Haack, C. and Huisman, M. and Hurlin, C. (2008) Reasoning about Java's Reentrant Locks. In: The Sixth ASIAN Symposium on Programming Languages and Systems, 9-11 Dec 2008, Bangalore, India. pp. 171-187. Lecture Notes in Computer Science 5356. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-89329-5
Han, Tingting and Katoen, J.P. and Mereacre, A. (2008) Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. In: Hybrid Systems: Computation and Control (HSCC), St. Louis, U.S.. pp. 244-258. Lecture Notes in Computer Science 4981. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-78928-4
Han, Tingting and Katoen, J.P. and Mereacre, A. (2008) Approximate parameter synthesis for probabilistic time-bounded reachability. In: Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2008), 1-3 Dec 2008, Barcelona, Spain. pp. 173-182. IEEE Computer Society. ISBN 978-0-7695-3477-0
Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow (with appendix). Technical Report TR-CTIT-08-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. In: 8th Int. Conf. on Formal Methods in Computer Aided Design (FMCAD), 17-20 Nov. 2008, Portland, Oregon. pp. 161-170. IEEE Computer Society. ISBN 978-1-4244-2735-2
Huisman, M. and Aktug, I. and Gurov, D. (2008) Program models for compositional verification. In: 10th International Conference on Formal Engineering Methods, 27-31 Oct 2008. pp. 147-166. Lecture Notes in Computer Science 5256. Springer Verlag. ISBN 978-3-540-88193-3
Jansen, D.N. and Katoen, J.P. and Oldenkamp, M. and Stoelinga, M.I.A. and Zapreev, I.S. (2008) How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. In: Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007, 23-25 Oct 2007, Haifa, Israel. pp. 69-85. Lecture Notes in Computer Science 4899. Springer Verlag. ISBN 978-3-540-77964-3
Kastenberg, H. (2008) Graph-based software specification and verification. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-128 ISBN 978-90-365-2734-7
Kastenberg, H. and Rensink, A. (2008) Dynamic Partial Order Reduction Using Probe Sets. In: Concurrency Theory (CONCUR), 19-22 Aug 2008, Toronto, Canada. pp. 233-247. Lecture Notes in Computer Science 5201. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-85360-2
Katoen, J.P. (2008) Perspectives in probabilistic verification. (Invited) In: Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China. pp. 3-10. IEEE Computer Society. ISBN 978-0-7695-3249-3
König, B. and Rensink, A. and Heckel, R. (2008) Graph Transformation for Concurrency and Verification - Preface. In: Graph Transformation for Verification and Concurrency, 3 Sep 2007, Lisbon, Portugal. pp. 1-2. Electronic Notes in Theoretical Computer Science 213 (1). Elsevier. ISSN 1571-0661
Kleppe, A.G. and Rensink, A. (2008) A Graph-Based Semantics for UML Class and Object Diagrams. Technical Report TR-CTIT-08-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kleppe, A.G. and Rensink, A. (2008) On a Graph-Based Semantics for UML Class and Object Diagrams. In: Graph Transformation and Visual Modelling Techniques, 29-30 Apr 2008, Budapest, Hungary. Electronic Communications of the EASST 10. EASST. ISSN 1863-2122
Langerak, R. and Polderman, J.W. (2008) Hybrid automata. In: Handbook of Hybrid Systems Control, Theory - Tools - Applications. Cambridge University Press, Cambridge, pp. 60-65. ISBN 978-0-52176-505-3
Nguyen, Viet Yen and Ruys, T.C. (2008) Incremental Hashing for SPIN. In: Model Checking Software, Proceedings of the 15th International SPIN Workshop, 10-12 Aug 2008, Los Angeles, CA, USA. pp. 232-249. Lecture Notes in Computer Science 5156. Springer Verlag. ISBN 978-3-540-85113-4
van de Pol, J.C. (2008) A Typical Verification Challenge for the GRID. (Invited) In: Dagstuhl Seminar Proceedings 08332 'Distributed Verification and Grid Computing ', 10-14 August 2008, Dagstuhl, Germany. Dagstuhl Seminar Proceedings (08332). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. ISSN 1862-4405
van de Pol, J.C. and Weber, Michael (2008) A Multi-Core Solver for Parity Games. In: Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 29 Mar 2008, Budapest, Hungary. pp. 19-34. Electronic Notes in Theoretical Computer Science 220 (2). Elsevier. ISSN 1571-0661
Rensink, A. (2008) Explicit State Model Checking for Graph Grammars. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science 5065. Springer Verlag, Berlin, pp. 114-132. ISSN 1611-3349 ISBN 978-3-540-68676-7
Rensink, A. and Dotor, A. and Ermel, C. and Jurack, S. and Kniemeyer, O. and De Lara, J. and Maier, S. and Staijen, T. and Zündorf, A. (2008) Ludo: A Case Study for Graph Transformation Tools. In: Applications of Graph Transformation with Industrial Relevance (AGTIVE), 10-12 Oct 2007, Kassel, Germany. pp. 493-513. Lecture Notes in Computer Science 5088. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-89019-5
Rensink, A. and Nederpel, R. (2008) Graph Transformation Semantics for a QVT Language. In: International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), Apr 2006, Vienna, Austria. pp. 51-62. Electronic Notes in Theoretical Computer Science 211. Elsevier. ISSN 1571-0661
Rensink, A. and Taentzer, G. (2008) AGTIVE 2007 Graph Transformation Tool Contest. In: Applications of Graph Transformation with Industrial Relevance (AGTIVE), 10-12 Oct 2007, Kassel, Germany. pp. 487-492. Lecture Notes in Computer Science 5088. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-89019-5
Rensink, A. and Van Gorp, P. (2008) Graph-Based Tools: The Contest. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK. pp. 463-466. Lecture Notes in Computer Science 5214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-87404-1
Timmer, M. (2008) Evaluating and Predicting Actual Test Coverage. Master's thesis, University of Twente.
Timmer, M. (2008) Actual Test Coverage for Embedded Systems. In: Proceedings of the 14th Dutch Testing Day, 29 Nov 2008, Utrecht, The Netherlands. pp. 8-9. Valori. ISBN not assigned
Zapreev, I.S. (2008) Model Checking Markov Chains: Techniques and Tools. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-113 ISBN 978-90-8570-298-6

2007

de Alfaro, L. and Majumdar, R. and Raman, V. and Stoelinga, M.I.A. (2007) Game Relations and Metrics. In: Twenty-Second Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2007), 10–14 July 2007, Wroclav, Poland. pp. 99-108. IEEE Computer Society. ISBN 0-7695-2908-9
Badban, B. and van de Pol, J.C. and Tveretina, O. and Zantema, H. (2007) Generalizing DPLL and satisfiability for equalities. Information and computation, 205 (8). pp. 1188-1211. ISSN 0890-5401 *** ISI Impact 0,873 ***
Belinfante, A.F.E. (2007) Extensible Synthetic File Servers? or: Structuring the Glue between Tester and System Under Test. In: Proceedings of the Second International Workshop on Plan 9 (IWP9 2007), 3-4 Dec 2007, Bell Labs, Murray Hill, NJ, USA. pp. 47-54. Bell Labs. ISBN not assigned
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2007) Atomic Action Refinement in Model Based Testing. Technical Report TR-CTIT-07-64, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Blom, S.C.C. and Calamé, J.R. and Lisser, B. and Orzan, S. and Pang, J. and van de Pol, J.C. and Torabi Dashti, M. and Wijs, A.J. (2007) Distributed Analysis with µCRL: a Compendium of Case Studies. In: Tools and Algorithms for the Construction and Analysis of Systems, 24 Mar - 01 Apr 2007, Braga, Portugal. pp. 683-689. Lecture Notes in Computer Science 4424. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-71208-4
Blom, S.C.C. and Deiß, T. and Ioustinova, N. and Kontio, A. and van de Pol, J.C. and Rennoch, A. and Sidorova, N. (2007) TTCN-3 for Distributed Testing Embedded Software. In: Perspectives of Systems Informatics, 27-30 Jun 2006, Novosibirsk, Russia. pp. 98-111. Lecture Notes in Computer Science 4378. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70880-3
Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, Michael (2007) A Database Approach to Distributed State Space Generation. In: Participants Proceedings of the Sixth International Workshop on Parallel and Distributed Methods in Verification, 08 Jul 2007, Berlin, Germany. pp. 17-32. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Bohnenkamp, H.C. and Belinfante, A.F.E. (2007) Timed model-based testing. In: Tangram: Model-based integration and testing of complex high-tech systems. Embedded Systems Institute ESI, Eindhoven, the Netherlands, pp. 115-128. ISBN 978-90-78679-02-8
Bohnenkamp, H.C. and Hermanns, H. and Katoen, J.P. (2007) Motor: The MoDeST Tool Environment. In: Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Braga, Protugal. pp. 500-504. Lecture Notes in Computer Science 4424. Springer Verlag. ISSN 0302-9743
Boneva, I.B. and Hermann, F. and Kastenberg, H. and Rensink, A. (2007) Simulating Multigraph Transformations Using Simple Graphs. In: Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques, 31 March - 1 April 2007, Braga, Portugal. 42. Electronic Communications of the EASST 6. EASST. ISSN 1863-2122
Boneva, I.B. and Rensink, A. and Kurban, M.E. and Bauer, J. (2007) Graph Abstraction and Abstract Graph Transformation. Technical Report TR-CTIT-07-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) A compositional reliability and availability evaluation tool. In: ARTIST workshop: Tool Platforms for Embedded Systems Modeling, Analysis and Validation. Presented at the 19th International conference on Computer Aided Verification, July 1-2, 2007, Berlin, Germany. ARTIST2 Network of Excellence on Embedded Systems Design. ISBN not assigned
Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains. In: 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), October 22-25, 2007, Tokyo, Japan. pp. 441-456. Lecture Notes in Computer Science 4762. Springer. ISSN 0302-9743 ISBN 978-3-540-75595-1
Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains. In: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 25-28 June 2007, Edinburgh, UK. pp. 708-717. IEEE Computer Society. ISBN 0-7695-2855-4
Boudali, H. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2007) Best of Three Worlds: Towards Sound Architectural Dependability Models. In: 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), September 20-21, 2007, Edinburgh, UK. pp. 45-49. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Brandán Briones, L. (2007) Theories for Model-based Testing: Real-time and Coverage. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 07-97 ISBN 978-90-365-2476-6
Brim, L. and Haverkort, B.R.H.M. and Leucker, M. and van de Pol, J.C. (2007) Preface. In: Formal Methods: Applications and Technology, 26-31 Aug 2006, Bonn, Germany. V-VI. Lecture Notes in Computer Science 4346. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70951-0
Brinksma, H. (2007) The Challenges of Embedded Systems Engineering. In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, 03-05 April 2007, Pisa. 3. Lecture Notes in Computer Science 4416. Springer Verlag. ISBN 978-3-540-71492-7
Brinksma, H. and Hooman, J. (2007) Dependability for high-tech systems: an industry-as-laboratory approach. Technical Report ICIS-R07030, Radboud University, Nijmegen. ISSN 1571-5221
Bujorianu, L.M. and Bujorianu, M.C. (2007) Towards Hilbertian Formal Methods. In: Proceedings of Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pp. 240-241. IEEE Computer Society. ISSN 1550-4808 ISBN 0-7695-2902-X
Bujorianu, L.M. and Bujorianu, M.C. (2007) An Integrated Specification Framework for Embedded Systems. In: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007, 10-14 September 2007, London. pp. 161-170. IEEE Computer Society. ISBN 978-0-7695-2884-7
Bujorianu, L.M. and Bujorianu, M.C. (2007) Viewpoint Development of Stochastic Hybrid Systems. In: 45th IEEE Conference on Decision and Control, 13-15 Dec 2006, San Diego, CA, USA. pp. 6241-6246. IEEE Computer Society. ISBN 1-4244-0171-2
Calamé, J.R. and Ioustinova, N. and van de Pol, J.C. (2007) Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005), 29 Nov 2005, Eindhoven, The Netherlands. pp. 25-48. Electronic Notes in Theoretical Computer Science 191. Elsevier. ISSN 1571-0661
Calamé, J.R. and Ioustinova, N. and van de Pol, J.C. and Sidorova, N. (2007) Bug Hunting with False Negatives Revisited. Technical Report SEN-R0708, Centrum voor Wiskunde en Informatica, Amsterdam. ISSN 1386-369X
Calamé, J.R. and Ioustinova, N. and van de Pol, J.C. and Sidorova, N. (2007) Bug Hunting with False Negatives. In: Integrated Formal Methods, 2-5 Jul 2007, Oxford, UK. pp. 98-117. Lecture Notes in Computer Science 4591. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-73209-9
Chen, Taolue and Ploeger, S.C.W. and van de Pol, J.C. and Willemse, T.A.C. (2007) Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. In: CONCUR 2007 - Concurrency Theory, 3-8 Sep 2007, Lisbon, Portugal. pp. 120-135. Lecture Notes in Computer Science 4703. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-74406-1
Cheung, L. and Stoelinga, M.I.A. and Vaandrager, F.W. (2007) A testing scenario for probabilistic processes. Journal of the Association for Computing Machinery, 54 (6). 29:1-29:45. ISSN 0004-5411 *** ISI Impact 1,803 ***
De Nicola, R. and Katoen, J.P. and Latella, D. and Loreti, M. and Massink, M. (2007) Model checking mobile stochastic logic. Theoretical computer science, 382 (1). pp. 42-70. ISSN 0304-3975 *** ISI Impact 0,643 ***
Edelkamp, S. and Rensink, A. (2007) Graph Transformation and AI Planning. In: Knowledge Engineering Competition (ICKEPS), 22 Sep 2007, Rhode Island, USA. Australian National University. ISBN not assigned
Han, Tingting and Katoen, J.P. (2007) Counterexamples in probabilistic model checking. In: Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, 24 Mar - 01 Apr 2007, Braga, Portugal. pp. 72-86. Lecture Notes in Computer Science 4424. Springer Verlag. ISBN 978-3-540-71208-4
Han, Tingting and Katoen, J.P. (2007) Providing evidence of likely being on time - Counterexample generation for CTMC model checking. In: Providing evidence of likely being on time: Counterexample generation for CTMC model checking, 22-25 Oct 2007, Tokyo, Japan. pp. 331-346. Lecture Notes in Computer Science 4762. Springer. ISBN 978-3-540-75595-1
Katoen, J.P. and Kemna, T. and Zapreev, I.S. and Jansen, D.N. (2007) Bisimulation minimisation mostly speeds up probabilistic model checking. In: Tools and algorithms for the construction and analysis of systems, 24 Mar-1 Apr 2007, Braga, Portugal. pp. 87-101. Lecture notes in computer science 4424. Springer. ISBN 978-3-540-71208-4
Kattenbelt, M. and Ruys, T.C. and Rensink, A. (2007) An Object-Oriented Framework for Explicit-State Model Checking. In: Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), 23 March 2007, Eindhoven, The Netherlands. pp. 84-92. TUE Computer Science Reports (07-04). Computer Science Department, Eindhoven University of Technology (TUE). ISSN 0926-4515
Khusainov, D. and Langerak, R. and Kuzmych, O. (2007) Estimations of solutions convergence of hybrid systems consisting of linear equations with delay. Nonlinear dynamics and systems theory, 7 (2). pp. 169-186. ISSN 1562-8353
Kleppe, A.G. (2007) A Language Description is More than a Metamodel. In: Fourth International Workshop on Software Language Engineering, 1 Oct 2007, Nashville, USA. megaplanet.org. ISBN not assigned
Kleppe, A.G. (2007) Towards the Generation of a Text-Based IDE from a Language Metamodel. In: Model Driven Architecture - Foundations and Applications, 11-15 June 2007, Haifa, Israel. pp. 114-129. Lecture Notes in Computer Science 4350. Springer Verlag. ISSN 1611-3349 ISBN 978-3-540-72900-6
Krilavičius, T. (2007) Study of Tools Interoperability. Technical Report TR-CTIT-07-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Neuhausser, M. and Katoen, J.P. (2007) Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. In: 18th International Conference on Concurrency Theory (CONCUR), 03-08 Sep 2007, Lisbon, Portugal. pp. 412-427. Lecture Notes in Computer Science 4703. Springer Verlag. ISBN 978-3-540-74406-1
Rensink, A. (2007) Isomorphism Checking in GROOVE. In: Graph-Based Tools (GraBaTs), 21-22 Sep 2006, Natal, Brazil. Electronic Communications of the EASST 1. European Association of Software Science and Technology. ISSN 1863-2122
Rensink, A. and Heckel, R. and König, B. (2007) Graph Transformation for Concurrency and Verification - Preface. In: Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC), 31 Aug 2006, Bonn, Germany. pp. 1-2. Electronic Notes in Theoretical Computer Science 175. Elsevier. ISSN 1571-0661
Rensink, A. and Vogler, W. (2007) Fair Testing. Information and computation, 205 (2). pp. 125-198. ISSN 0890-5401 *** ISI Impact 0,873 ***
Romijn, J.M.T. and Smith, G. and van de Pol, J.C. (2007) Preface. In: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 29 Nov 2005, Eindhoven, The Netherlands. pp. 1-2. Electronic Notes in Theoretical Computer Science 191. Elsevier. ISSN 1571-0661
Ruys, T.C. and Aan de Brugh, N.H.M. (2007) MMC: the Mono Model Checker. In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007), 31 March 2007, Braga, Portugal. pp. 149-160. Electronic Notes in Theoretical Computer Science 190 (1). Elsevier. ISSN 1571-0661
Valero Espada, M. and van de Pol, J.C. (2007) An abstract interpretation toolkit for μCRL. Formal methods in system design, 30 (3). pp. 249-273. ISSN 0925-9856 *** ISI Impact 1,132 ***
Weber, Michael (2007) An Embeddable Virtual Machine for State Space Generation. In: Proceedings of the 14th International SPIN Workshop, 1-3 Jul 2007, Berlin, Germany. pp. 168-186. Lecture Notes in Computer Science 2595. Springer Verlag. ISBN 978-3-540-73369-0
Zhang, Lijun and Hermanns, H. and Eisenbrand, F. and Jansen, D.N. (2007) Flow faster: efficient decision algorithms for probabilistic simulations. In: Tools and algorithms for the construction and analysis of systems, 24 Mar-1 Apr 2007, Braga, Portugal. pp. 155-169. Lecture notes in computer science 4424. Springer. ISBN 978-3-540-71208-4

2006

Baier, C. and Hermanns, H., ed. (2006) CONCUR 2006 [Concurrency Theory, 16th International Conference]. Lecture Notes in Computer Science 4137. Springer Verlag, Berlin. ISBN 3-540-37376-4
Hermanns, H. and Palsberg, J., ed. (2006) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 3920. Springer Verlag. ISSN 0302-9743 ISBN 3-540-33056-9
Rensink, A. and Warmer, J., ed. (2006) Model Driven Architecture - Foundations and Applications. Lecture Notes in Computer Science 4066. Springer-Verlag, Berlin. ISBN 3-540-35909-5
Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V. (2006) Bisimulation and Simulation Relations for Markov Chains. In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy. pp. 73-78. Electronic Notes in Theoretical Computer Science 162. Elsevier. ISSN 1571-0661
Böde, E. and Herbstritt, M. and Hermanns, H. and Johr, S. and Peikenkamp, T. and Pulungan, R. and Wimmer, R. and Becker, B. (2006) Compositional Performability Evaluation for STATEMATE. In: 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006, 11-14 Sep 2006, Riverside, USA. pp. 167-176. IEEE Computer Society. ISBN 0-7695-2665-9
Belinfante, A.F.E. (2006) Experiments towards model-based testing using Plan 9: Labelled transition file systems, stacking file systems, on-the-fly coverage measuring. In: Proceedings of the First International Workshop on Plan 9, 4-5 Dec 2006, Madrid, Spain. pp. 53-64. Universidad Rey Juan Carlos. ISBN 84-690-2787-5
Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget: on reachability in priced probabilistic timed automata. Technical Report TR-CTIT-06-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget - On reachability in priced probabilistic timed automata. In: Quantitative Evaluation of Systems (QEST), Riverside, US. pp. 311-322. IEEE Computer Society. ISBN 0-7695-2665-9
Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2006) MoDeST: A compositional modeling formalism for real-time and stochastic systems. IEEE Transactions on Software Engineering, 32 (10). pp. 812-830. ISSN 0098-5589 *** ISI Impact 1,516 ***
Boudali, H. and Dugan, J.B. (2006) A continuous-time Bayesian network reliability modeling and analysis framework. IEEE transactions on reliability, 55 (1). pp. 86-97. ISSN 0018-9529 *** ISI Impact 2,287 ***
Brandán Briones, L. and Brinksma, H. and Stoelinga, M.I.A. (2006) A Semantic Framework for Test Coverage. In: Automated Technology for Verification and Analysis, 23-26 Oct 2006. pp. 399-414. Lecture Notes in Computer Science 4218. Springer Verlag. ISBN 978-3-540-47237-7
Brandán Briones, L. and Brinksma, H. and Stoelinga, M.I.A. (2006) A Semantic Framework for Test Coverage. Technical Report TR-CTIT-06-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bravetti, M. and Hermanns, H. and Katoen, J.P. (2006) YMCA: Why Markov Chain Algebra? In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy. pp. 107-112. Electronic Notes in Theoretical Computer Science 162. Elsevier. ISSN 1571-0661
Bujorianu, L.M. and Blom, H.A.P. and Hermanns, H. (2006) Functional Abstraction of Stochastic Hybrid Systems. In: 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS 2006, 7-9 June 2006, Alghero, Italy. pp. 160-165. Elsevier. ISBN 978-0-08-044613-4
Bujorianu, L.M. and Bujorianu, M.C. (2006) Model Checking for a Class of Performance Properties of Fluid Stochastic Models. In: Third European Performance Engineering Workshop (EPEW), June 21-22, 2006, Budapest, Hungary. pp. 93-107. Lecture Notes in Computer Science 4054. Springer Verlag. ISBN 3-540-35362-3
Bujorianu, L.M. and Lygeros, J. (2006) Toward a General Theory of Stochastic Hybrid Systems. In: Stochastic Hybrid Systems: Theory and Safety Critical Applications. Lecture Notes in Control and Information Sciences 337. Springer Verlag, Berlin, pp. 3-30. ISBN 978-3-540-33466-8
Chatterjee, K. and de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2006) Quantitative Compositional Reasoning. In: Third International Conference on the Quantitative Evaluation of Systems (QEST'06), 11-14 Sep 2006, Riverside, California. pp. 179-189. IEEE Computer Society. ISBN 0769526659
Cheung, L. and Stoelinga, M.I.A. and Vaandrager, F.W. (2006) A Testing Scenario for Probabilistic Processes. Technical Report ICIS-R06002, Radboud University Nijmegen, Nijmegen.
Daws, C.F. and Kordy, P.T. (2006) Symbolic Robustness Analysis of Timed Automata. In: Formal Modeling and Analysis of Timed Systems, 25-27 September 2006, Paris,France. pp. 143-155. Lecture Notes in Computer Science 4202. Springer Verlag. ISBN 978-3-540-45026-9
De Nicola, R. and Katoen, J.P. and Latella, D. and Massink, M. (2006) Towards a logic for performance and mobility. In: 3rd Workshop on Quantitative Aspects of Programming Languages, 2-3 Apr 2005, Edinburgh, Scotland. pp. 161-175. Electronic Notes in Theoretical Computer Science 153 (2). Elsevier. ISSN 1571-0661
Distefano, D.S. and Katoen, J.P. and Rensink, A. (2006) Safety and Liveness in Concurrent Pointer Programs. (Invited) In: Proceedings of the 4th Internatinal Symposium on Formal Methods for Components and Objects, November 1-4, 2005, Amsterdam, The Netherlands. pp. 280-312. Lecture Notes in Computer Science 4111. Springer Verlag. ISBN 978-3-540-36749-9
van de Griendt, W.E. and Ruys, T.C. (2006) New Approach and Tools for Comparative Institutional Analysis of Legal Regimes Used for Integrated Resources Management. In: Survival of the Commons: Mounting Challenges and New Realities, the 11th Conference of the IASCP, 19-23 June 2006, Bali, Indonesia. International Association for the Study of Common Property (IASCP). ISBN not assigned
Habel, A. and Pennemann, K.-H. and Rensink, A. (2006) Weakest Preconditions for High-Level Programs. Berichte aus dem Department für Informatik 8/06, University of Oldenburg, Oldenburg. ISSN 0946-2910
Habel, A. and Pennemann, K.-H. and Rensink, A. (2006) Weakest Preconditions for High-Level Programs. In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil. pp. 445-460. Lecture Notes in Computer Science 4178. Springer Verlag. ISBN 3-540-38870-2
Havinga, W.K. and Staijen, T. and Rensink, A. and Bergmans, L.M.J. and van den Berg, K.G. (2006) An Abstract Metamodel for Aspect Languages. Technical Report TR-CTIT-06-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Havinga, W.K. and Staijen, T. and Rensink, A. and Bergmans, L.M.J. and van den Berg, K.G. (2006) An Abstract Metamodel for Aspect Languages. In: Open and Dynamic Aspect Languages, 20 Mar 2006, Bonn, Germany. 9. Aspect-Oriented Software Association. ISBN not assigned
Hermann, F. and Kastenberg, H. and Modica, T. (2006) Towards Translating Graph Transformation Approaches by Model Transformations. In: Proceedings of the Second International Workshop on Graph and Model Transformation, 8 September 2006, Brighton, United Kingdom. Electronic Communications of the EASST 4. European Association of Software Science and Technology. ISSN 1863-2122
Kastenberg, H. (2006) Towards Attributed Graphs in Groove. In: Proceedings of the Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005), 22 Aug 2005, San Francisco, California, USA. pp. 47-54. Electronic Notes in Theoretical Computer Science 154. Elsevier. ISSN 1571-0661
Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Engineering Object-Oriented Semantics Using Graph Transformations. Technical Report TR-CTIT-06-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Defining Object-Oriented Execution Semantics Using Graph Transformations. In: Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, 14-16 June 2006, Bologna, Italy. pp. 186-201. Lecture Notes in Computer Science 4037. Springer Verlag. ISBN 978-3-540-34893-1
Kastenberg, H. and Rensink, A. (2006) Model Checking Dynamic States in GROOVE. In: Model Checking Software (SPIN), 30 Mar - 1 Apr 2006, Vienna, Austria. pp. 299-305. Lecture Notes in Computer Science 3925. Springer-Verlag. ISBN 3-540-33102-6
Katoen, J.P. (2006) Stochastic model checking. In: Stochastic Hybrid Systems. Automation and Control Engineering Series 24. CRC Press, pp. 77-104. ISBN 0-849-39083-4
Katoen, J.P. (2006) Constraint-oriented specification of performance aspects. In: Architectural Design of Open Distributed Systems: From Interface to Telematics (Liber Amicorum dedicated to Chris Vissers). Telematica Instituut, Enschede, pp. 47-54. ISBN 90-75176-41-4
Katoen, J.P. and Zapreev, I.S. (2006) Safe on-the-fly steady-state detection for time-bounded reachability. In: Quantitative Evaluation of Systems (QEST), Riverside, US. pp. 301-310. IEEE Computer Society. ISBN 0-7695-2665-9
Kleppe, A.G. (2006) First European Workshop on Composition of Model Transformations - CMT 2006. Technical Report TR-CTIT-06-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kleppe, A.G. (2006) MCC: A Model Transformation Environment. In: Model Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Proceedings, 10 Jul - 13 Jul 2006, Bilboa, Spain. pp. 173-187. Lecture Notes in Computer Science 4066. Springer Verlag. ISBN 978-3-540-35909-8
Krilavičius, T. (2006) Hybrid Techniques for Hybrid Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-90 ISBN 90-365-2397-4
Kurban, M.E. and Niebert, P. and Qu, H. and Vogler, W. (2006) Stronger reduction criteria for Local First Search. In: Proceedings of the Third International Colloquium on Theoretical Aspects of Computing, 20-24 Nov 2006, Tunis, Tunisia. pp. 108-122. Lecture Notes in Computer Science 4281/2006. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-48815-6
Langerak, R. and Kuzmych, O. (2006) Estimations of solutions convergence of hybrid systems with delay. In: Conference on Differential and Difference Equations and Applications CDDEA 2006, June 26–30, 2006, Zilina, Slovensko. pp. 30-31. Faculty of Science, University of Zilina. ISBN 80-8070-563-1
Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2006) Synthesis and Stochastic Assessment of Cost-Optimal Schedules. Technical Report TR-CTIT-06-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2006) Model Checking Quantified Computation Tree Logic. In: Concurrency Theory (CONCUR), 27-30 Aug 2006, Bonn, Germany. pp. 110-125. Lecture Notes in Computer Science 4137. Springer-Verlag. ISBN 3-540-37376-4
Rensink, A. (2006) Nested Quantification in Graph Transformation Rules. (Invited) In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil. pp. 1-13. Lecture Notes in Computer Science 4178. Springer Verlag. ISBN 3-540-38870-2
Rensink, A. and Distefano, D.S. (2006) Abstract Graph Transformation. In: Proceedings of the Third International Workshop on Software Verification and Validation (SVV 2005), 31 Oct 2005, Manchester. pp. 39-59. Electronic Notes in Theoretical Computer Science 157. Elsevier. ISSN 1571-0661
Rensink, A. and Heckel, R. and König, B. (2006) Preface. In: Graph Transformation for Verification and Concurrency, Aug 2005, San Fransisco, USA. pp. 1-5. Electronic Notes in Theoretical Computer Science 154 (2). Elsevier. ISSN 1571-0661
Sathyanathan, P.W. and Rensink, A. (2006) Unfolding Shape Graphs. Technical Report TR-CTIT-06-68, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Smelik, R. and Rensink, A. and Kastenberg, H. (2006) Specification and Construction of Control Flow Semantics. In: Visual Languages and Human-Centric Computing (VL/HCC), Sep 2006, Brighton, U.K.. pp. 65-72. IEEE Computer Society. ISBN 0-7695-2586-5
Staijen, T. and Rensink, A. (2006) A Graph-Transformation-Based Semantics for Analysing Aspect Interference. In: Workshop on Graph Computation Models, 18 Sept 2006, Natal, Brazil. pp. 1-12. ISBN not assigned
Warmer, J.B. and Kleppe, A.G. (2006) Building a Flexible Software Factory Using Partial Domain Specific Models. In: Sixth OOPSLA Workshop on Domain-Specific Modeling (DSM'06), 22 Oct 2006, Portland, Oregon, USA. pp. 15-22. University of Jyvaskyla. ISSN 1239-291X ISBN 951-39-2631-1
Wimmer, R. and Herbstritt, M. and Hermanns, H. and Strampp, K. and Becker, B. (2006) Sigref - A Symbolic Bisimulation Tool Box. In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, 23-26 October 2006, Beijing, China. pp. 477-492. Lecture notes in Computer Science 4218. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-47237-7

2005

Broy, M. and Jonsson, B. and Katoen, J.P. and Leucker, M. and Pretschner, A., ed. (2005) Model-Based Testing of Reactive Systems, Advanced Lectures. Lecture Notes in Computer Science 3472. Springer-Verlag, Berlin. ISBN 3 540 26278 4
de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2005) Model Checking Discounted Temporal Properties. Theoretical computer science, 345 (1). pp. 139-170. ISSN 0304-3975 *** ISI Impact 0,643 ***
Andova, S. and Willemse, T.A.C. (2005) Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability. Technical Report TR-CTIT-05-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and D'Argenio, P.R. and Größer, M. (2005) Partial Order Reduction for Probabilistic Branching Time. In: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), 23 May 2006, Edinburgh, Scotland. pp. 97-116. Electronic Notes in Theoretical Computer Science 153 (2). Elsevier. ISSN 1571-0661
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2005) Model checking meets performance evaluation. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 10-16. ISSN 0163-5999
Baier, C. and Hermanns, H. and Katoen, J.P. and Haverkort, B.R.H.M. (2005) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical computer science, 345 (1). pp. 2-26. ISSN 0304-3975 *** ISI Impact 0,643 ***
Baier, C. and Katoen, J.P. and Hermanns, H. and Wolf, V. (2005) Comparative branching-time semantics for Markov chains. Information and Computation, 200 (2). pp. 149-214. ISSN 0890-5401 *** ISI Impact 0,873 ***
Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Production Scheduling by Reachability Analysis - A Case Study. In: Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), 4-5 Apr 2005, Denver, Colorado. 140a-140a. IEEE Computer Society. ISBN 0-7695-2312-9
Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Scheduling Lacquer Production by Reachability Analysis -- A Case Study. Technical Report TR-CTIT-05-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Scheduling lacquer production by reachability analysis - A case study. In: 16th IFAC World Congress, Prague, Czech Republic. MoA17TO3. International Federation of Automatic Control (IFAC). ISBN not assigned
Belinfante, A.F.E. and Frantzen, L. and Schallhart, C. (2005) Tools for Test Case Generation. In: Model-Based Testing of Reactive Systems: Advanced Lectures. Lecture Notes in Computer Science 3472. Springer Verlag, pp. 391-438. ISBN 3 540 26278 4
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2005) Action Refinement in Conformance Testing. Technical Report TR-CTIT-05-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2005) Action Refinement in Testing with UIOCO. Technical Report TR-CTIT-05-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2005) Action Refinement in Conformance Testing. In: Testing of Communicating Systems (TESTCOM). pp. 81-96. Lecture Notes in Computer Science 3502. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-26054-7
Bohnenkamp, H.C. and Belinfante, A.F.E. (2005) Timed Testing with TorX. In: Formal Methods Europe (FME), 18-22 July 2005, Newcastle, UK. pp. 173-188. Lecture Notes in Computer Science 3582. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-27882-6
Bohnenkamp, H.C. and Gorter, J. and Guidi, J. and Katoen, J.P. (2005) Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. In: Int. Conf. on Dependable Systems and Networks, Yokohama, Japan. pp. 704-709. IEEE Computer Society. ISBN 0 7695 2282 3
Brandán Briones, L. and Brinksma, H. (2005) Testing multi input-output real-time systems (Extended Version). Technical Report TR-CTIT-05-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brandán Briones, L. and Brinksma, H. (2005) Testing multi input-output real-time systems. In: Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, 1-4 Nov 2005, Manchester, UK. pp. 264-279. Lecture Notes in Computer Science 3785. Springer Verlag. ISBN 3 540 29797 9
Brandán Briones, L. and Röhl, M. (2005) Test Derivation from Timed Automata. In: Model-Based Testing of Reactive Systems. Lecture Notes in Computer Science 3472. Springer Verlag, Berlin, pp. 201-231. ISBN 3 540 26278 4
Brinksma, H. and Krilavičius, T. (2005) Behavioural Hybrid Process Calculus. Technical Report TR-CTIT-05-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinksma, H. and Krilavičius, T. and Usenko, Y.S. (2005) A process-algebraic approach to hybrid systems. In: 16th IFAC World Congress, 3-8 Jul 2005, Prague, Czech Republic. IFAC. ISBN 008045108X
Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (2005) A Modelling Method for Embedded Systems. In: 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Oct 2005, Montego Bay, Jamaica. IEEE Computer Society. ISBN not assigned
Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (2005) A Modelling Method for Embedded Systems. Technical Report TR-CTIT-05-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. (2005) A statistical inference method for the stochastic reachability analysis. In: Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on, 12-15 Dec. 2005, Seville, Spain. pp. 8088-8093. IEEE Computer Society. ISBN 0-7803-9567-0
Bujorianu, L.M. and Bujorianu, M.C. and Lygeros, J. (2005) Abstractions of Stochastic Hybrid Systems. In: 44th IEEE Conference on Decision and Control, 12-15 December 2005, Seville, Spain. pp. 4712-4717. IEEE Computer Society. ISBN 0-7803-9568-9
Cloth, L. and Katoen, J.P. and Khattri, M. and Pulungan, R. (2005) Model Checking Markov Reward Models with Impulse Rewards. In: Int. Conf. on Dependable Systems and Networks, 28 June - 01 July, Yokohama, Japan. pp. 722-731. IEEE Computer Society. ISBN 0 7695 2282 3
D'Argenio, P.R. and Gebremichael, B. (2005) The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. In: Proceedings of CONCUR 2005, 23-26 Aug 2005, San Francisco, USA. pp. 125-140. Lecture Notes in Computer Science 3653. Springer Verlag. ISBN 3-540-28309-9
D'Argenio, P.R. and Katoen, J.P. (2005) A theory of stochastic systems part I: Stochastic automata. Information and Computation, 203 (1). pp. 1-38. ISSN 0890-5401 *** ISI Impact 0,873 ***
D'Argenio, P.R. and Katoen, J.P. (2005) A theory of stochastic systems. Part II: Process algebra. Information and Computation, 203 (1). pp. 39-74. ISSN 0890-5401 *** ISI Impact 0,873 ***
Haverkort, B.R.H.M. and Katoen, J.P. (2005) Performance and verification. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 3-3. ISSN 0163-5999
Heckel, R. and König, B. and Rensink, A. (2005) Graph Transformation for Verification and Concurrency. Technical Report TR-CTIT-05-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. In: Proceedings of the 5th international workshop on Software and performance. pp. 13-23. ACM Press. ISBN 1-59593-087-6
Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) A comparative reliability analysis of ETCS train radio communications. Technical Report 2 Transregional Collaborative Research Center 14 AVACS, Germany. ISSN 1860-9821
Holzmann, G.J. and Ruys, T.C. (2005) Effective Bug Hunting with SPIN and Modex. (Invited) In: Model Checking Software, Proceedings of the 12th International SPIN Workshop, August 22-24, 2005, San Francisco, CA, USA. pp. 24-24. Lecture Notes in Computer Science 3639. Springer Verlag. ISSN 0302-9743 ISBN 3-540-28195-9
Jansen, D.N. and Hermanns, H. (2005) QoS modelling and analysis with UML-statecharts: the StoCharts approach. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 28-33. ISSN 0163-5999
Jones, V.M. and Rensink, A. and Brinksma, H. (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. In: Proc. Ninth IEEE International EDOC Enterprise Computing Conference (EDOC), 19-23 Sep 2005, University of Twente, The Netherlands. pp. 58-69. IEEE Computer Society. ISBN 0-7695-2441-9
Jones, V.M. and Rensink, A. and Brinksma, H. (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. Technical Report TR-CTIT-05-66, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Katoen, J.P. and Khattri, M. and Zapreev, I.S. (2005) A Markov reward model checker. In: 2nd Int. Conf. on Quantitative Evaluation of Systems, Turin, Italy. pp. 243-245. IEEE Computer Society. ISBN 0 7695 2427 3
Katoen, J.P. and Zapreev, I.S. (2005) Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. Technical Report TR-CTIT-05-52, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Langerak, R. and Polderman, J.W. (2005) Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation. In: 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, 12-15 Dec 2005, Sevilla, Spain. pp. 4867-4872. IEEE Computer Society. ISBN 0-7803-9567-0
Lenzini, G. (2005) Integration of Analysis Techniques in Security and Fault-Tolerance. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 05-70 ISBN 90-365-2200-5
Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2005) Axiomatising Divergence. Information and computation, 203 (2). pp. 115-144. ISSN 0890-5401 *** ISI Impact 0,873 ***
Rensink, A. and Distefano, D.S. (2005) Abstract Graph Transformation. Technical Report TR-CTIT-05-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Vogler, W. (2005) Fair Testing. Technical Report TR-CTIT-05-64, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Strubbe, S.N. and Langerak, R. (2005) A Composition Operator for Systems with Active and Passive Actions. In: Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005, Taiwan. pp. 24-37. Lecture Notes in Computer Science 3731. Springer-Verlag. ISBN 354029189X
Zhang, Lijun and Hermanns, H. and Jansen, D.N. (2005) Logic and model checking for hidden Markov models. Technical Report 6 Transregional Collaborative Research Center 14 AVACS, Germany. ISSN 1860-9821
Zhang, Lijun and Hermanns, H. and Jansen, D.N. (2005) Logic and model checking for hidden Markov models. In: Formal techniques for networked and distributed systems, FORTE, Taipei, Taiwan. pp. 98-112. Lecture notes in computer science 3731. Springer-Verlag. ISBN 3-540-29189-X

2004

Baier, C. and Haverkort, B.R.H.M. and Katoen, J.P. and Hermanns, H. and Siegle, M., ed. (2004) Validation of Stochastic Systems. Lecture Notes in Computer Science 2925. Springer-Verlag. ISBN 3-540-22265-0
Franceschinis, G. and Haverkort, B.R.H.M. and Katoen, J.P. and Woodside, M., ed. (2004) Proceedings of the First Int. Conf. on the Quantitative Evaluation of Systems (QEST). IEEE Computer Society, Los Alamitos. ISBN 0-7695-2185-1
de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2004) Model Checking Discounted Temporal Properties. In: Proc. 10th Int'l Conf. on tools and algorithms for the construction and analysis of systems, March 29 - April 2, 2004, Barcelona, Spain. pp. 77-92. Lecture Notes in Computer Science 2988. Springer. ISBN 978-3-540-21299-7
de Alfaro, L. and Faella, M. and Stoelinga, M.I.A. (2004) Linear and Branching Metrics for Quantitative Transition Systems. In: Proc. 31st Int'l Colloq. on Automata, Languages and Programming (ICALP04), July 12-16, 2004, Turku, Finland. pp. 97-109. Lecture Notes in Computer Science 3142. Springer. ISBN 978-3-540-22849-3
Andova, S. and Willemse, T.A.C. (2004) Verification of probabilistic behaviours. In: 1 st South-East European Workshop on Formal Methods: Agile Formal Methods: Practical, Rigorous Methods for a Changing World, 20 Nov 2003, Thessaloniki, Greece. pp. 84-99. SEERC. ISBN 960-87869-1-6
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pp. 61-76. Lecture Notes in Computer Science 2988. Springer. ISBN 3-540-21299-X
Baier, C. and Hermanns, H. and Katoen, J.P. (2004) Probabilistic weak simulation is polynomially decidable. Information Processing Letters, 89 (3). pp. 123-252. ISSN 0020-0190 *** ISI Impact 0,605 ***
Baier, C. and Katoen, J.P. and Hermanns, H. and Wolf, V. (2004) Comparative Branching-Time Semantics for Markov Chains. Technical Report TR-CTIT-04-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2004) MoDeST: A compositional modeling formalism for real-time and stochastic systems. Technical Report TR-CTIT-04-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A.H. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. Technical Report TR-CTIT-04-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A.H. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. In: First International Conference on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands. pp. 28-37. IEEE Computer Society. ISBN 0-7695-2185-1
Brandán Briones, L. and Brinksma, H. (2004) A test generation framework for quiescent real-time systems - extended version. Technical Report TR-CTIT-04-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brandán Briones, L. and Brinksma, H. (2004) A test generation framework for quiescent real-time systems. In: Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, 21 Sep 2004, Linz, Austria. pp. 64-78. Lecture Notes in Computer Science 3395. Springer Verlag. ISBN 978-3-540-25109-5
Brinksma, H. and Mader, A.H. (2004) On Verification Modelling of Embedded Systems. Technical Report TR-CTIT-04-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Distefano, D.S. and Katoen, J.P. and Rensink, A. (2004) Who is pointing when to whom? In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 16-18 Dec 2004, Chennai, India. pp. 250-262. Lecture notes in Computer Science 3328. Springer. ISBN 3-540-24058-6
Gorter, J. (2004) Modeling and analysis of the liveness UPnP extension. Master's thesis, University of Twente.
Jansen, D.N. and Hermanns, H. (2004) Dependability checking with StoCharts: Is train radio reliable enough for trains? In: QEST 2004: first international conference on the quantitative evaluation of systems, Enschede, Netherlands. pp. 250-259. IEEE Computer Society. ISBN 0-7695-2185-1
Jones, V.M. and Rensink, A. and Ruys, T.C. and Brinksma, H. and van Halteren, A.T. (2004) A formal MDA approach for mobile health systems. In: EWMDA-2, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, 7-8 Sept 2004, Canterbury, England. pp. 28-35. University of Kent. ISBN not assigned
Katoen, J.P. and Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. (2004) Embedded software analysis with MOTOR. In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Lecture Notes in Computer Science 3185. Springer Verlag, Bertinoro, Italy, pp. 268-293. ISBN 3-540-23068-8
Massink, M. and Katoen, J.P. and Latella, D. (2004) Model checking dependabiliy attributes of wireless group communication. In: Dependable Systems and Networks - Performance and Dependability Symposium (DSN 2003), 28 June - 1 July 2004, Florence, Italy. pp. 711-720. IEEE Computer Society. ISBN 0-7695-2052-9
Ruys, T.C. and Holzmann, G.J. (2004) Advanced SPIN Tutorial. In: Model Checking Software. Proceedings of the 11th International SPIN Workshop (SPIN 2004).. pp. 304-305. Lecture notes in Computer Science 2989. Springer Verlag.

2003

Andova, S. and Hermanns, H. and Katoen, J.P. (2003) Discrete-time rewards model-checked. In: Formal Modelling and Analysis of Timed Systems (FORMATS 2003). pp. 88-104. Lecture Notes in Computer Science 2791. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-21671-1
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. Technical Report TR-CTIT-03-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589 *** ISI Impact 1,516 ***
Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V. (2003) Comparative branching-time semantics for Markov chains. In: Concurrency Theory (CONCUR). pp. 492-507. Lecture Notes in Computer Science 2761. Springer-Verlag. ISBN 978-3-540-40753-9
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2003) Component Based Testing with ioco. Technical Report TR-CTIT-03-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinksma, H. (2003) Compositional Theories of Qualitative and Quantitative Behaviour. In: 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN), Eindhoven, The Netherlands. pp. 37-42. Springer-Verlag.
Brinksma, H. and Mader, A.H. (2003) Prozessalgebra, Teil 1. Automatisierungstechnik, 51 (8). pp. 13-16. ISSN 0178-2312 *** ISI Impact 0,212 ***
Brinksma, H. and Mader, A.H. (2003) Prozessalgebra, Teil 2. Automatisierungstechnik, 51 (9). pp. 17-20. ISSN 0178-2312 *** ISI Impact 0,212 ***
Buchholz, P. and Katoen, J.P. and Kemper, P. and Tepper, C. (2003) Model-checking large structured Markov chains. Journal of Logic and Algebraic Programming, 56 (1-2). pp. 69-97. ISSN 1567-8326 *** ISI Impact 0,579 ***
Distefano, D.S. (2003) On Model Checking the Dynamics of Object-Based Software: A Foundational Approach. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-58
Distefano, D.S. and Rensink, A. and Katoen, J.P. (2003) Who is pointing when to whom: on model-checking pointer structures. Technical Report TR-CTIT-03-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Goga, N. (2003) Experimenting with the probabilistic TorX. In: Software Engineering for High Assurance Systems (SEHAS '03), 9-10 May 2003, Portland, Oregon, USA. pp. 13-20. Software Engineering Institute, Carnegie Mellon University, USA. ISBN not assigned
Goga, N. (2003) A probabilistic coverage for on-the-fly test generation algorithms. In: Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS '03), 2-3 April 2003, Southampton, UK. Technical Report DSSE-TR-2003-2. ECS, University of Southampton. ISBN not assigned
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2003) A tool for model-checking Markov chains. Int. Journal on Software Tools for Technology Transfer, 4 (2). pp. 153-172. ISSN 1433-2779
Jansen, D.N. (2003) Extensions of Statecharts with probability, time, and stochastic timing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-57 ISBN 3-9522850-0-5
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2003) A QoS-oriented extension of UML statecharts. In: «UML» 2003: the unified modeling language, 20-24 Oct 2003, San Francisco, Calif., USA. pp. 76-91. Lecture Notes in Computer Science 2863. Springer-Verlag. ISBN 3-540-20243-9
Langerak, R. and Polderman, J.W. and Krilavičius, T. (2003) Stability Analysis for Hybrid Automata Using Conservative Gains. In: IFAC Conference on Analysis and Design of Hybrid Systems ADHS03, 16-18 June 2003, Saint-Malo, France. pp. 377-382. ISBN not assigned
Ruys, T.C. (2003) Optimal Scheduling Using Branch and Bound with SPIN 4.0. In: Model Checking Software, Proceedings of the 10th International SPIN Workshop. pp. 1-17. Lecture notes in Computer Science 2648. Springer Verlag. ISSN 0302-9743 ISBN 3-540-40117-2
Ruys, T.C. and Brinksma, H. (2003) Managing the Verification Trajectory. International journal on software tools for technology transfer, 4 (2). pp. 246-259. ISSN 1433-2779
Tretmans, G.J. and Brinksma, H. (2003) TorX: Automated Model-Based Testing. In: First European Conference on Model-Driven Software Engineering, December 11-12, 2003, Nuremberg, Germany. pp. 31-43. ISBN not assigned
Turetayev, D. (2003) Nondeterminism in Stochastic Modeling. Technical Report TR-CTIT-03-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2002

Brinksma, H. and Larsen, K.G., ed. (2002) Computer Aided Verification. Lecture Notes in Computer Science 2404. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-43997-8
Hermanns, H. and Segala, R., ed. (2002) Process Algebra and Probabilistic Methods, Performance Modeling and Verification. Lecture Notes in Computer Science 2399. Springer-Verlag, Copenhagen, Denmark. ISSN 0302-9743 ISBN 3-540-43913-7
Katoen, J.P. and Stevens, P., ed. (2002) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 2280. Springer Verlag, Berlin. ISSN 0302-9743
Andova, S. (2002) Probabilistic Process Algebra. PhD thesis, Eindhoven University of Technology.
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2002) Model-Checking Algorithms for Continuous-Time Markov Chains. Technical Report TR-CTIT-02-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2002) Automated performance and dependability evaluation using model checking. In: Computer Performance Evaluation. Lecture Notes in Computer Science 2459. Springer Verlag, Berlin, pp. 261-289. ISBN 3-540-44252-9
Baier, C. and Katoen, J.P. and Hermanns, H. and Haverkort, B.R.H.M. (2002) Simulation for continuous-time Markov chains. In: CONCUR 2002 - Concurrency Theory, 13th International Conference, August 20-23, 2002, Brno, Czech Republic. pp. 473-489. Lecture Notes in Computer Science 2421. Springer. ISBN 3-540-44043-7
Belinfante, A.F.E. (2002) Timed Testing with TorX: The Oosterschelde Storm Surge Barrier. In: Handout 8e Nederlandse Testdag, 20 Nov 2002, Rotterdam, the Netherlands. CMG. ISBN not assigned
Brinksma, H. and Mader, A.H. (2002) Model checking embedded system designs. (Invited) In: 6th Int. Workshop on Discrete Event Systems (WODES), Zaragoza, Spain. pp. 151-158. IEEE Computer Society. ISBN 0-7695-1683-1
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
Distefano, D.S. and Rensink, A. and Katoen, J.P. (2002) Model checking birth and death. In: Foundations of Information Technology in the Era of Network and Mobile Computing: 2nd IFIP International Conference on Theoretical Computer Science (TCS), Quebec, Canada. pp. 435-447. IFIP Proceedings 223. Kluwer Academic Publishers. ISBN 1402071817
Feijs, L.M.G. and Goga, N. and Mauw, S. and Tretmans, G.J. (2002) Test Selection, Trace Distance and Heuristics. In: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom, March 19-22, 2002, Berlin, Germany. pp. 267-282. IFIP Conference Proceedings 210. Kluwer Academic Publishers. ISBN 0-7923-7695-1
Haverkort, B.R.H.M. and Cloth, L. and Hermanns, H. and Katoen, J.P. and Baier, C. (2002) Model-checking performability properties. In: International IEEE Conference on Dependable Systems and Networks (DSN), 23-26 June 2002, Bethesda, MD, USA. pp. 103-112. IEEE Computer Society. ISBN 0-7695-1597-5
Hermanns, H. (2002) Interactive Markov Chains and the Quest for Quantified Quality. Lecture Notes in Computer Science 2428. Springer-Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-44261-8
Hermanns, H. (2002) On Combining Functional Verification and Performance Evaluation Using CADP. In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, July 22-24, 2002, Copenhagen, Denmark. pp. 410-429. Lecture Notes in Computer Science 2391. Springer-Verlag. ISBN 3-540-43928-5
Hermanns, H. and Herzog, U. and Katoen, J.P. (2002) Process algebra for performance evaluation. Theoretical Computer Science, 274 (1-2). pp. 43-87. ISSN 0304-3975 *** ISI Impact 0,643 ***
Hermanns, H. and Katoen, J.P. (2002) Guest editors' introduction: Model checking in a nutshell. Journal of Logic and Algebraic Programming, 52-53. pp. 1-5. ISSN 1567-8326 *** ISI Impact 0,579 ***
Jansen, D.N. (2002) Probabilistic UML statecharts for specification and verification: a case study. In: Critical systems development with UML: proceedings of the UML'02 workshop, Leipzig, Germany. pp. 121-131. Technical Report TUM-I0208. Technische Universität München.
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. Technical Report TR-CTIT-02-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. In: Formal techniques in real-time and fault-tolerant systems: ... FTRTFT, September 9-12, 2002, Oldenburg, Germany. pp. 355-374. Lecture Notes in Computer Science 2469. Springer-Verlag. ISBN 3-540-44165-4
Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2002) Axiomatising Divergence. In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002. pp. 585-596. Lecture Notes In Computer Science 2380. Springer Verlag. ISSN 0302-9743 ISBN 3-540-43864-5
Mesman, B. and Spaanenburg, L. and Brinksma, H. and Deprettere, E.F. and Verhulst, E. and Timmer, F. and van Gageldonk, H. and Eggermont, L.D.J. and van Leuken, R. and Krol, T. and Hendriksen, W. (2002) Embedded Systems Roadmap -- Vision on technology for the future of PROGRESS. Technology Foundation STW, Utrecht. ISBN 90-73461-30-8
Ruys, T.C. (2002) SPIN Tutorial: How to Become a SPIN Doctor. In: 9th International SPIN Workshop (SPIN 2002). pp. 6-13. Lecture Notes in Computer Science 2318. Springer Verlag.
Sluiman, F.J. (2002) Linear Data Structures for Storage Allocation in Attribute Evaluators. PhD thesis, University of Twente. ISBN 90-365-1713-3
Tretmans, G.J. and Brinksma, H. (2002) Côte de Resyste -- Automated Model Based Testing. In: 3rd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 246-255. Technology Foundation STW. ISBN 90-73461-34-0
Usenko, Y.S. (2002) Linearization of μ-CRL specifications. Extended abstract. In: 3rd International Workshop on Verification and Computational Logic (VCL2002), Southampton, UK. Technical Report DSSE-TR-2002-5. Department of electronics and computer science. ISBN not assigned
de Vries, R.G. and Belinfante, A.F.E. and Feenstra, J. (2002) Automated Testing in Practice: The Highway Tolling System. In: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV. pp. 219-234. IFIP Conference Proceedings 210. Kluwer Academic Publishers. ISBN 0-7923-7695-1

2001

Brinksma, H. and Hermanns, H. and Katoen, J.P., ed. (2001) Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science 2090. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-42479-2
Tretmans, G.J. and Brinksma, H., ed. (2001) Formal Approaches to Testing of Software FATES'01. Technical Report NS-01-4, BRICS Notes Series, Arhus, Denmark. ISSN 0909-3206
Belinfante, A.F.E. and Brinksma, H. and Feenstra, J. and Tretmans, G.J. and de Vries, R.G. (2001) Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. In: Mobile Communications in Perspective -- 7th Annual CTIT Workshop. pp. 49-51. Centre for Telematics and Information Technology University of Twente. ISBN 90-3651-546-7
Belinfante, A.F.E. and Feenstra, J. and Heerink, A.W. and de Vries, R.G. (2001) Specification based formal testing: the EasyLink case study. In: 2nd PROGRESS Workshop on Embedded Systems, October 18, 2000, Utrecht, the Netherlands. pp. 73-82. Technology Foundation STW. ISBN 90-73461-26-X
Brinksma, H. (2001) Verification is experimentation! Software Tools for Technology Transfer, 3 (2). pp. 107-217. ISSN 1433-2779
Brinksma, H. and Hermanns, H. (2001) Process Algebra and Markov Chains. In: Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science 2090. Springer Verlag, Berlin, pp. 183-231. ISBN 3-540-42479-2
Brinksma, H. and Katoen, J.P. (2001) Hooggespannen verwachtingen model checking. Bits en Chips, 3 (4). pp. 31-34. ISSN 1879-6443
Brinksma, H. and Tretmans, G.J. (2001) Testing Transition Systems: An Annotated Bibliography. In: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, June 19-23, 2000, Nantes, France. pp. 187-195. Lecture Notes in Computer Science 2067. Springer-Verlag. ISBN 3-540-42787-2
Cloth, L. and Bohnenkamp, H.C. and Haverkort, B.R.H.M. (2001) Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. In: Process Algebra and Probabilistic Models, Performance Modeling and Verification, 2001, Aachen, Germany. pp. 152-167. Lecture Notes in Computer Science 2165. ISBN 3-540-42556-X
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) MODEST: A modelling language for stochastic timed systems. In: Joint Int. Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV), Aachen, Germany. pp. 87-104. Springer-Verlag. ISBN 3-540-42556-X
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) Modelling stochastic timed systems. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 31-36. Technology Foundation STW. ISBN 90-73461-26-X
Distefano, D.S. and Rensink, A. and Katoen, J.P. (2001) Model Checking Dynamic Allocation and Deallocation. Technical Report TR-CTIT-01-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hermanns, H. (2001) Construction and Verification of Performance and Reliability Models. Bulletin of the European Association for Theoretical Computer Science, 74. pp. 135-153. ISSN 0252-9742
Hermanns, H. and Katoen, J.P. (2001) Performance evaluation:= (process algebra + model checking) x Markov chains. (Invited) In: CONCUR 2001 - Concurrency Theory: 12th International Conference, 20-25 Aug 2001, Aalborg, Denmark. pp. 59-81. Lecture Notes in Computer Science 2154. Springer. ISBN 3-540-42497-0
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. (2001) Implementing a Model Checker for Performability Behaviour. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), September 15-16, 2001, Erlangen, Germany. pp. 110-114. Arbeitsberichte des IMMD 34 (13). University of Erlangen. ISSN 0344-3515
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2001) A model checker for performance and dependability properties. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 83-88. Technology Foundation STW. ISBN 90-73461-26-X
Infante-Lopez, G.G. and Hermanns, H. and Katoen, J.P. (2001) Beyond memoryless distributions: model checking semi-Markov chains. In: Process Algebra and Probabilistic Methods. Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, 12-14 Sep 2001, Aachen, Germany. pp. 57-70. Lecture Notes in Computer Science 2165. Springer Verlag. ISBN 3-540-42556-X
Katoen, J.P. and Baier, C. and Latella, D. (2001) Metric semantics for true concurrent real time. Theoretical computer science, 254 (1/2). pp. 501-542. ISSN 0304-3975 *** ISI Impact 0,643 ***
Katoen, J.P. and D'Argenio, P.R. (2001) General distributions in process algebra. In: Lectures on Formal Methods and Performance Analysis. Lecture notes in Computer Science 2090. Springer Verlag, London, pp. 375-428.
Katoen, J.P. and Kwiatkowska, M.Z. and Norman, G. and Parker, D.A. (2001) Faster and symbolic CTMC model checking. In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, September 12-14, 2001, Aachen, Germany. pp. 23-38. Lecture Notes in Computer Science 2165. Springer. ISSN 0302-9743 ISBN 3-540-42556-X
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
Mader, A.H. and Brinksma, H. and Wupper, H. and Bauer, N. (2001) Design of a PLC Control Program for a Batch Plant - VHS Case Study 1. European Journal of Control, 7 (4). pp. 416-439. ISSN 0947-3580 *** ISI Impact 1,342 ***
Ruys, T.C. (2001) Towards Effective Model Checking. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 01-34 ISBN 90-365-1564-5
Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M. (2001) First passage time analysis of stochastic process algebra using partial orders. In: Tools and Algorithms for the Construction and Analysis of Systems. pp. 220-235. Lecture Notes in Computer Science 2031. Springer. ISSN 0302-9743 ISBN 3-540-41865-2
Springintveld, J. and Vaandrager, F.W. and D'Argenio, P.R. (2001) Testing Timed Automata. Theoretical Computer Science, 254 (1-2). pp. 225-257. ISSN 0304-3975 *** ISI Impact 0,643 ***
Tretmans, G.J. (2001) Bugs buitensluiten - Automatisch testen vergroot kwaliteit software. De Ingenieur, 113 (2). pp. 24-25. ISSN 0020-1146
Tretmans, G.J. and Wijbrans, K.C.J. and Chaudron, M. (2001) Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods. Formal Methods in System Design, 19 (2). pp. 195-215. ISSN 0925-9856 *** ISI Impact 1,132 ***
de Vries, R.G. (2001) Towards Formal Test Purposes. In: Formal Approaches to Testing of Software 2001 (FATES'01), August 25, 20, Aarhus, Denmark. pp. 61-76. BRICS Notes Series NS-01-4. ISSN 0909-3206

2000

Haverkort, B.R.H.M. and Bohnenkamp, H.C. and Smith, C.U., ed. (2000) Computer Performance Evaluation: Modelling Techniques and Tools. Lecture Notes in Computer Science 1786. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-67260-5
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) Model checking continuous-time Markov chains by transient analysis. In: Computer Aided Verification, 12th International Conference, CAV 2000, July 15-19, 2000, Chicago, IL, USA. pp. 358-372. Lecture Notes in Computer Science 1855. Springer Verlag. ISBN 3-540-67770-4
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Logical Characterisation of Performability Properties. In: International Conference on Automata, Languages and Programming (ICALP), 10-14 July 2000, Geneva, Switserland. pp. 780-792. Lecture Notes in Computer Science 1853. Springer. ISBN 9783540677154
Belinfante, A.F.E. and de Vries, R.G. and Du Bousquet, L. and Ramangalahy, S. and Simon, S. and Viho, C. (2000) Formal Test Automation: The Conference protocol with TGV/TorX. In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. pp. 221-228. IFIP Conference Proceedings 176. Kluwer Academic Publishers. ISBN 0-7923-7921-7
Brinksma, H. (2000) Verification Is Experimentation! In: CONCUR 2000 - Concurrency Theory, 11th International Conference, August 22-25, 2000, University Park, PA, USA. pp. 17-24. Lecture Notes in Computer Science 1877. Springer Verlag. ISBN 3-540-67897-2
Brinksma, H. and Mader, A.H. (2000) Verification and Optimization of a PLC Control Schedule. In: 7th Int. SPIN Workshop on Model Checking of Software, Stanford Univ., California. pp. 73-92. Springer-Verlag. ISBN 3-540-41030-9
D'Argenio, P.R. (2000) A compositional Translation of Stochastic Automata into Timed Automata. Technical Report TR-CTIT-00-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) On a temporal Logic for Object-based Systems. Technical Report TR-CTIT-00-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) On a Temporal Logic for Object-Based Systems. In: Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'2000). pp. 305-326. Kluwer Academic Publishers. ISBN 0-7923-7923-3
Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany. pp. 228-237. IEEE Computer Society. ISBN 0769505430
Heerink, A.W. and Feenstra, J. and Tretmans, G.J. (2000) Formal Test Automation: The Conference Protocol with PHACT. In: Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques. pp. 211-220. IFIP Conference Proceedings 176. Kluwer Academic Publishers. ISBN 0-7923-7921-7
Hermanns, H. (2000) Performance and reliability model checking and model construction. (Invited) In: Formal Methods for Industrial Critical Systems, 5th International Workshop, FMICS 2000, 3-4 April 2000, Berlin, Germany. pp. 11-27. report 91. GMD. ISSN 1435-2702
Hermanns, H. and Herzog, U. and Klehmet, U. and Mertsiotakis, V. and Siegle, M. (2000) Compositional Performance Modelling with the TIPPtool. Performance Evaluation, 39 (1-4). pp. 5-35. ISSN 0166-5316 *** ISI Impact 0,944 ***
Hermanns, H. and Katoen, J.P. (2000) Automated compositional Markov chain generation for a plain-old telephone system. Science of Computer Programming, 36 (1). pp. 97-127. ISSN 0167-6423 *** ISI Impact 0,828 ***
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) A Markov Chain Model Checker. In: Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS 2000, 27-31 March 2000, Berlin, Germany. pp. 347-362. Lecture Notes in Computer Science 1785. Springer Verlag. ISBN 3-540-67282-6
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) Towards Model Checking Stochastic Process Algebra. In: Integrated Formal Methods, 2nd international Workshop, IFM 2000, 1-3 Nov 2000, Schloss Dagstuhl, Saarland, Germany. pp. 420-439. Lecture Notes in Computer Science 1945. Springer Verlag. ISBN 3-540-41196-8
Katoen, J.P. and Nymeyer, A. (2000) Pattern-matching algorithms based on term rewrite systems. Theoretical Computer Science, 238 (1-2). pp. 439-463. ISSN 0304-3975 *** ISI Impact 0,643 ***
Ruys, T.C. (2000) Low-Fat Recipes for SPIN. In: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, August 30 - September 1, 2000, Stanford, California. pp. 287-321. Lecture Notes in Computer Science 1885. Springer Verlag. ISBN 3-540-41030-9
Ruys, T.C. and Brinksma, H. (2000) Model Checking: Verification or Debugging? In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000), 26-29 June 2000, Las Vegas, Nevada, USA. pp. 3009-3015. CSREA Press. ISBN 1-892512-51-3
Sierra Abbate, L.R. and D'Argenio, P.R. and Echagüe, J.V. (2000) From Semantics to Spatial Distributions. In: LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, April 10-14, 2000, Proceedings},, Punta del Este, Uruguay. pp. 427-436. Lecture Notes in Computer Science 1776. Springer Verlag. ISBN 3-540-67306-7
Tretmans, G.J. and Belinfante, A.F.E. (2000) Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie. TestNet Nieuws - Nieuwsbrief van de vereniging TestNet, 4 (1). pp. 8-10.
de Vries, R.G. and Tretmans, G.J. (2000) On-the-fly conformance testing using Spin. International journal on software tools for technology transfer, 2 (4). pp. 382-393. ISSN 1433-2779
de Vries, R.G. and Tretmans, G.J. and Belinfante, A.F.E. and Feenstra, J. and Feijs, L.M.G. and Mauw, S. and Goga, N. and Heerink, A.W. and de Heer, A. (2000) Côte de Resyste in Progress. In: 1st PROGRESS workshop on Embedded Systems, 13 October 2000, Utrecht. pp. 141-148. Technology Foundation STW. ISBN 90-73461-25-1
Willemse, T.A.C. and Tretmans, G.J. and Klomp, A. (2000) A Case Study in Formal Methods: Specification and Validation of the OM/RR Protocol. In: Fifth Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000). pp. 331-344. GMD Report 91. GMD. ISSN 1435-2702

1999

Katoen, J.P., ed. (1999) Formal Methods for Real-Time and Probabilistic Systems. Lecture Notes in Computer Science 1601. Springer-Verlag, Bamberg, Germany.
Baier, C. and Hermanns, H. (1999) Weak Bisimulation for Fully Probabilistic Processes. Technical Report TR-CTIT-99-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Katoen, J.P. and Hermanns, H. (1999) Approximate symbolic model checking of continous-time Markov chains. In: CONCUR '99: Concurrency Theory, 10th International Conference, August 24-27, 1999, Eindhoven, The Netherlands. pp. 146-162. Lecture Notes in Computer Science 1664. Springer-Verlag. ISBN 3-540-66425-4
Belinfante, A.F.E. and Feenstra, J. and de Vries, R.G. and Tretmans, G.J. and Goga, N. and Feijs, L.M.G. and Mauw, S. and Heerink, A.W. (1999) Formal Test Automation: A Simple Experiment. In: Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications. pp. 179-196. IFIP Conference Proceedings 147. Kluwer Academic Publishers. ISBN 0-7923-8581-0
Brinksma, H. (1999) Cache Consistency by Design. Distributed Computing, 12 (2/3). pp. 552-565. ISSN 0178-2770 *** ISI Impact 1,263 ***
Brinksma, H. (1999) Formal Methods for Conformance Testing: Theory Can Be Practical! In: Computer Aided Verification: 11th International Conference (CAV), July 1999, Trento, Italy. pp. 44-46. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
Chaudron, M. and Tretmans, G.J. and Wijbrans, K.C.J. (1999) Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. In: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II. pp. 1511-1526. Lecture Notes in Computer Science 1709. Springer Verlag. ISBN 3-540-66588-9
D'Argenio, P.R. (1999) Algebras and Automata for Timed and Stochastic Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 99-25
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1999) On Generative Parallel Composition. In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification, 19 - 20 June 1998, Indianapolis, Indiana. pp. 30-54. Electronic Notes in Theoretical Computer Science 22. Elsevier. ISSN 1571-0661
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1999) Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In: Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE, 12/01/1999 - 12/03/1999, Phoenix, AZ, USA. pp. 104-114. IEEE Computer Society. ISBN 0-7695-0475-2
Gehrke, T. and Rensink, A. (1999) A Mobile Calculus with Data. Technical Report 99-04, Technical University of Braunschweig, Braunschweig, Germany. ISSN not assigned
Hermanns, H. and Mertsiotakis, V. and Siegle, M. (1999) TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. In: Computer Aided Verification: 11th International Conference, CAV'99, July 6-10, 1999, Trento, Italy. pp. 487-490. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
Hermanns, H. and Meyer-Kayser, J. and Siegle, M. (1999) Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In: 3rd Int. Workshop on the Numerical Solution of Markov Chains, 2000, Zaragossa, Spain. pp. 188-207. Prensas Universitarias de Zaragoza. ISBN not assigned
Hermanns, H. and Siegle, M. (1999) Bisimulation Algorithms for StochasticProcess Algebras and their BDD-based Implementation. In: Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, May 1999, Bamberg, Germany. pp. 144-264. Lecture Notes in Computer Science 1601. Springer Verlag. ISBN 3-540-66010-0
Langerak, R. (1999) Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding. In: Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 23 August 1999, Eindhoven, The Netherlands. pp. 24-41. Electronic Notes in Theoretical Computer Science 27. Elsevier. ISSN 1571-0661
Langerak, R. and Brinksma, H. (1999) A complete finite prefix for process algebra. In: Computer Aided Verification, 11th International Conference, CAV '99, July 6-10, 1999, Trento, Italy. pp. 184-195. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
Ruys, T.C. (1999) Xspin/Project - Integrated Validation Management for Xspin. In: Theoretical and Practical Aspects of SPIN Model Checking.Proceedings of the 5th and 6th International SPIN Workshop, 1999, Trento, Italy. pp. 108-119. Lecture Notes in Computer Science 1680. Springer Verlag. ISBN 3-540-66499-8
Tretmans, G.J. (1999) Testing Concurrent Systems: A Formal Approach. In: CONCUR'99 - Concurrency Theory: 10th International Conference, August 1999, Eindhoven, The Netherlands. pp. 46-65. Lecture Notes in Computer Science 1664. Springer Verlag. ISBN 3-540-66425-4
Tretmans, G.J. and Belinfante, A.F.E. (1999) Automatic Testing with Formal Methods. Technical Report TR-CTIT-99-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Tretmans, G.J. and Belinfante, A.F.E. (1999) Automatic Testing with Formal Methods. In: EuroSTAR'99: 7th European Int. Conference on Software Testing, Analysis & Review, 8-12 Nov 1999, Barcelona, Spain. EuroStar Conferences. ISBN not assigned
Tretmans, G.J. and Wijbrans, K.C.J. and Chaudron, M. (1999) Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System -- Seven Myths of Formal Methods Revisited. In: Fourth Int. ERCIM Workshop on Formal Methodsfor Industrial Critical Systems (FMICS'99) -- Proceedings of the FLoC Workshop, 11-12 July 1999, Trento, Italy. pp. 225-237. Servizio Tecnografico Area di Ricerca del CNR. ISBN not assigned

1998

Alblas, H. and Groen, H. and Nymeyer, A. and Slot, C. (1998) Student Language Development Environment. Twente University Press, Enschede. ISBN 90 365 1116 x
Baier, C. and Katoen, J.P. and Latella, D. (1998) Metric semantics for true concurrent real time. In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, July 13-17, 1998, Aalborg, Denmark. pp. 568-580. Lecture Notes in Computer Science 1443. Springer Verlag. ISBN 3-540-64781-3
Bowman, H. and Faconti, G. and Katoen, J.P. and Latella, D. and Massink, M. (1998) Automatic verification of a lip-synchronisation protocol using Uppaal. Formal Aspects of Computing, 10. pp. 550-575. ISSN 0934-5043 *** ISI Impact 0,521 ***
Bowman, H. and Katoen, J.P. (1998) A true concurrency semantics for ET-LOTOS. In: Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on, 03/23/1998 - 03/26/1998, Fukushima, Japan. pp. 228-239. IEEE Computer Society. ISBN 0-8186-8350-3
Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1998) Factorized Test Generation for Multi Input/Output Transition Systems. In: Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems. pp. 67-82. IFIP Conference Proceedings 131. Kluwer Academic Publishers. ISBN 0-412-84430-3
Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1998) Partial-order models for quantitative extensions of LOTOS. Computer networks and ISDN systems, 30 (9-10). pp. 925-950. ISSN 0169-7552
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1998) On Generative Parallel Composition. In: Proc. of Workshop on Probabilistic Methods in Verification, (PROBMIV'98). pp. 105-121. School of Computer Science, University of Birmingham. ISBN not assigned
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) An Algebraic Approach to the Specification of Stochastic Systems. Technical Report TR-CTIT-98-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) A Compositional Approach to Generalised semi-Markov Processes. In: Proceedings of the 4th Int. Workshop on Discrete Event Systems (WODES'98), Cagliari, Italy. pp. 391-397. IEE. ISBN 0852967101
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York. pp. 126-147. IFIP Conference Proceedings 125. Chapman & Hall. ISBN 0-412-83760-9
Firley, T. and Gehrke, T. and Rensink, A. (1998) Spezifikation eines RPC-Speichers mit der Sprache ProFun. In: Formale Beschreibungstechniken für verteilte Systeme, Cottbus, Germany. pp. 136-147. Shaker Verlag. ISBN 3-8265-3807-2
Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) A Process Algebra Semantics for Message Sequence Chart Documents. Hildesheimer Informatik-Bericht 5/98, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) An Algebraic Semantics for Message Sequence Chart Documents. In: Formal Decription Techniques (FORTE). pp. 3-18. IFIP Conference Proceedings 135. Chapman & Hall. ISBN 0-412-84760-4
Geurts, W. and Wijbrans, K.C.J. and Tretmans, G.J. (1998) Testing and Formal Methods - BOS Project Case Study. In: EuroSTAR'98: 6th European Int. Conference on Software Testing, Analysis & Review, 30 Nov - 01 Dec 1998, Munich, Germany. pp. 215-229. Aimware. ISBN not assigned
Heerink, A.W. (1998) Ins and Outs in Refusal Testing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 98-21 ISBN 90-365-1128-3
Hermanns, H. and Lohrey, M. (1998) Priority and Maximal Progress are completely axiomatisable. In: CONCUR'98 Concurrency Theory, September 8-11, 1998, Nice, France. pp. 237-252. Lecture Notes in Computer Science 1446. Springer Verlag. ISBN 3-540-64896-8
Katoen, J.P. and Lambert, L. (1998) Pomsets for message sequence charts. In: Formale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech, 4. und 5. Juni 1998, Cottbus, Germany. pp. 197-207. Shaker Verlag. ISBN 3-8265-3807-2
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. and Bolognesi, T. (1998) A consistent causality-based view on a timed process algebra including urgent interactions. Formal Methods in System Design, 12 (2). pp. 189-216. ISSN 0925-9856 *** ISI Impact 1,132 ***
Ruys, T.C. and Brinksma, H. (1998) Experience with Literate Programming in the Modelling and Validation of Systems. In: Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, March 28 - April 4, 1998, Lisbon, Portugal. pp. 393-408. Lecture Notes in Computer Science 1384. Springer Verlag. ISBN 3-540-64356-7
de Vries, R.G. and Tretmans, G.J. (1998) On-the-Fly Conformance Testing using Spin. In: Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, November 2, 1998, Paris, France. pp. 115-128. Ecole Nationale Supérieure des Télécommunications. ISBN not assigned

1997

Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1997) Developments in Testing Transition Systems. In: Int. Workshop on Testing of Communicating Systems X. pp. 143-166. IFIP International Federation for Information Processing. Chapman & Hall. ISSN 1571-5736 ISBN 0 412 81730 6
Brinksma, H. and Nymeyer, A. (1997) Process Algebra and Performance Modelling. Technical Report TR-CTIT-97-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
D'Argenio, P.R. (1997) Regular Processes and Timed Automata. Technical Report TR-CTIT-97-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
D'Argenio, P.R. (1997) Regular Processes and Timed Automata. In: Proceedings of the 4th AMAST Workshop on Real-TimeSystems, Concurrent, and Distributed Software, ARTS'97, Mallorca, Spain. pp. 141-155. Lecture Notes in Computer Science 1231. Springer Verlag. ISBN 3-540-63010-4
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1997) A Stochastic Automata Model and its Algebraic Approach. In: 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97), 26-27 Jun 1997, Enschede, the Netherlands. pp. 1-16. Technical Report TR-CTIT-97-14. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625
D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The Bounded Retransmission Protocol must be on time! Technical Report TR-CTIT-97-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The bounded retransmission protocol must be on time! In: Proceedings of the Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems. pp. 416-431. Lecture Notes in Computer Science 1217. Springer-Verlag.
D'Argenio, P.R. and Verhoef, C. (1997) A general conservative extension theorem in process algebras with inequalities. Theoretical computer science, 177 (2). pp. 351-380. ISSN 0304-3975 *** ISI Impact 0,643 ***
van Eijk, P. and Belinfante, A.F.E. and Eertink, E.H. and Alblas, H. (1997) The Term Processor Generator Kimwitu. In: Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, April 2-4, 1997, Enschede, The Netherlands. pp. 96-111. Lecture Notes in Computer Science 1217. Springer Verlag. ISBN 3-540-62790-1
Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. Hildesheimer Informatik-Bericht 97/7, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014
Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. In: Expressiveness in Concurrency. pp. 141-160. Electronic Notes in Theoretical Computer Science 7. Elsevier. ISSN 1571-0661
Heerink, A.W. and Tretmans, G.J. (1997) Refusal Testing for Classes of Transition Systems with Inputs and Outputs. In: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII). pp. 23-38. IFIP Conference Proceedings; 107. Chapman & Hall. ISBN 0-412-82060-9
Katoen, J.P. and Nymeyer, A. (1997) The systematic development of a pattern-matching algorithm using term rewrite systems. In: Proceedings of the Computing: the Australasian Theory Symposium (CATS'97), Sydney, Australia. pp. 59-72. Australian Computer Science Communication 19(2).
Langerak, R. and Brinksma, H. and Katoen, J.P. (1997) Causal ambiguity and partial orders in event structures. Technical Report TR-CTIT-97-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Langerak, R. and Brinksma, H. and Katoen, J.P. (1997) Causal ambiguity and partial orders in event structures. In: Concurrency Theory (CONCUR'97), July 1-4, 1997, Warsaw, Poland. pp. 317-332. Lecture Notes in Computer Science 1243. Springer Verlag. ISBN 3-540-63141-0
Nymeyer, A. and Katoen, J.P. (1997) Code generation based on formal BURS theory and heuristic search. Acta informatica, 34 (8). pp. 597-635. ISSN 0001-5903 *** ISI Impact 0,722 ***
Rensink, A. (1997) A Typed Functional Calculus With State. In: Special Issues in Object-Oriented Programming. dpunkt.verlag, Heidelberg, Germany, pp. 558-561. ISBN 3-920993-67-5
Rensink, A. (1997) Bisimilarity of Open Terms. In: Expressiveness in Concurrency. pp. 262-285. Electronic Notes in Theoretical Computer Science 7. Elsevier. ISSN 1571-0661
Rensink, A. and Gorrieri, R. (1997) Action Refinement as an Implementation Relation. In: Theory and Practice of Software Development (TAPSOFT). pp. 772-786. Lecture Notes in Computer Science 1214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-62781-4
Rensink, A. and Gorrieri, R. (1997) Action Refinement for Vertical Implementation. In: Formale Beschreibungstechniken für verteilte Systeme. pp. 69-78. GMD-Studien (315). Oldenbourg Verlag. ISBN 3-88457-315-2
Rensink, A. and Wehrheim, H. (1997) Dependency-Based Action Refinement. In: Mathematical Foundations of Computer Science (MFCS). pp. 468-477. Lecture Notes in Computer Science 1295. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-63437-9
Ruys, T.C. and Langerak, R. (1997) Validation of Bosch' Mobile Communication NetworkArchitecture with SPIN. In: Proceedings of SPIN97, the Third InternationalWorkshop on SPIN, 5 April 1997, Enschede, The Netherlands. unpublished. ISBN not assigned
Springintveld, J. and Vaandrager, F.W. and D'Argenio, P.R. (1997) Testing Timed Automata. Technical Report TR-CTIT-97-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Tretmans, G.J. (1997) Repetitive Quiescence in Implementation and Testing (Extended Abstract). In: Formale Beschreibungstechniken für verteilte Systeme, 19.-20. Juni 1997, Berlin, Germany. pp. 23-37. GMD-Studien 315. GMD-Forschungszentrum Informationstechnik GmbH. ISBN 3-88457-315-2

1996

Alblas, H. and Nymeyer, A. (1996) Practice and Principles of Compiler Building with C. Prentice Hall. ISBN 0133492672
Brinksma, H. and Rensink, A. and Vogler, W. (1996) Applications of Fair Testing. In: Protocol Specification, Testing and Verification XVI (PSTV). pp. 145-160. IFIP Conference Proceedings 69. Chapman & Hall. ISBN 0-412-79490-X
Brunekreef, J.J. and Katoen, J.P. and Koymans, R.L.C. and Mauw, S. (1996) Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Computing, 9 (4). pp. 157-171. ISSN 0178-2770 *** ISI Impact 1,263 ***
D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata. Technical Report 96-13, University of Twente.
D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata (Extended Abstract). In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, September 9-13, 1996, Uppsala, Sweden. pp. 110-129. Lecture Notes in Computer Science 1135. Springer Verlag. ISBN 3-540-61648-9
D'Argenio, P.R. and Verhoef, C. (1996) A general conservative extension theorem in process algebras with inequalities. Technical Report 96-17, University of Twente.
van Eijk, P. and Belinfante, A.F.E. and Eertink, E.H. and Alblas, H. (1996) The Term Processor Generator Kimwitu (Full version). Technical Report 96-49, University of Twente.
Goltz, U. and Gorrieri, R. and Rensink, A. (1996) Comparing Syntactic and Semantics Action Refinement. Information and computation, 125 (2). pp. 118-143. ISSN 0890-5401 *** ISI Impact 0,873 ***
Groen, H. and Schepers, W. (1996) Twente Compiler Generator System version 2.6. Technical Report Number UNSPECIFIED, Twente University Press.
Heerink, A.W. and Tretmans, G.J. (1996) Formal Methods in Conformance Testing: A Probabilistic Refinement. In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany. pp. 261-276. Chapman & Hall. ISBN 0-412-78790-3
Hogrefe, D. and Heymer, S. and Tretmans, G.J. (1996) Report on the Standardization Project "Formal Methods in Conformance Testing". In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany. pp. 289-298. Chapman & Hall. ISBN 0-412-78790-3
Katoen, J.P. (1996) Quantitative and Qualitative Extensions of Event Structures. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 96-09
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. (1996) On specifying real-time systems in a causality-based setting. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, September 9-13, 1996, Uppsala, Sweden. pp. 385-405. Lecture Notes in Computer Science 1135. Springer-Verlag. ISBN 3-540-61648-9
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. (1996) Stochastic simulation of event structures. In: Proceedings of the Fourth Process Algebra and Performance Modelling Workshop (PAPM'96). pp. 21-49. CLUT Press.
Katoen, J.P. and Schoenmakers, B. (1996) Systolic Arrays for the Recognition of P-invariant Segments. Science of Computer Programming, 27. pp. 119-137. ISSN 0167-6423 *** ISI Impact 0,828 ***
Nymeyer, A. and Katoen, J.P. and Westra, Y. and Alblas, H. (1996) Code Generation = A* + BURS. In: Compiler Construction, 6th International Conference, CC'96, April 24-26, 1996, Linkoping, Sweden. pp. 160-177. Lecture Notes in Computer Science 1060. Springer-Verlag. ISBN 3-540-61053-7
Rensink, A. (1996) Algebra and Theory of Order-Deterministic Pomsets. Notre Dame Journal of Formal Logic, 37 (2). pp. 283-320. ISSN 0029-4527 *** ISI Impact 0,538 ***
Rensink, A. (1996) Denotational, Causal, and Operational Determinism in Event Structures. In: Trees in Algebra and Programming (CAAP). pp. 272-286. Lecture Notes in Computer Science 1059. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-61064-9
Tretmans, G.J. (1996) Test Generation with Inputs, Outputs and Repetitive Quiescence. Technical Report TR-CTIT-96-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Tretmans, G.J. (1996) Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer networks and ISDN systems, 29 (1). pp. 49-79. ISSN 0169-7552
Tretmans, G.J. (1996) Test Generation with Inputs, Outputs and Repetitive Quiescence. Software---Concepts and Tools, 3. pp. 103-120. ISSN 0945-8115
Tretmans, G.J. (1996) Test Generation with Inputs, Outputs, and Quiescence. In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, March 27-29, 1996, Passau, Germany. pp. 127-146. Lecture Notes in Computer Science 1055. Springer Verlag. ISBN 3-540-61042-1

1995

Best, E. and Devillers, R. and Pelz, E. and Rensink, A. and Silva, M. and Teruel, E. (1995) CALIBAN - Esprit Basic Research WG 6067. In: Structures in Concurrency Theory, Berlin, Germany. pp. 2-31. Workshops in Computing. Springer Verlag. ISBN 3-540-19982-9
Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1995) A stochastic causality-based process algebra. The Computer journal, 38 (7). pp. 552-565. ISSN 0010-4620 *** ISI Impact 1,000 ***
Brinksma, H. and Langerak, R. (1995) Functionality Decomposition by Compositional Correctness Preserving Transformation. South African Computer Journal, 13. pp. 2-13. ISSN 1015-7999
Brinksma, H. and Rensink, A. and Vogler, W. (1995) Fair Testing. In: Concurrency Theory (CONCUR), Long Island, USA. pp. 313-327. Lecture Notes in Computer Science 962. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-60218-7
D'Argenio, P.R. and Mauw, S. (1995) Delayed choice for process algebra with abstraction. In: Proceedings of the 6th International Conference on Concurrency Theory CONCUR 95, Philadelphia,United States. pp. 501-515. Lecture Notes in Computer Science 962. Springer Verlag. ISBN 3-540-60218-6
Katoen, J.P. (1995) Causal Behaviours and Nets. In: Application and Theory of Petri Nets 1995, 16th International Conference, June 26-30, 1995, Turin, Italy. pp. 258-278. Lecture Notes in Computer Science 935. Springer-Verlag. ISBN 3-540-60029-9
Rensink, A. (1995) Causal Traces. Hildesheimer Informatik-Bericht 39/95, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Rensink, A. (1995) Denotational, Causal, and Operational Determinism in Event Structures. Hildesheimer Informatik-Bericht 29/95, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014
Rensink, A. (1995) An Event-Based SOS for a Language with Refinement. In: Structures in Concurrency Theory, Berlin, Germany. pp. 294-309. Workshops in Computing. Springer Verlag. ISBN 3-540-19982-9
Rensink, A. (1995) A Theory of Deterministic Event Structures. In: Concurrency Theory (CONCUR), Long Island, USA. pp. 160-174. Lecture Notes in Computer Science 962. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-60218-7
Rensink, A. and Gorrieri, R. (1995) Vertical Bisimulation. Hildesheimer Informatik-Bericht 9/98, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014
Ruys, T.C. (1995) A Simple and a Retargetable Code Generator for TCGS. Master's thesis, University of Twente, Enschede, The Netherlands.
van Sinderen, M.J. and Ferreira Pires, L. and Vissers, C.A. and Katoen, J.P. (1995) A design model for open distributed processing systems. Computer networks and ISDN systems, 27 (8). pp. 1263-1285. ISSN 0169-7552
Tretmans, G.J. (1995) Testing Labelled Transition Systems with Inputs and Outputs. In: Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session, 4-6 Sept 1995, Evry, France. pp. 461-476. Institut National des Télécommunications. ISBN not assigned

1994

Brinksma, H. and Parrow, J. and Rensink, A. and Heymer, S. (1994) Specification of Systems: Theory in Search of Practice. Hildesheimer Informatik-Bericht 24/94, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Goltz, U. and Gorrieri, R. and Rensink, A. (1994) On Syntactic and Semantic Action Refinement. In: Theoretical Aspects of Computer Software, Sendai, Japan. pp. 385-404. Lecture Notes in Computer Science 789. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-57887-1
Goltz, U. and Rensink, A. (1994) Finite petri nets as models for recursive causal behaviour. Theoretical computer science, 124 (1). pp. 169-179. ISSN 0304-3975 *** ISI Impact 0,643 ***
Rensink, A. (1994) Deterministic Pomsets. Hildesheimer Informatik-Bericht 30/94, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Rensink, A. (1994) Extraordinals: An Equational Theory of Posets. In: Combining Structures, Logics and Theories, Copenhagen, Denmark. pp. 149-169. Copenhagen Business School. ISBN not assigned
Rensink, A. (1994) Methodological Aspects of Action Refinement. In: Programming Concepts, Methods and Calculi, San Miniato, Italy. pp. 227-246. IFIP Transactions A-56. Elsevier. ISSN 0926-5473 ISBN 0-444-82020-5
Rensink, A. and Wehrheim, H. (1994) Weak Sequential Composition in Process Algebras. In: Concurrency Theory (CONCUR), Uppsala, Sweden. pp. 226-241. Lecture Notes in Computer Science 836. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-58328-8
Vis, J. and Brinksma, H. and de By, R.A. (1994) Formal Specification of Distributed Information Systems. In: CAiSE'94 workshop on Formal Descriptions of Distributed Information Systems, Utrecht, The Netherlands.

1993

Rensink, A. (1993) Models and Methods for Action Refinement. PhD thesis, University of Twente. ISBN 90-9006336-6
Rensink, A. (1993) Order isomorphism does not preserve global event independence. Bulletin of the European Association for Theoretical Computer Science, 51. pp. 228-235. ISSN 0252-9742
Rensink, A. (1993) Order isomorphism does not preserve global event independence. Hildesheimer Informatik-Bericht 10/93, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014

1992

Costantini, R. and Rensink, A. (1992) Abstraction and Refinement in Configuration Structures. Hildesheimer Informatik-Bericht 18/92, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Goltz, U. and Gorrieri, R. and Rensink, A. (1992) On Syntactic and Semantic Action Refinement. Hildesheimer Informatik-Bericht 17/92, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Rensink, A. (1992) Posets for Configurations! In: Third International Conference on Concurrency Theory (CONCUR), Stony Brook, U.S.A.. pp. 269-285. Lecture Notes in Computer Science 630. Springer Verlag. ISSN 0302-9743 ISBN 3-540-55822-5
Tretmans, G.J. (1992) A Formal Approach to Conformance Testing. PhD thesis, University of Twente.

1991

Rensink, A. (1991) Pattern Sets. Memoranda Informatica 91-24, Department of Computer Science, University of Twente, Enschede. ISSN 0923-1714
Vissers, C.A. and Scollo, G. and van Sinderen, M.J. and Brinksma, H. (1991) Specification styles in distributed systems design and verification. Theoretical Computer Science, 89 (1). pp. 179-206. ISSN 0304-3975 *** ISI Impact 0,643 ***

1990

Rensink, A. (1990) Non-Atomic Events and Event Hierarchies. Memoranda Informatica 90-63, Department of Computer Science, University of Twente, Enschede. ISSN 0923-1714
Rensink, A. (1990) Selection Structures. Memoranda Informatica 90-71, Department of Computer Science, University of Twente, Enschede. ISSN 0923-1714

1989

Rensink, A. (1989) Elementary Structures of Non-Atomic Events. Memoranda Informatica 89-65, Department of Computer Science, University of Twente, Enschede. ISSN 0923-1714
Vissers, C.A. and Scollo, G. and van Sinderen, M.J. and Brinksma, H. (1989) On the use of specification styles in the design of distributed systems. (Invited) In: Third International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1989, Volume 2, 13-17 Mar 1989, Barcelona, Spain. pp. 60-60. Lecture Notes in Computer Science 352. Springer Verlag. ISBN 3-540-50940-2

1988

Rensink, A. (1988) On the Semantics of Non-Atomic Events. Memorandum INF-88-13, Department of Computer Science, University of Twente, Enschede.