Research Output

Filter
Article
2012

Probabilistic may/must testing: retaining probabilities by restricted schedulers

Georgievska, S. & Andova, S., 2012, In : Formal Aspects of Computing. 24, 4-6, p. 727-748

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
11 Citations (Scopus)
72 Downloads (Pure)

Process mining software repositories: do developers work as expected?

Poncin, W., Serebrenik, A. & Brand, van den, M. G. J., 2012, In : ERCIM News. 88, p. 16-17

Research output: Contribution to journalArticleProfessional

Open Access
File
61 Downloads (Pure)

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)

Rule formats for determinism and idempotence

Aceto, L., Birgisson, A., Ingólfsdóttir, A., Mousavi, M. R. & Reniers, M. A., 2012, In : Science of Computer Programming. 77, 7-8, p. 889-907

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
1 Downloads (Pure)

Rule formats for distributivity

Aceto, L., Cimini, M., Ingólfsdóttir, A., Mousavi, M. R. & Reniers, M. A., 2012, In : Theoretical Computer Science. 458, p. 1-28

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Seeing the forest for the trees with new econometric aggregation tchniques

Serebrenik, A., Brand, van den, M. G. J. & Vasilescu, B. N., 2012, In : ERCIM News. 88, p. 21-22

Research output: Contribution to journalArticleProfessional

Open Access
File
40 Downloads (Pure)

Sequential and distributed on-the-fly computation of weak Tau-confluence

Mateescu, R. & Wijs, A. J., 2012, In : Science of Computer Programming. 77, 10-11, p. 1075-1094

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)

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)

Automated termination proofs for Haskell by term rewriting

Giesl, J., Raffelsieper, M., Schneider-Kamp, P., Swiderski, S. & Thiemann, R., 2011, In : ACM Transactions on Programming Languages and Systems. 33, 2, p. 7-1/39 39 p., 7.

Research output: Contribution to journalArticleAcademicpeer-review

43 Citations (Scopus)
3 Downloads (Pure)

Beyond the competitive aspect of the IOI : it is all about caring for talent

Verhoeff, T., 2011, In : Olympiads in Informatics. 5, p. 120-127

Research output: Contribution to journalArticleProfessional

Open Access
File
1 Citation (Scopus)
39 Downloads (Pure)

Component-based development of software language engineering tools

Ssanyu, J. & Hemerik, C., 2011, In : International Journal of Computing & ICT Research. 5, special issue, p. 7-16

Research output: Contribution to journalArticleAcademicpeer-review

De IMO - over talent, plezier en wiskundekringen

Verhoeff, T., 2011, In : Nieuw Archief voor Wiskunde. 5/12, 2, p. 106-108

Research output: Contribution to journalArticlePopular

1 Downloads (Pure)

Desynchronisability of (partial) closed loop systems

Beohar, H. & Cuijpers, P. J. L., 2011, In : Scientific Annals of Computer Science. 21, p. 5-38

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
3 Citations (Scopus)
37 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)

Formal analysis of SystemC designs in process algebra

Hojjat, H., Mousavi, M. R. & Sirjani, M., 2011, In : Fundamenta Informaticae. 107, 1, p. 19-42

Research output: Contribution to journalArticleAcademicpeer-review

2 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)

Pointwise extensions of GSOS-defined operations

Hansen, H. H. & Klin, B., 2011, In : Mathematical Structures in Computer Science. 21, 2, p. 321-361 41 p.

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

Process algebra as a common framework for hardware/software coverification

Raffelsieper, M., Mousavi, M. R. & Sleuters, J., 2011, In : IEEE Embedded Systems Letters. 3, 1, p. 9-12

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
73 Downloads (Pure)

SOS rule formats for zero and unit elements

Aceto, L., Cimini, M., Ingólfsdóttir, A., Mousavi, M. R. & Reniers, M. A., 2011, In : Theoretical Computer Science. 412, 28, p. 3045-3071

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)

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

3D turtle geometry: artwork, theory, program equivalence and symmetry

Verhoeff, T., 2010, In : International Journal of Arts and Technology. 3, 2-3, p. 288-319

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
3 Downloads (Pure)

An enticing environment for programming

Verhoeff, T., 2010, In : Olympiads in Informatics. 4, p. 134-141

Research output: Contribution to journalArticleProfessional

2 Citations (Scopus)

A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms

Cleophas, L. G. W. A., Watson, B. W. & Zwaan, G., 2010, In : Science of Computer Programming. 75, 11, p. 1095-1112

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)
2 Downloads (Pure)

A nominal axiomatisation of the lambda-calculus

Gabbay, M. J. & Mathijssen, A. H. J., 2010, In : Journal of Logic and Computation. 20, 2, p. 501-531

Research output: Contribution to journalArticleAcademicpeer-review

13 Citations (Scopus)

Automated generation of program translation and verification tools using annotated grammars

Ordóñez Camacho, D., Mens, K., Brand, van den, M. G. J. & Vinju, J. J., 2010, In : Science of Computer Programming. 75, 1-2, p. 3-20

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
2 Citations (Scopus)

Automated termination analysis for logic programs with cut

Schneider-Kamp, P., Giesl, J., Stroeder, T., Serebrenik, A. & Thiemann, R., 2010, In : Theory and Practice of Logic Programming. 10, 4-6, p. 365-381

Research output: Contribution to journalArticleAcademicpeer-review

28 Citations (Scopus)

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)

Lifting non-finite axiomatizability results to extensions of process algebras

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Mousavi, M., 2010, In : Acta Informatica. 47, 3, p. 147-177

Research output: Contribution to journalArticleAcademicpeer-review

4 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

Parallel algorithms for transitive reduction for weighted graphs

Bosnacki, D., Ligtenberg, W. P. A., Odenbrett, M. R., Wijs, A. J. & Hilbers, P. A. J., 2010, In : Mathematica Macedonica. 8, 1, p. 95-106 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
56 Downloads (Pure)

Spelen met variantie

Verhoeff, T., 2010, In : Pythagoras : Wiskundetijdschrift voor Jongeren. 49, 3, p. 20-23

Research output: Contribution to journalArticlePopular

2 Downloads (Pure)

Subsequential transducers : a coalgebraic perspective

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

Research output: Contribution to journalArticleAcademicpeer-review

5 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)

Symmetry and partial order reduction techniques in model checking Rebeca

Jaghoori, M. M., Sirjani, M., Mousavi, M., Khamespanah, E. & Movaghar, A., 2010, In : Acta Informatica. 47, 1, p. 33-66

Research output: Contribution to journalArticleAcademicpeer-review

24 Citations (Scopus)

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)

Vertakte verstekverbindingen : principes en wiskunst

Verhoeff, T. & Verhoeff, K., 2010, In : Nieuwe Wiskrant. 30, 1, p. 13-18

Research output: Contribution to journalArticlePopular