Research Output

Filter
Report
2006

Analysis of hierarchical fixed-priority pre-emptive scheduling revisited

Bril, R. J. & Cuijpers, P. J. L., 2006, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0636)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

A note on continuous bisimulation and stability

Cuijpers, P. J. L., 2006, Eindhoven: Technische Universiteit Eindhoven. 8 p. (Computer science reports; vol. 0626)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)

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

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

Research output: Book/ReportReportAcademic

Open Access
File
37 Downloads (Pure)

A thread calculus with molecular dynamics

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

Research output: Book/ReportReportAcademic

Open Access
File
85 Downloads (Pure)

Bug hunting with false negatives

Calamé, J. R., Ioustinova, N., Pol, van de, J. C. & Sidorova, N., 2006, Amsterdam: Centrum voor Wiskunde en Informatica. 32 p. (CWI Report; vol. SEN-R0609)

Research output: Book/ReportReportAcademic

Coq formalization of the higher-order recursive path ordering

Koprowski, A., 2006, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 0621)

Research output: Book/ReportReportAcademic

Open Access
File
201 Downloads (Pure)

Embedding real-time in stochastic process algebras

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

Research output: Book/ReportReportAcademic

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

Foundations of a compositional interchange format for hybrid systems

Beek, van, D. A., Reniers, M. A., Schiffelers, R. R. H. & Rooda, J. E., 2006, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0633)

Research output: Book/ReportReportAcademic

Open Access
File
74 Downloads (Pure)

Foundations of a compositional interchange format for hybrid systems

Beek, van, D. A., Reniers, M. A., Schiffelers, R. R. H. & Rooda, J. E., 2006, Eindhoven: Technische Universiteit Eindhoven. 19 p. (SE report; vol. 2006-05)

Research output: Book/ReportReportAcademic

Open Access
File
78 Downloads (Pure)

Generalizing Needham-Schroeder-Lowe for multi-party authentication

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

Research output: Book/ReportReportAcademic

Open Access
File
159 Downloads (Pure)

Hybrid input-output conformance and test generation

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

Research output: Book/ReportReportAcademic

Open Access
File
22 Citations (Scopus)
57 Downloads (Pure)

Liveness and boundedness of synchronous data flow graphs

Ghamarian, A. H., Geilen, M. C. W., Basten, T., Theelen, B. D., Mousavi, M. R. & Stuijk, S., 2006, Eindhoven: Technische Universiteit Eindhoven. 14 p. (ES reports; vol. 2006-04)

Research output: Book/ReportReportAcademic

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

Lumping Markov chains with silent steps

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

Research output: Book/ReportReportAcademic

Open Access
File
9 Citations (Scopus)
59 Downloads (Pure)

Maurer computers for pipelined instruction processing

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

Research output: Book/ReportReportAcademic

Open Access
File
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 p. (CWI report. SEN-R : software engineering; vol. 0602)

Research output: Book/ReportReportAcademic

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 p. (Computer science reports; vol. 0610)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

Parallel processes with implicit computational capital

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

Research output: Book/ReportReportAcademic

Open Access
File
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 p. (Computer science reports; vol. 0603)

Research output: Book/ReportReportAcademic

Open Access
File
41 Downloads (Pure)

Realizability criteria for compositional MSC

Mooij, A. J., Romijn, J. M. T. & Wesselink, J. W., 2006, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 0611)

Research output: Book/ReportReportAcademic

Open Access
File
8 Citations (Scopus)
78 Downloads (Pure)

Recursive path ordering for infinite labelled rewrite systems

Koprowski, A. & Zantema, H., 2006, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0617)

Research output: Book/ReportReportAcademic

Open Access
File
3 Citations (Scopus)
42 Downloads (Pure)

Solving scheduling problems by untimed model checking

Wijs, A. J., Pol, van de, J. C. & Bortnik, E., 2006, Amsterdam: Centrum voor Wiskunde en Informatica. 21 p. (CWI report. SEN-R : software engineering; vol. 0608)

Research output: Book/ReportReportAcademic

Streamlining progress-based derivations of concurrent programs

Dongol, B. & Mooij, A. J., 2006, Brisbane: Queensland University. 17 p. (Technical Report; vol. SSE-2006-06)

Research output: Book/ReportReportAcademic

Synchronous cooperation for explicit multi-threading

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 45 p. (Computer science reports; vol. 0629)

Research output: Book/ReportReportAcademic

Open Access
File
62 Downloads (Pure)

Towards automatic generation of parameterized test cases from abstractions

Calamé, J. R., Ioustinova, N. & Pol, van de, J. C., 2006, Amsterdam: Centrum voor Wiskunde en Informatica. 39 p. (CWI Report; vol. SEN-E0602)

Research output: Book/ReportReportAcademic

Towards periodic budgeting in real-time calculus

Cuijpers, P. J. L. & Bril, R. J., 2006, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 0622)

Research output: Book/ReportReportAcademic

Open Access
File
67 Downloads (Pure)

TPA : termination proved automatically

Koprowski, A., 2006, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0616)

Research output: Book/ReportReportAcademic

Open Access
File
14 Citations (Scopus)
63 Downloads (Pure)

What is algebraic in process theory?

Luttik, B., 2006, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 0606)

Research output: Book/ReportReportAcademic

Open Access
File
5 Citations (Scopus)
64 Downloads (Pure)
2005

A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs)

Pol, van de, J. C. & Tveretina, O., 2005, Amsterdam: Centrum voor Wiskunde en Informatica. 19 p. (CWI report. SEN-R : software engineering; vol. 0509)

Research output: Book/ReportReportAcademic

A characterization of regular expressions under bisimulation

Baeten, J. C. M., Corradini, F. & Grabmayer, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0527)

Research output: Book/ReportReportAcademic

Open Access
File
62 Downloads (Pure)

A graph model for a basic process algebra for hybrid systems

Khadim, U., 2005, Eindhoven: Technische Universiteit Eindhoven. 77 p. (Computer science reports; vol. 0531)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

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

Baeten, J. C. M. & Bravetti, M., 2005, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0518)

Research output: Book/ReportReportAcademic

Open Access
File
13 Citations (Scopus)
51 Downloads (Pure)

Analysis of timed processes with data using algebraic transformations

Reniers, M. A. & Usenko, Y. S., 2005, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0522)

Research output: Book/ReportReportAcademic

Open Access
File
3 Citations (Scopus)
89 Downloads (Pure)

Core security requirements of DRM systems

Jonker, H. L. & Mauw, S., 2005, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 0524)

Research output: Book/ReportReportAcademic

Open Access
File
47 Downloads (Pure)

Detecting strongly connected components in large distributed state spaces

Orzan, S. M. & Pol, van de, J. C., 2005, Amsterdam: Centrum voor Wiskunde en Informatica. 21 p. (CWI report SEN-E : software engineering; vol. 0501)

Research output: Book/ReportReportAcademic

Duplication of constants in process algebra

Baeten, J. C. M. & Reniers, M. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 48 p. (Computer science reports; vol. 0532)

Research output: Book/ReportReportAcademic

Open Access
File
56 Downloads (Pure)

Maurer computers with single-thread control

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computer science reports; vol. 0517)

Research output: Book/ReportReportAcademic

Open Access
File
31 Downloads (Pure)

On compositions and paths for coalgebras

Sokolova, A., 2005, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0526)

Research output: Book/ReportReportAcademic

Open Access
File
26 Downloads (Pure)

Orthogonal extensions in structural operational semantics

Mousavi, M. R. & Reniers, M. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 0516)

Research output: Book/ReportReportAcademic

Open Access
File
80 Downloads (Pure)

Preferential choice and coordination conditions

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computer science reports; vol. 0514)

Research output: Book/ReportReportAcademic

Open Access
File
67 Downloads (Pure)

Process algebra with conditionals in the presence of epsilon

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 41 p. (Computer science reports; vol. 0515)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Process algebra with local communication

Weerdenburg, van, M. J., 2005, Eindhoven: Technische Universiteit Eindhoven. 48 p. (Computer science reports; vol. 0505)

Research output: Book/ReportReportAcademic

Open Access
File
27 Downloads (Pure)

Proving liveness with fairness using rewriting

Koprowski, A. & Zantema, H., 2005, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0506)

Research output: Book/ReportReportAcademic

Open Access
File
57 Downloads (Pure)

Reducing right hand sides for termination

Zantema, H., 2005, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0519)

Research output: Book/ReportReportAcademic

Open Access
File
8 Citations (Scopus)
62 Downloads (Pure)

Regular expressions in process algebra

Baeten, J. C. M. & Corradini, F., 2005, Eindhoven: Technische Universiteit Eindhoven. 8 p. (Computer science reports; vol. 0511)

Research output: Book/ReportReportAcademic

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

Simulated time for testing railway interlockings with TTCN-3

Blom, S. C. C., Ioustinova, N., Pol, van de, J. C. & Sidorova, N., 2005, Amsterdam: Centrum voor Wiskunde en Informatica. 13 p. (CWI report SEN-E : software engineering; vol. 0503)

Research output: Book/ReportReportAcademic

Simulating Turing machines on Maurer machines

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0528)

Research output: Book/ReportReportAcademic

Open Access
File
85 Downloads (Pure)

Specification, analysis and verification of an automated parking garage

Mathijssen, A. H. J. & Pretorius, A. J., 2005, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computer science reports; vol. 0525)

Research output: Book/ReportReportAcademic

Open Access
File
96 Downloads (Pure)

Splitting bisimulations and retrospective conditions

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 51 p. (Computer science reports; vol. 0503)

Research output: Book/ReportReportAcademic

Open Access
File
48 Downloads (Pure)

Statistical certification of software systems

Di Bucchianico, A., Groote, J. F., Hee, van, K. M. & Kruidhof, R., 2005, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0523)

Research output: Book/ReportReportAcademic

Open Access
File
66 Downloads (Pure)

Strong splitting bisimulation equivalence

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computer science reports; vol. 0504)

Research output: Book/ReportReportAcademic

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