The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tim A. C. Willemse: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:327-342 [Conf]
  2. Jan Friso Groote, Tim A. C. Willemse
    Parameterised Boolean Equation Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:308-324 [Conf]
  3. Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
    Test Generation Based on Symbolic Specifications. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:1-15 [Conf]
  4. Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
    A Symbolic Framework for Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:40-54 [Conf]
  5. Jan Friso Groote, Tim A. C. Willemse
    A Checker for Modal Formulae for Processes with Data. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:223-239 [Conf]
  6. Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse
    Language Driven System Design. [Citation Graph (0, 0)][DBLP]
    HICSS, 2002, pp:280- [Conf]
  7. Tim A. C. Willemse
    Embeddings of Hybrid Automata in Process Algebra. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:343-362 [Conf]
  8. Suzana Andova, Tim A. C. Willemse
    Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:53-66 [Journal]
  9. Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse
    Language-Driven System Design. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2004, v:14, n:6, pp:625-663 [Journal]
  10. Jan Friso Groote, Tim A. C. Willemse
    Model-checking processes with data. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:56, n:3, pp:251-273 [Journal]
  11. Suzana Andova, Tim A. C. Willemse
    Branching bisimulation for probabilistic systems: Characteristics and decidability. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:3, pp:325-355 [Journal]
  12. Jan Friso Groote, Tim A. C. Willemse
    Parameterised boolean equation systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:332-369 [Journal]
  13. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:3, pp:587-611 [Journal]
  14. Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse
    Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:120-135 [Conf]
  15. Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse
    Integrating Verification, Testing, and Learning for Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:538-557 [Conf]
  16. Maxim Gromov, Tim A. C. Willemse
    Testing and Model-Checking Techniques for Diagnosis. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:138-154 [Conf]
  17. Tim A. C. Willemse
    Heuristics for ioco -Based Test-Based Modelling. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:132-147 [Conf]

  18. Invariants for Parameterised Boolean Equation Systems. [Citation Graph (, )][DBLP]


  19. Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. [Citation Graph (, )][DBLP]


  20. Instantiation for Parameterised Boolean Equation Systems. [Citation Graph (, )][DBLP]


  21. Static Analysis Techniques for Parameterised Boolean Equation Systems. [Citation Graph (, )][DBLP]


  22. Analysis of Boolean Equation Systems through Structure Graphs [Citation Graph (, )][DBLP]


  23. Structural Analysis of Boolean Equation Systems [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002