default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTim A. C. Willemse
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j29]Hamed Arshad
, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse:
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Sci. Comput. Program. 232: 103046 (2024)- [c74]Jeroen J. A. Keiren, Tim A. C. Willemse:
It's All a Game - Apartness and Bisimilarity. Logics and Type Systems in Theory and Practice 2024: 150-167 - [c73]Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse:
Progress, Justness and Fairness in Modal μ-Calculus Formulae. CONCUR 2024: 38:1-38:22 - [c72]Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse:
Formalising the Industrial Language SMMT in mCRL2. FMICS 2024: 63-79 - [c71]Danny van Dortmont, Jeroen J. A. Keiren, Tim A. C. Willemse:
Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. ABZ 2024: 341-359 - [c70]Parth Bora, Pham Duc Minh, Tim A. C. Willemse:
Modelling the Raft Distributed Consensus Protocol in mCRL2. MARS@ETAPS 2024: 7-20 - [i19]Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse:
Progress, Justness and Fairness in Modal μ-Calculus Formulae. CoRR abs/2407.08060 (2024) - [i18]Jan Friso Groote, Tim A. C. Willemse:
On Woolhouse's Cotton-Spinning Problem. CoRR abs/2408.12623 (2024) - 2023
- [j28]Maurice Laveaux, Tim A. C. Willemse:
Decomposing monolithic processes in a process algebra with multi-actions. J. Log. Algebraic Methods Program. 132: 100858 (2023) - [c69]P. H. M. van Spaendonck, Tim A. C. Willemse:
The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. CONCUR 2023: 4:1-4:16 - [c68]Jan Friso Groote, Tim A. C. Willemse:
Real Equation Systems with Alternating Fixed-Points. CONCUR 2023: 28:1-28:17 - [c67]Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse:
On the Preservation of Properties When Changing Communication Models. SOFSEM 2023: 239-253 - [e3]Carla Ferreira, Tim A. C. Willemse:
Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Lecture Notes in Computer Science 14323, Springer 2023, ISBN 978-3-031-47114-8 [contents] - [i17]Jan Friso Groote, Tim A. C. Willemse:
Real Equation Systems with Alternating Fixed-points (full version with proofs). CoRR abs/2307.07455 (2023) - [i16]Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse:
Automated generation of attack trees with optimal shape and labelling. CoRR abs/2311.13331 (2023) - 2022
- [j27]Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse:
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24(3): 325-330 (2022) - [j26]Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse:
Formal verification of OIL component specifications using mCRL2. Int. J. Softw. Tools Technol. Transf. 24(3): 441-472 (2022) - [j25]Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari:
Partial-order reduction for parity games and parameterised Boolean equation systems. Int. J. Softw. Tools Technol. Transf. 24(5): 735-756 (2022) - [c66]Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse:
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 306-320 - [c65]Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse:
Decompositional Branching Bisimulation Minimisation of Monolithic Processes. FACS 2022: 161-182 - [c64]Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse:
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. FORTE 2022: 11-30 - [c63]Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse:
On-The-Fly Solving for Symbolic Parity Games. TACAS (2) 2022: 137-155 - [i15]Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse:
On-The-Fly Solving for Symbolic Parity Games. CoRR abs/2201.09607 (2022) - [i14]Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse:
On the Preservation of Properties when Changing Communication Models. CoRR abs/2210.06196 (2022) - 2021
- [j24]Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse:
Correct and Efficient Antichain Algorithms for Refinement Checking. Log. Methods Comput. Sci. 17(1) (2021) - [j23]Thomas Neele, Antti Valmari, Tim A. C. Willemse:
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. Log. Methods Comput. Sci. 17(3) (2021) - [c62]Mark Bouwman, Bas Luttik, Tim A. C. Willemse:
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). FORTE 2021: 182-187 - [c61]Maurice Laveaux, Tim A. C. Willemse:
Decomposing Monolithic Processes in a Process Algebra with Multi-actions. ICE 2021: 57-76 - [e2]Kirstin Peters, Tim A. C. Willemse:
Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings. Lecture Notes in Computer Science 12719, Springer 2021, ISBN 978-3-030-78088-3 [contents] - 2020
- [j22]Mark Bouwman, Bas Luttik, Tim A. C. Willemse:
Off-the-shelf automated analysis of liveness properties for just paths. Acta Informatica 57(3-5): 551-590 (2020) - [j21]Jan Friso Groote, Tim A. C. Willemse:
A symmetric protocol to establish service level agreements. Log. Methods Comput. Sci. 16(3) (2020) - [j20]Thomas Neele, Tim A. C. Willemse, Jan Friso Groote:
Finding compact proofs for infinite-data parameterised Boolean equation systems. Sci. Comput. Program. 188: 102389 (2020) - [c60]Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse:
Family-Based SPL Model Checking Using Parity Games with Variability. FASE 2020: 245-265 - [c59]Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse:
Formal Verification of OIL Component Specifications using mCRL2. FMICS 2020: 231-251 - [c58]Thomas Neele, Antti Valmari, Tim A. C. Willemse:
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. FoSSaCS 2020: 482-501 - [c57]Thomas Neele, Tim A. C. Willemse, Wieger Wesselink:
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. TACAS (2) 2020: 307-324 - [c56]Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse:
A process algebra with global variables. EXPRESS/SOS 2020: 33-50 - [i13]Jan Friso Groote, Tim A. C. Willemse:
A symmetric protocol to establish service level agreements. CoRR abs/2001.07658 (2020) - [i12]Maurice Laveaux, Tim A. C. Willemse:
Decompositional Minimisation of Monolithic Processes. CoRR abs/2012.06468 (2020) - [i11]Thomas Neele, Antti Valmari, Tim A. C. Willemse:
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. CoRR abs/2012.15704 (2020)
2010 – 2019
- 2019
- [j19]Charles Morisset, Tim A. C. Willemse, Nicola Zannone:
A framework for the extended evaluation of ABAC policies. Cybersecur. 2(1): 6 (2019) - [c55]Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse:
Modelling and Analysing Software in mCRL2. FACS 2019: 25-48 - [c54]Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse:
Correct and Efficient Antichain Algorithms for Refinement Checking. FORTE 2019: 185-203 - [c53]Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse:
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) 2019: 21-39 - [e1]Kim Guldstrand Larsen, Tim A. C. Willemse:
Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings. Lecture Notes in Computer Science 11687, Springer 2019, ISBN 978-3-030-27007-0 [contents] - [i10]Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse:
Correct and Efficient Antichain Algorithms for Refinement Checking. CoRR abs/1902.09880 (2019) - [i9]Thomas Neele, Antti Valmari, Tim A. C. Willemse:
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. CoRR abs/1910.09829 (2019) - 2018
- [j18]Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse:
Parity game reductions. Acta Informatica 55(5): 401-444 (2018) - [j17]Maciej Gazda, Tim A. C. Willemse:
Cooking Your Own Parity Game Preorders Through Matching Plays. Int. J. Found. Comput. Sci. 29(4): 571-590 (2018) - [c52]Wieger Wesselink, Tim A. C. Willemse:
Evidence Extraction from Parameterised Boolean Equation Systems. ARQNL@IJCAR 2018: 86-100 - [c51]Thomas Neele, Tim A. C. Willemse, Jan Friso Groote:
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. FACS 2018: 216-236 - [c50]Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse:
Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. FMICS 2018: 98-114 - [c49]Charles Morisset, Tim A. C. Willemse, Nicola Zannone:
Efficient Extended ABAC Evaluation. SACMAT 2018: 149-160 - [c48]Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse:
A Comparison of BDD-Based Parity Game Solvers. GandALF 2018: 103-117 - 2017
- [j16]David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse:
Games for Bisimulations and Abstraction. Log. Methods Comput. Sci. 13(4) (2017) - [c47]Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse:
Family-Based Model Checking with mCRL2. FASE 2017: 387-405 - [c46]Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse:
Formalising the Dezyne Modelling Language in mCRL2. FMICS-AVoCS 2017: 217-233 - [c45]Myrthe van Delft, Herman Geuvers, Tim A. C. Willemse:
A Formalisation of Consistent Consequence for Boolean Equation Systems. ITP 2017: 462-478 - [c44]Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse:
Family-Based Model Checking of SPL based on mCRL2. SPLC (B) 2017: 13-16 - [c43]Olga Gadyatskaya, Ravi Jhawar, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse:
Refinement-Aware Generation of Attack Trees. STM 2017: 164-179 - 2016
- [c42]David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse:
Branching Bisimulation Games. FORTE 2016: 142-157 - [c41]Maciej Gazda, Tim A. C. Willemse:
On Parity Game Preorders and the Logic of Matching Plays. SOFSEM 2016: 277-289 - [c40]Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse:
Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE 2016: 61-75 - [r1]Tim A. C. Willemse, Maciej Gazda:
Parity Games. Encyclopedia of Algorithms 2016: 1532-1537 - [i8]Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse:
Parity Game Reductions. CoRR abs/1603.06422 (2016) - [i7]David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse:
Games for Bisimulations and Abstraction. CoRR abs/1611.00401 (2016) - 2015
- [j15]Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse:
Synchrony and asynchrony in conformance testing. Softw. Syst. Model. 14(1): 149-172 (2015) - [j14]Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse:
Abstraction in Fixpoint Logic. ACM Trans. Comput. Log. 16(4): 29:1-29:39 (2015) - [c39]Ruud P. J. Koolen, Tim A. C. Willemse, Hans Zantema:
Using SMT for Solving Fragments of Parameterised Boolean Equation Systems. ATVA 2015: 14-30 - [c38]Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse:
Evidence for Fixpoint Logic. CSL 2015: 78-93 - [c37]Ulyana Tikhonova, Tim A. C. Willemse:
Documenting and Designing QVTo Model Transformations Through Mathematics. ICSOFT (Selected Papers) 2015: 349-364 - [c36]Ulyana Tikhonova, Tim A. C. Willemse:
Designing and Describing QVTo Model Transformations. ICSOFT-EA 2015: 401-406 - [c35]Maciej Gazda, Tim A. C. Willemse:
Improvement in Small Progress Measures. GandALF 2015: 158-171 - 2014
- [j13]Michel A. Reniers, Rob Schoren, Tim A. C. Willemse:
Results on Embeddings Between State-Based and Event-Based Systems. Comput. J. 57(1): 73-92 (2014) - [c34]Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse:
Liveness Analysis for Parameterised Boolean Equation Systems. ATVA 2014: 219-234 - [c33]Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal:
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. FORTE 2014: 17-32 - [i6]Maciej Gazda, Tim A. C. Willemse:
Strategy Derivation for Small Progress Measures. CoRR abs/1407.2149 (2014) - 2013
- [j12]Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri E. Bal:
Using model checking to analyze the system behavior of the LHC production grid. Future Gener. Comput. Syst. 29(8): 2239-2251 (2013) - [j11]Yi-Ling Hwong, Jeroen J. A. Keiren, Vincent J. J. Kusters, Sander J. J. Leemans, Tim A. C. Willemse:
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. Sci. Comput. Program. 78(12): 2435-2452 (2013) - [c32]Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse:
Proof Graphs for Parameterised Boolean Equation Systems. CONCUR 2013: 470-484 - [c31]Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse:
On the Complexity of Input Output Conformance Testing. FACS 2013: 291-309 - [c30]Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, 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 - [c29]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 - [c28]Maciej Gazda, Tim A. C. Willemse:
Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds. GandALF 2013: 7-20 - [c27]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
- [j10]Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse:
Structural Analysis of Boolean Equation Systems. ACM Trans. Comput. Log. 13(1): 8:1-8:35 (2012) - [c26]Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal:
Using Model Checking to Analyze the System Behavior of the LHC Production Grid. CCGRID 2012: 335-343 - [c25]Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse:
A Cure for Stuttering Parity Games. ICTAC 2012: 198-212 - [c24]Maciej Gazda, Tim A. C. Willemse:
Consistent Consequence for Boolean Equation Systems. SOFSEM 2012: 277-288 - [c23]Maciej Gazda, Tim A. C. Willemse:
Expressiveness and Completeness in Abstraction. EXPRESS/SOS 2012: 49-64 - 2011
- [j9]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) - [j8]Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse:
Experiences in developing the mCRL2 toolset. Softw. Pract. Exp. 41(2): 143-153 (2011) - [c22]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 - [c21]Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse:
Stuttering Mostly Speeds Up Solving Parity Games. NASA Formal Methods 2011: 207-221 - [c20]Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse:
Synchronizing Asynchronous Conformance Testing. SEFM 2011: 334-349 - [c19]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
- [j7]Simona Orzan, Tim A. C. Willemse:
Invariants for Parameterised Boolean Equation Systems. Theor. Comput. Sci. 411(11-13): 1338-1371 (2010) - [c18]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
- [j6]Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse:
Search algorithms for automated validation. J. Log. Algebraic Methods Program. 78(4): 274-287 (2009) - [c17]Jeroen Keiren, Tim A. C. Willemse:
Bisimulation Minimisations for Boolean Equation Systems. Haifa Verification Conference 2009: 102-116 - [c16]Simona Orzan, Wieger Wesselink, Tim A. C. Willemse:
Static Analysis Techniques for Parameterised Boolean Equation Systems. TACAS 2009: 230-245 - [c15]Michel A. Reniers, Tim A. C. Willemse:
Analysis of Boolean Equation Systems through Structure Graphs. SOS 2009: 92-107 - 2008
- [c14]Simona Orzan, Tim A. C. Willemse:
Invariants for Parameterised Boolean Equation Systems. CONCUR 2008: 187-202 - [c13]Alexander van Dam, Bas Ploeger, Tim A. C. Willemse:
Instantiation for Parameterised Boolean Equation Systems. ICTAC 2008: 440-454 - 2007
- [c12]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 - [c11]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 - [c10]Maxim Gromov, Tim A. C. Willemse:
Testing and Model-Checking Techniques for Diagnosis. TestCom/FATES 2007: 138-154 - 2006
- [j5]Suzana Andova, Tim A. C. Willemse:
Branching bisimulation for probabilistic systems: Characteristics and decidability. Theor. Comput. Sci. 356(3): 325-355 (2006) - [c9]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 - [c8]Lars Frantzen, Jan Tretmans, Tim A. C. Willemse:
A Symbolic Framework for Model-Based Testing. FATES/RV 2006: 40-54 - [c7]Tim A. C. Willemse:
Heuristics for ioco -Based Test-Based Modelling. FMICS/PDMC 2006: 132-147 - 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. Embed. Comput. Syst. 4(3): 587-611 (2005) - 2004
- [j1]Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse:
Language-Driven System Design. Int. J. Softw. Eng. Knowl. Eng. 14(6): 625-663 (2004) - [c6]Jan Friso Groote, Tim A. C. Willemse:
Parameterised Boolean Equation Systems (Extended Abstract). CONCUR 2004: 308-324 - [c5]Lars Frantzen, Jan Tretmans, Tim A. C. Willemse:
Test Generation Based on Symbolic Specifications. FATES 2004: 1-15 - [c4]Tim A. C. Willemse:
Embeddings of Hybrid Automata in Process Algebra. IFM 2004: 343-362 - [c3]Suzana Andova, Tim A. C. Willemse:
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). EXPRESS 2004: 53-66 - 2003
- [c2]Jan Friso Groote, Tim A. C. Willemse:
A Checker for Modal Formulae for Processes with Data. FMCO 2003: 223-239 - 2002
- [c1]Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse:
Language Driven System Design. HICSS 2002: 280
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
