Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Tim A. C. Willemse
2010 – today
- 2013
[c28]Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adria Casajus, Henri E. Bal: From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. NASA Formal Methods 2013: 244-260- [c27]Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse: An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS 2013: 199-213
- [c26]Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse: Decomposability in Input Output Conformance Testing. MBT 2013: 51-66
- [i5]Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse: Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction. CoRR abs/1304.6482 (2013)
- 2012
- [j11]Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse: Structural Analysis of Boolean Equation Systems. ACM Trans. Comput. Log. 13(1): 8 (2012)
- [c25]Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan Fokkink, Jeff Templon, Henri E. Bal: Using Model Checking to Analyze the System Behavior of the LHC Production Grid. CCGRID 2012: 335-343
- [c24]Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse: A Cure for Stuttering Parity Games. ICTAC 2012: 198-212
- [c23]Maciej Gazda, Tim A. C. Willemse: Consistent Consequence for Boolean Equation Systems. SOFSEM 2012: 277-288
- [c22]
- 2011
- [j10]Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse: Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems. Inf. Comput. 209(4): 637-663 (2011)
- [j9]Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse: Experiences in developing the mCRL2 toolset. Softw., Pract. Exper. 41(2): 143-153 (2011)
- [c21]Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse: Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. FSEN 2011: 174-189
- [c20]Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse: Stuttering Mostly Speeds Up Solving Parity Games. NASA Formal Methods 2011: 207-221
- [c19]Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse: Synchronizing Asynchronous Conformance Testing. SEFM 2011: 334-349
- [c18]Michel A. Reniers, Tim A. C. Willemse: Folk Theorems on the Correspondence between State-Based and Event-Based Systems. SOFSEM 2011: 494-505
- [i4]Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse: Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. CoRR abs/1101.5324 (2011)
- [i3]Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse: Stuttering Equivalence for Parity Games. CoRR abs/1102.2366 (2011)
- 2010
- [j8]Simona Orzan, Tim A. C. Willemse: Invariants for Parameterised Boolean Equation Systems. Theor. Comput. Sci. 411(11-13): 1338-1371 (2010)
- [c17]Tim A. C. Willemse: Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. CONCUR 2010: 584-598
- [i2]Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse: Structural Analysis of Boolean Equation Systems. CoRR abs/1002.3222 (2010)
- [i1]Michel A. Reniers, Tim A. C. Willemse: Folk Theorems on the Correspondence between State-Based and Event-Based Systems. CoRR abs/1011.0136 (2010)
2000 – 2009
- 2009
- [j7]Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse: Search algorithms for automated validation. J. Log. Algebr. Program. 78(4): 274-287 (2009)
- [c16]Jeroen Keiren, Tim A. C. Willemse: Bisimulation Minimisations for Boolean Equation Systems. Haifa Verification Conference 2009: 102-116
- [c15]Simona Orzan, Wieger Wesselink, Tim A. C. Willemse: Static Analysis Techniques for Parameterised Boolean Equation Systems. TACAS 2009: 230-245
- [c14]Michel A. Reniers, Tim A. C. Willemse: Analysis of Boolean Equation Systems through Structure Graphs. SOS 2009: 92-107
- 2008
- [c13]Simona Orzan, Tim A. C. Willemse: Invariants for Parameterised Boolean Equation Systems. CONCUR 2008: 187-202
- [c12]A. van Dam, Bas Ploeger, Tim A. C. Willemse: Instantiation for Parameterised Boolean Equation Systems. ICTAC 2008: 440-454
- 2007
- [c11]Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse: Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. CONCUR 2007: 120-135
- [c10]Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse: Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM 2007: 538-557
- [c9]Maxim Gromov, Tim A. C. Willemse: Testing and Model-Checking Techniques for Diagnosis. TestCom/FATES 2007: 138-154
- 2006
- [j6]Suzana Andova, Tim A. C. Willemse: Branching bisimulation for probabilistic systems: Characteristics and decidability. Theor. Comput. Sci. 356(3): 325-355 (2006)
- [c8]Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse: A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. CONCUR 2006: 327-342
- [c7]Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: A Symbolic Framework for Model-Based Testing. FATES/RV 2006: 40-54
- [c6]
- 2005
- [j5]Suzana Andova, Tim A. C. Willemse: Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 128(2): 53-66 (2005)
- [j4]Jan Friso Groote, Tim A. C. Willemse: Model-checking processes with data. Sci. Comput. Program. 56(3): 251-273 (2005)
- [j3]Jan Friso Groote, Tim A. C. Willemse: Parameterised boolean equation systems. Theor. Comput. Sci. 343(3): 332-369 (2005)
- [j2]Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
- 2004
- [j1]Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse: Language-Driven System Design. International Journal of Software Engineering and Knowledge Engineering 14(6): 625-663 (2004)
- [c5]Jan Friso Groote, Tim A. C. Willemse: Parameterised Boolean Equation Systems (Extended Abstract). CONCUR 2004: 308-324
- [c4]Lars Frantzen, Jan Tretmans, Tim A. C. Willemse: Test Generation Based on Symbolic Specifications. FATES 2004: 1-15
- [c3]
- 2003
- [c2]Jan Friso Groote, Tim A. C. Willemse: A Checker for Modal Formulae for Processes with Data. FMCO 2003: 223-239
- 2002
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-25 21:26 CEST by the dblp team