• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Article
2013

Reactive Turing machines

Baeten, J. C. M., Luttik, S. P. & Tilburg, van, P. J. A., 2013, In : Information and Computation. 231, p. 143-166 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
1 Downloads (Pure)

RNA-editing with combined insertion and deletion preserves regularity

Vink, de, E. P., Zantema, H. & Bosnacki, D., 2013, In : Scientific Annals of Computer Science. XXIII, 1, p. 39-73 35 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
75 Downloads (Pure)

The λμ^T - calculus

Geuvers, J. H., Krebbers, R. & McKinna, J., 2013, In : Annals of Pure and Applied Logic. 164, 6, p. 676-701

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

Using model checking to analyze the system behavior of the LHC production grid

Remenska, D., Willemse, T. A. C., Verstoep, K., Templon, J. A. & Bal, H. E., 2013, In : Future Generation Computer Systems. 29, 8, p. 2239-2251 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
1 Downloads (Pure)
2012

Advances in model driven software engineering

Brand, van den, M. G. J. & Groote, J. F., 2012, In : ERCIM News. 91, p. 23-24

Research output: Contribution to journalArticleProfessional

Open Access
File
39 Downloads (Pure)

Extended beam search for non-exhaustive state space analysis

Wijs, A. J. & Torabi Dashti, M., 2012, In : Journal of Logic and Algebraic Programming. 81, 1, p. 46-69

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Reconciling real and stochastic time : the need for probabilistic refinement

Markovski, J., D'Argenio, P. R., Baeten, J. C. M. & Vink, de, E. P., 2012, In : Formal Aspects of Computing. 24, 4-6, p. 497-518

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
6 Citations (Scopus)
67 Downloads (Pure)

Reo + mCRL2 : a framework for model-checking dataflow in service compositions

Kokash, N., Krause, C. & Vink, de, E. P., 2012, In : Formal Aspects of Computing. 24, 2, p. 187-216

Research output: Contribution to journalArticleAcademicpeer-review

42 Citations (Scopus)
2 Downloads (Pure)

Structural analysis of Boolean equation systems

Keiren, J. J. A., Reniers, M. A. & Willemse, T. A. C., 2012, In : ACM Transactions on Computational Logic. 13, 1, p. 8-1/35 8.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)

When Turing meets Milner

Baeten, J. C. M., Luttik, S. P. & Tilburg, van, P. J. A., 2012, In : ERCIM News. 91, p. 11-12

Research output: Contribution to journalArticleProfessional

Open Access
File
32 Downloads (Pure)
2011

A linear translation from CTL* to the first-order modal µ-calculus

Cranen, S., Groote, J. F. & Reniers, M. A., 2011, In : Theoretical Computer Science. 412, 28, p. 3129-3139

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)
1 Downloads (Pure)

A problem from IMO 2010

Zantema, H., 2011, In : Nieuw Archief voor Wiskunde. 5/12, 1, p. 40-43

Research output: Contribution to journalArticleProfessional

2 Downloads (Pure)

Dynamic consistency in process algebra : from Paradigm to ACP

Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2011, In : Science of Computer Programming. 76, 8, p. 711-735

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)

Experiences in developing the mCRL2 toolset

Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W. & Willemse, T. A. C., 2011, In : Software : Practice and Experience. 41, 2, p. 143-153

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)

Generation and evaluation of business continuity processes using algebraic graph transformation and the mCRL2 process algebra

Brandt, C., Hermann, F. & Groote, J. F., 2011, In : Journal of Research and Practice in Information Technology. 43, 1, p. 65-85

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
4 Citations (Scopus)
41 Downloads (Pure)

Levels of undecidability in rewriting

Endrullis, J., Geuvers, J. H., Simonsen, J. G. & Zantema, H., 2011, In : Information and Computation. 209, 2, p. 227-245

Research output: Contribution to journalArticleAcademicpeer-review

13 Citations (Scopus)
2 Downloads (Pure)

Long-run order-independence of vector-based transition systems

Raffelsieper, M., Mousavi, M. R. & Zantema, H., 2011, In : IET Computers and Digital Techniques. 5, 6, p. 468-478

Research output: Contribution to journalArticleAcademicpeer-review

2 Downloads (Pure)

On the axiomatizability of priority II

Aceto, L., Chen, T., Ingólfsdóttir, A., Luttik, B. & Pol, van de, J. C., 2011, In : Theoretical Computer Science. 412, 28, p. 3035-3044

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

The correctness of Newman’s typability algorithm and some of its extensions

Geuvers, J. H. & Krebbers, R., 2011, In : Theoretical Computer Science. 412, 28, p. 3242-3261

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

Unguardedness mostly means many solutions

Baeten, J. C. M. & Luttik, S. P., 2011, In : Theoretical Computer Science. 412, 28, p. 3090-3100

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

Verification of reactive systems via instantiation of parameterised Boolean equation systems

Ploeger, S. C. W., Wesselink, J. W. & Willemse, T. A. C., 2011, In : Information and Computation. 209, 4, p. 637-663

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)
2010

Eén minister voor onze nationale ICT : maak één ministerie eindverantwoordelijkheid over de informatietechnologie

Bots, J., Groote, J. F. & Bosman, J., 2010, In : Binnenlands Bestuur. 2010, 44, p. 43-43

Research output: Contribution to journalArticlePopular

Grip op ontwikkelen van correcte software

Groote, J. F., Stappers, F. P. M. & Reniers, M. A., 2010, In : Release. 2010, 4, p. 18-21

Research output: Contribution to journalArticlePopular

2 Downloads (Pure)

Invariants for parameterised Boolean equation systems

Orzan, S. M. & Willemse, T. A. C., 2010, In : Theoretical Computer Science. 411, 11-13, p. 1338-1371

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
5 Citations (Scopus)

Liveness verification in trss using tree automata and termination analysis

Mousazadeh, M., Ladani, B. T. & Zantema, H., 2010, In : Computing and Informatics. 29, 3, p. 407-426

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

Mealy synthesis of arithmetic bitstream functions

Hansen, H. H., 2010, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 2010, p. 41-50

Research output: Contribution to journalArticleAcademic

Subsequential transducers : a coalgebraic perspective

Hansen, H. H., 2010, In : Information and Computation. 208, 12, p. 1368-1397

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

Symbolic synthesis of Mealy machines from arithmetic bitstream functions

Hansen, H. H. & Rutten, J. J. M. M., 2010, In : Scientific Annals of Computer Science. 20, p. 97-130

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
7 Citations (Scopus)
36 Downloads (Pure)

Towards model checking executable UML specifications in mCRL2

Hansen, H. H., Ketema, J., Luttik, B., Mousavi, M. R. & van de Pol, J., 1 Mar 2010, In : Innovations in Systems and Software Engineering. 6, 1-2, p. 83-90 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
103 Citations (Scopus)
101 Downloads (Pure)

Well-definedness of streams by transformation and termination

Zantema, H., 2010, In : Logical Methods in Computer Science. 6, 3, p. 21-1/27

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
5 Citations (Scopus)
72 Downloads (Pure)
2009

A finite equational base for CCS with left merge and communication merge

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2009, In : ACM Transactions on Computational Logic. 10, 1, p. 6-1/26 6.

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)
2 Downloads (Pure)

Branching bisimilarity with explicit divergence

Glabbeek, van, R. J., Luttik, S. P. & Trcka, N., 2009, In : Fundamenta Informaticae. 93, 4, p. 371-392

Research output: Contribution to journalArticleAcademicpeer-review

46 Citations (Scopus)

Coalgebraic weak bisimulation for action-type systems

Sokolova, A., Vink, de, E. P. & Woracek, H., 2009, In : Scientific Annals of Computer Science. 19, p. 93-144 52 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
77 Downloads (Pure)

Compositionality for Markov reward chains with fast and silent transitions

Markovski, J., Sokolova, A., Trcka, N. & Vink, de, E. P., 2009, In : Performance Evaluation. 66, 8, p. 435-452

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
2 Downloads (Pure)

Computation tree logic with deadlock detection

Glabbeek, van, R. J., Luttik, B. & Trcka, N., 2009, In : Logical Methods in Computer Science. 5, 4:5, p. 1-24

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
17 Citations (Scopus)
66 Downloads (Pure)

Equivalence and quantifier rules in logics with imperfect information

Caicedo, X., Dechesne, F. & Janssen, T. M. V., 2009, In : Logic Journal of the IGPL. 17, 1, p. 91-129

Research output: Contribution to journalArticleAcademicpeer-review

24 Citations (Scopus)

Neighbourhood structures: bisimilarity and basic model theory

Hansen, H. H., Kupke, C. A. & Pacuit, E., 2009, In : Logical Methods in Computer Science. 5, 2:2, p. 1-38

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
86 Downloads (Pure)

Performance evaluation of distributed systems based on a discrete real- and stochastic-time process algebra

Markovski, J. & Vink, de, E. P., 2009, In : Fundamenta Informaticae. 95, 1, p. 157-186

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)

Proof assistants : history, ideas and future

Geuvers, J. H., 2009, In : Sadhana : Academy Proceedings in Engineering Sciences (Indian Academy of Sciences). 34, 1, p. 3-25

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
29 Citations (Scopus)
91 Downloads (Pure)

Search algorithms for automated validation

Engels, T. A. N., Groote, J. F., Weerdenburg, van, M. J. & Willemse, T. A. C., 2009, In : Journal of Logic and Algebraic Programming. 78, 4, p. 274-287

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
6 Citations (Scopus)
2 Downloads (Pure)

Social processes, program verification and all that

Asperti, A., Geuvers, J. H. & Natarajan, R., 2009, In : Mathematical Structures in Computer Science. 19, 5, p. 877-896

Research output: Contribution to journalArticleAcademicpeer-review

17 Citations (Scopus)

Solving scheduling problems by untimed model checking : the clinical chemical analyser case study

Wijs, A. J., Pol, van de, J. C. & Bortnik, E. M., 2009, In : International Journal on Software Tools for Technology Transfer. 11, 5, p. 375-392

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

Switching graphs

Groote, J. F. & Ploeger, B., 2009, In : International Journal of Foundations of Computer Science. 20, 5, p. 869-886

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
1 Downloads (Pure)
2008

Adding constants to string rewriting

Thiemann, R., Zantema, H., Giesl, J. & Schneider-Kamp, P., 2008, In : Applicable Algebra in Engineering, Communication and Computing. 19, 1, p. 27-38

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

A ground-complete axiomatization of finite-state processes in generic process algebra

Baeten, J. C. M. & Bravetti, M., 2008, In : Mathematical Structures in Computer Science. 18, 6, p. 1057-1089

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
2 Downloads (Pure)

Applying concurrency research in industry: Report on a strategic workshop

Aceto, L., Baeten, J. C. M., Fokkink, W. J., Ingólfsdóttir, A. & Nestmann, U., 2008, In : Bulletin of the European Association for Theoretical Computer Science, EATCS. 94, p. 113-129

Research output: Contribution to journalArticleProfessional

Computer-ondersteund redeneren : de boekhouder steunt de denker

Geuvers, J. H., 2008, In : De Automatisering Gids. 10, March 07, 2007, p. 15-

Research output: Contribution to journalArticlePopular

Constitutive hybrid processes: A process-algebraic semantics for hybrid bond graphs

Cuijpers, P. J. L., Broenink, J. F. & Mosterman, P. J., 2008, In : Simulation. 84, 7, p. 339-358

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

Integration of a security type system into a program logic

Hähnle, R., Pan, J., Rümmer, P. & Walter, D., 2008, In : Theoretical Computer Science. 402, 2-3, p. 172-189

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
4 Citations (Scopus)