Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tim A. C. Willemse" ( http://dblp.L3S.de/Authors/Tim_A._C._Willemse )

  Author page on DBLP  Author page in RDF  Community of Tim A. C. Willemse in ASPL-2

Publication years (Num. hits)
2002-2007 (17) 2008-2011 (18) 2012 (2)
Publication types (Num. hits)
article(15) inproceedings(22)
Venues (Conferences, Journals, ...)
CONCUR(5) CoRR(4) Theor. Comput. Sci.(3) IFM(2) SOFSEM(2) ACM Trans. Comput. Log.(1) ACM Trans. Embedded Comput. Sy...(1) Electr. Notes Theor. Comput. S...(1) FATES(1) FATES/RV(1) FMCO(1) FMICS/PDMC(1) FSEN(1) Haifa Verification Conference(1) HICSS(1) ICTAC(1) More (+10 of total 26)
Authors
Tim A. C. Willemse(37) Jan Friso Groote(6) Jeroen Keiren(6) Michel A. Reniers(5) Bas Ploeger(3) Jan Tretmans(3) Simona Orzan(3) Suzana Andova(3) Wieger Wesselink(3) Lars Frantzen(2) Sjoerd Cranen(2) Sjouke Mauw(2) Vincent J. J. Kusters(2) Wouter T. Wiersma(2) Yi-Ling Hwong(2) A. van Dam(1) More (+10 of total 57)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 16 keywords
Results
Found 37 publication records. Showing 37 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse Structural Analysis of Boolean Equation Systems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maciej Gazda, Tim A. C. Willemse Consistent Consequence for Boolean Equation Systems. Search on Bibsonomy SOFSEM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse Experiences in developing the mCRL2 toolset. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse Stuttering Equivalence for Parity Games Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Yi-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 Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse Synchronizing Asynchronous Conformance Testing. Search on Bibsonomy SEFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yi-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. Search on Bibsonomy FSEN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse Stuttering Mostly Speeds Up Solving Parity Games. Search on Bibsonomy NASA Formal Methods The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michel A. Reniers, Tim A. C. Willemse Folk Theorems on the Correspondence between State-Based and Event-Based Systems. Search on Bibsonomy SOFSEM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Simona Orzan, Tim A. C. Willemse Invariants for Parameterised Boolean Equation Systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michel A. Reniers, Tim A. C. Willemse Folk Theorems on the Correspondence between State-Based and Event-Based Systems Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse Structural Analysis of Boolean Equation Systems Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Tim A. C. Willemse Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. Search on Bibsonomy CONCUR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse Search algorithms for automated validation. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michel A. Reniers, Tim A. C. Willemse Analysis of Boolean Equation Systems through Structure Graphs Search on Bibsonomy SOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Simona Orzan, Wieger Wesselink, Tim A. C. Willemse Static Analysis Techniques for Parameterised Boolean Equation Systems. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jeroen Keiren, Tim A. C. Willemse Bisimulation Minimisations for Boolean Equation Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Simona Orzan, Tim A. C. Willemse Invariants for Parameterised Boolean Equation Systems. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1A. van Dam, Bas Ploeger, Tim A. C. Willemse Instantiation for Parameterised Boolean Equation Systems. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Maxim Gromov, Tim A. C. Willemse Testing and Model-Checking Techniques for Diagnosis. Search on Bibsonomy TestCom/FATES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse Integrating Verification, Testing, and Learning for Cryptographic Protocols. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Suzana Andova, Tim A. C. Willemse Branching bisimulation for probabilistic systems: Characteristics and decidability. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tim A. C. Willemse Heuristics for ioco -Based Test-Based Modelling. Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Lars Frantzen, Jan Tretmans, Tim A. C. Willemse A Symbolic Framework for Model-Based Testing. Search on Bibsonomy FATES/RV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Paul 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. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Graduate curriculum, architecture and design, extrafunctional properties, distributed systems, embedded systems, real-time, control, labs
1Jan Friso Groote, Tim A. C. Willemse Model-checking processes with data. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jan Friso Groote, Tim A. C. Willemse Parameterised boolean equation systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Suzana Andova, Tim A. C. Willemse Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse Language-Driven System Design. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jan Friso Groote, Tim A. C. Willemse Parameterised Boolean Equation Systems (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tim A. C. Willemse Embeddings of Hybrid Automata in Process Algebra. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CRLt, Real-Time Systems, Hybrid Systems, Process Algebra, Expressive Power, Hybrid Automata
1Lars Frantzen, Jan Tretmans, Tim A. C. Willemse Test Generation Based on Symbolic Specifications. Search on Bibsonomy FATES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jan Friso Groote, Tim A. C. Willemse A Checker for Modal Formulae for Processes with Data. Search on Bibsonomy FMCO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF First Order Modal -Calculus, First Order Boolean Equation Systems, Data-Dependent Systems, Model Checking, Infinite State Systems, CRL
1Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse Language Driven System Design. (PDF / PS) Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Language Driven Approach, Traffic Light Control, Domain-Specific Languages, Systems Engineering, Language Design
Displaying result #1 - #37 of 37 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.