• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Rapport
2009

Breadth-bounded model checking

Meulen, M. G., Stappers, F. P. M. & Willemse, T. A. C., 2009, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (Computer science reports; vol. 0903)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
21 Downloads (Pure)

De 15e Nederlandse testdag, 4 november, 2009, Technische Universiteit Eindhoven

Stappers, F. P. M. & Willemse, T. A. C., 2009, Eindhoven: Technische Universiteit Eindhoven. 19 blz.

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
145 Downloads (Pure)

Degrees of undecidability in rewriting

Endrullis, J., Geuvers, J. H. & Zantema, H., 2009, s.n. 19 blz. (arXiv.org [cs.LO]; vol. 0902.4723)

Onderzoeksoutput: Boek/rapportRapportAcademic

Design of asynchronous supervisors

Beohar, H., Cuijpers, P. J. L. & Baeten, J. C. M., 2009, s.n. 26 blz. (arXiv.org [cs.LO]; vol. 0910.0868)

Onderzoeksoutput: Boek/rapportRapportAcademic

Efficient on-the-fly computation of weak tau-confluence

Wijs, A. J. & Mateescu, R., 2009, Grenoble: INRIA. 45 blz. (Rapport de Recherche; vol. 7000)

Onderzoeksoutput: Boek/rapportRapportAcademic

2 Downloads (Pure)

Evaluation of a business continuity plan using process algebra and modal logic

Boehmer, W., Brandt, C. & Groote, J. F., 2009, Eindhoven: Technische Universiteit Eindhoven. 33 blz. (Computer science reports; vol. 0912)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
11 Citaten (Scopus)
147 Downloads (Pure)

Queue merge : a binary operator for modeling queueing behavior

Cuijpers, P. J. L., Koenders, F. A. J., Pustjens, M. G. P., Senders, B. A. G., Tilburg, van, P. J. A. & Verduin, P., 2009, Eindhoven: Technische Universiteit Eindhoven. 30 blz. (Computer science reports; vol. 0902)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
29 Downloads (Pure)
2008

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

Baeten, J. C. M. & Bravetti, M., 2008, Eindhoven: Technische Universiteit Eindhoven. 31 blz. (Computer science reports; vol. 0820)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
48 Downloads (Pure)

A proof system for invariants in layered OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 43 blz. (Computer science reports; vol. 0801)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
42 Downloads (Pure)

Basic timed process algebra with non-existence ($BPA^{srt}_{\bot}$)

Khadim, U. & Cuijpers, P. J. L., 2008, Eindhoven: Technische Universiteit Eindhoven. 281 blz. (Computer science reports; vol. 0809)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
27 Downloads (Pure)

Branching bisimulation equivalence with explicit divergence

Glabbeek, van, R. J., Luttik, S. P. & Trcka, N., 2008, Eindhoven: Technische Universiteit Eindhoven. 21 blz. (Computer science reports; vol. 0825)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
52 Downloads (Pure)

Computation tree logic with deadlock detection

Glabbeek, van, R. J., Luttik, B. & Trcka, N., 2008, Eindhoven: Technische Universiteit Eindhoven. 21 blz. (Computer science reports; vol. 0807)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
82 Downloads (Pure)

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems

Markovski, J. & Vink, de, E. P., 2008, Eindhoven: Technische Universiteit Eindhoven. 82 blz. (Computer science reports; vol. 0810)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
1 Citaat (Scopus)
63 Downloads (Pure)

Dynamic system adaptation by constraint orchestration

Groenewegen, L. P. J. & Vink, de, E. P., 2008, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (Computer science reports; vol. 0829)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
24 Downloads (Pure)

Finite equational bases for fragments of CCS with restriction and relabelling

Aceto, L., Ingólfsdóttir, A., Luttik, B. & Tilburg, van, P. J. A., 2008, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (Computer science reports; vol. 0808)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
7 Citaten (Scopus)
61 Downloads (Pure)

Instantiation for parameterised Boolean equation systems

van Dam, A., Ploeger, B. & Willemse, T. A. C., 2008, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computer science reports; vol. 0811)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
9 Citaten (Scopus)
56 Downloads (Pure)

Invariants for parameterised Boolean equation systems

Orzan, S. M. & Willemse, T. A. C., 2008, Eindhoven: Technische Universiteit Eindhoven. 40 blz. (Computer science reports; vol. 0817)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
5 Citaten (Scopus)
60 Downloads (Pure)

Parameterised anonymity

Groote, J. F. & Orzan, S. M., 2008, Eindhoven: Technische Universiteit Eindhoven. 15 blz. (Computer science reports; vol. 0822)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
58 Downloads (Pure)

Performance analysis of chi models using discrete-time probabilistic reward graphs

Trcka, N., Georgievska, S., Markovski, J., Andova, S. & Vink, de, E. P., 2008, Eindhoven: Technische Universiteit Eindhoven. 17 blz. (Computer science reports; vol. 0802)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
23 Downloads (Pure)

Switching graphs

Groote, J. F. & Ploeger, B., 2008, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (Computer science reports; vol. 0828)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
23 Downloads (Pure)
2007

A companion to coalgebraic weak bisimulation for action-type systems

Sokolova, A., Vink, de, E. P. & Woracek, H., 2007, Eindhoven: Technische Universiteit Eindhoven. 64 blz. (Computer science reports; vol. 0712)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
29 Downloads (Pure)

A comparison of Java Cards : state-of-affairs 2006

Mostowski, W., Pan, J., Akkiraju, S., Vink, de, E. P., Poll, E. & Hartog, den, J. I., 2007, Eindhoven: Technische Universiteit Eindhoven. 64 blz. (Computer science reports; vol. 0706)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
77 Downloads (Pure)

Aggregation methods for Markov reward chains with fast and silent transitions

Markovski, J. & Trcka, N., 2007, Eindhoven: Technische Universiteit Eindhoven. 68 blz. (Computer science reports; vol. 0708)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
46 Downloads (Pure)

Certification of proving termination of term rewriting by matrix interpretations

Koprowski, A. & Zantema, H., 2007, Eindhoven: Technische Universiteit Eindhoven. 23 blz. (Computer science reports; vol. 0722)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
68 Downloads (Pure)

Compositionality for Markov reward chains with fast transitions

Markovski, J., Sokolova, A., Trcka, N. & Vink, de, E. P., 2007, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (Computer science reports; vol. 0717)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
2 Citaten (Scopus)
67 Downloads (Pure)

Distributed strategic interleaving with load balancing

Bergstra, J. A. & Middelburg, C. A., 2007, Eindhoven: Technische Universiteit Eindhoven. 35 blz. (Computer science reports; vol. 0703)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
76 Downloads (Pure)

Equivalence and quantifier rules in logic with imperfect information

Caicedo, X., Dechesne, F. & Janssen, T. M. V., 2007, Amsterdam: Institute for Logic, Language and Computation. 42 blz. (Technical Report; vol. PP-2007-20)

Onderzoeksoutput: Boek/rapportRapportAcademic

Equivalence checking for infinite systems using parameterized Boolean equation systems

Chen, T., Ploeger, B., Pol, van de, J. C. & Willemse, T. A. C., 2007, Eindhoven: Technische Universiteit Eindhoven. 23 blz. (Computer science reports; vol. 0714)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
29 Citaten (Scopus)
50 Downloads (Pure)

Generic trace semantics via coinduction

Hasuo, I., Jacobs, B. P. F. & Sokolova, A., 2007, s.n. (CoRR; vol. abs/0710.2505)

Onderzoeksoutput: Boek/rapportRapportAcademic

109 Citaten (Scopus)

Linearization of hybrid Chi using program counters

Khadim, U., Beek, van, D. A. & Cuijpers, P. J. L., 2007, Eindhoven: Technische Universiteit Eindhoven. 48 blz. (Computer science reports; vol. 0718)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
29 Downloads (Pure)

Machine structure oriented control code logic

Bergstra, J. A. & Middelburg, K., 2007, Eindhoven: Technische Universiteit Eindhoven. 21 blz. (Computer science reports; vol. 0710)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
70 Downloads (Pure)

Operational and epistemic approaches to protocol analysis : bridging the gap

Dechesne, F., Mousavi, M. & Orzan, S. M., 2007, Eindhoven: Technische Universiteit Eindhoven. 20 blz. (Computer science reports; vol. 0715)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
18 Citaten (Scopus)
95 Downloads (Pure)

Real-time in stochastic process algebra : keeping track of winners and losers

Markovski, J. & Vink, de, E. P., 2007, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computer science reports; vol. 0713)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
22 Downloads (Pure)

Search algorithms for automated validation

Engels, T. A. N., Groote, J. F., Weerdenburg, van, M. J. & Willemse, T. A. C., 2007, Eindhoven: Technische Universiteit Eindhoven. 25 blz. (Computer science reports; vol. 0724)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
112 Downloads (Pure)

Testing and model-checking techniques for diagnosis

Gromov, M. & Willemse, T. A. C., 2007, Nijmegen: Radboud Universiteit Nijmegen. 27 blz. (Technical Report; vol. ICIS-R07016)

Onderzoeksoutput: Boek/rapportRapportAcademic

3 Citaten (Scopus)

The role of graphs in computer science

Baeten, J. C. M. & Hee, van, K. M., 2007, Eindhoven: Technische Universiteit Eindhoven. 15 blz. (Computer science reports; vol. 0720)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
31 Downloads (Pure)
2006

A comparative study of process algebras for hybrid systems

Khadim, U., 2006, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 0623)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
32 Downloads (Pure)

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

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2006, Eindhoven: Technische Universiteit Eindhoven. 22 blz. (Computer science reports; vol. 0607)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
3 Citaten (Scopus)
66 Downloads (Pure)

A thread algebra with multi-level strategic interleaving (extended version)

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 31 blz. (Computer science reports; vol. 0628)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
37 Downloads (Pure)

A thread calculus with molecular dynamics

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 40 blz. (Computer science reports; vol. 0624)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
85 Downloads (Pure)

Embedding real-time in stochastic process algebras

Markovski, J. & Vink, de, E. P., 2006, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 0615)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
4 Citaten (Scopus)
64 Downloads (Pure)

Generalizing Needham-Schroeder-Lowe for multi-party authentication

Cremers, C. J. F. & Mauw, S., 2006, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computer science reports; vol. 0604)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
159 Downloads (Pure)

Hybrid input-output conformance and test generation

Osch, van, M. P. W. J., 2006, Eindhoven: Technische Universiteit Eindhoven. 27 blz. (Computer science reports; vol. 0630)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
22 Citaten (Scopus)
57 Downloads (Pure)

Lumping Markov chains with silent steps

Markovski, J. & Trcka, N., 2006, Eindhoven: Technische Universiteit Eindhoven. 32 blz. (Computer science reports; vol. 0613)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
9 Citaten (Scopus)
58 Downloads (Pure)

Maurer computers for pipelined instruction processing

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 35 blz. (Computer science reports; vol. 0612)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
79 Downloads (Pure)

Nuovo DRM Paradiso : formal specification and verification of a DRM protocol

Jonker, H. L., Krishnan Nair, S. & Torabi Dashti, M., 2006, Amsterdam: Centrum voor Wiskunde en Informatica. 28 blz. (CWI report. SEN-R : software engineering; vol. 0602)

Onderzoeksoutput: Boek/rapportRapportAcademic

Nuovo DRM Paradiso : formal specification and verification of a DRM protocol

Jonker, H. L., Krishnan Nair, S. & Torabi Dashti, M., 2006, Eindhoven: Technische Universiteit Eindhoven. 29 blz. (Computer science reports; vol. 0610)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
30 Downloads (Pure)

Parallel processes with implicit computational capital

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 0635)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
70 Downloads (Pure)

Process algebra for dynamic system modeling

Baeten, J. C. M., Beek, van, D. A. & Rooda, J. E., 2006, Eindhoven: Technische Universiteit Eindhoven. 23 blz. (Computer science reports; vol. 0603)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
41 Downloads (Pure)

Pruning state spaces with extended beam search

Torabi Dashti, M. & Wijs, A. J., 2006, Amsterdam: Centrum voor Wiskunde en Informatica. 19 blz. (CWI report. SEN-R : software engineering; vol. 0610)

Onderzoeksoutput: Boek/rapportRapportAcademic

1 Downloads (Pure)