Research Output

Filter
Report
Report

Incorporating formal techniques into industrial practice

Osaiweran, A. A. H., Schuts, M. T. W. & Hooman, J. J. M., 2012, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 1214)

Research output: Book/ReportReportAcademic

Open Access
File
59 Downloads (Pure)

Inductive sets, the algebraic way

Geldrop - van Eijk, van, H. P. J. & Woude, van der, J. C. S. P., 2004, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0442)

Research output: Book/ReportReportAcademic

Open Access
File
117 Downloads (Pure)

Industry experience in using an abstract model to select software development tools

Zwartjes, G., van Geffen, J., Kourie, D. G., Boake, A. & Watson, B. W., 2004, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0417)

Research output: Book/ReportReportAcademic

Open Access
File
193 Downloads (Pure)

Initial experiments with TPTP-style automated theorem provers on ACL2 problems

Joosten, S. J. C., Kaliszyk, C. & Urban, J., 2014, s.n. 9 p. (arXiv; vol. 1406.1559 [cs.AI])

Research output: Book/ReportReportAcademic

Open Access
File
2 Citations (Scopus)
75 Downloads (Pure)

Instantiation for parameterised Boolean equation systems

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

Research output: Book/ReportReportAcademic

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

Integration of supervisory control synthesis in model-based systems engineering

Baeten, J. C. M., Mortel - Fronczak, van de, J. M. & Rooda, J. E., 2011, Eindhoven: Eindhoven University of Technology. 20 p. (SE report; vol. 2011-04)

Research output: Book/ReportReportAcademic

16 Downloads (Pure)

Interpretations of automata

Willemse, T. A. C., 2001, Eindhoven: Technische Universiteit Eindhoven. 41 p. (Computer science reports; vol. 0102)

Research output: Book/ReportReportAcademic

Open Access
File
42 Downloads (Pure)

Invariants for parameterised Boolean equation systems

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

Research output: Book/ReportReportAcademic

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

Investigating the basic notions of Hintikka's independence friendly logic

Dechesne, F., 2001, Eindhoven: Technische Universiteit Eindhoven. 33 p. (Computer science reports; vol. 0116)

Research output: Book/ReportReportAcademic

Open Access
File
62 Downloads (Pure)

Investigating the effects of designing industrial control software using push and poll strategies

Groote, J. F., Osaiweran, A. A. H., Schuts, M. T. W. & Wesselius, J. H., 2011, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1116)

Research output: Book/ReportReportAcademic

Open Access
File
43 Downloads (Pure)

ITU-TS Recommendation Z.120: Message Sequence Chart (MSC)

Mauw, S., 1997, Geneva: ITU-TS. 74 p.

Research output: Book/ReportReportAcademic

Language-driven system design

Mauw, S., Wiersma, W. T. & Willemse, T. A. C., 2001, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computer science reports; vol. 0107)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)

Leren over informatietechnologie : noodzaak voor iedereen [Rapport van de Adviescommissie voor Onderwijs en Informatietechnologie]

Ouwerkerk-Dijkers, van, M. P., 1982, Den Haag: Staatsuitgeverij.

Research output: Book/ReportReportAcademic

Leslie Lamport's logical clocks : a tutorial

Hoogerwoord, R. R., 2002, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Universitaet Hamburg. FBI-HH-B, Fachbereich Informatik : Bericht; vol. 238)(Computer science reports; vol. 0201)

Research output: Book/ReportReportAcademic

Open Access
File
160 Downloads (Pure)

Lifting non-finite axiomatizability results to extensions of process algebras

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Mousavi, M., 2008, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 0805)

Research output: Book/ReportReportAcademic

Open Access
File
54 Downloads (Pure)

Linearization of µCRL specifications

Usenko, Y. S., 2002, Amsterdam: Centrum voor Wiskunde en Informatica. 62 p. (CWI report. SEN-R : software engineering; vol. 0209)

Research output: Book/ReportReportAcademic

Linearization of hybrid Chi using program counters

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

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

Linearization of hybrid processes

Brand, van den, P. C. W., Reniers, M. A. & Cuijpers, P. J. L., 2004, Eindhoven: Technische Universiteit Eindhoven. 79 p. (Computer science reports; vol. 0429)

Research output: Book/ReportReportAcademic

Open Access
File
70 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)
70 Downloads (Pure)

Liveness in rewriting

Giesl, J. & Zantema, H., 2002, March 2003 revised version ed. Aachen: RWTH Aachen. (Aachener Informatik Berichte; vol. AIB2002-11)

Research output: Book/ReportReportAcademic

Open Access
File
66 Downloads (Pure)

Liveness in rewriting

Giesl, J. & Zantema, H., 2003, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computer science reports; vol. 0301)

Research output: Book/ReportReportAcademic

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

Locally unique labeling of model elements for state-based model differences

Protic, Z., 2010, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1006)

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)

Located actions in process algebra with timing

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

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Lock-free parallel garbage collection by Mark&Sweep

Gao, H., Groote, J. F. & Hesselink, W. H., 2004, Eindhoven: Technische Universiteit Eindhoven. 38 p. (Computer science reports; vol. 0431)

Research output: Book/ReportReportAcademic

Open Access
File
31 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)
60 Downloads (Pure)

Machine structure oriented control code logic

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

Research output: Book/ReportReportAcademic

Open Access
File
72 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
80 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
32 Downloads (Pure)

Message sequence charts in the software engineering process

Mauw, S., Reniers, M. A. & Willemse, T. A. C., 2000, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science reports; vol. 0012)

Research output: Book/ReportReportAcademic

Open Access
File
118 Downloads (Pure)

Modal abstractions in µCRL

Pol, van de, J. C. & Valero Espada, M. A., 2004, Amsterdam: Centrum voor Wiskunde en Informatica. 52 p. (CWI report. SEN-R : software engineering; vol. 0401)

Research output: Book/ReportReportAcademic

Model checking the FlexRay startup phase

Cranen, S., 2012, Eindhoven: Technische Universiteit Eindhoven. 38 p. (Computer science reports; vol. 1201)

Research output: Book/ReportReportAcademic

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

Modeling and validation of globally asynchronous design in synchronous frameworks

Mousavi, M. R., Guernic, le, P., Talpin, J-P., Shukla, S. K. & Basten, T., 2003, Rennes: INRIA. 18 p. (INRIA; vol. RR-4935)

Research output: Book/ReportReportAcademic

Open Access
File
23 Downloads (Pure)

Modelling and analysing software in mCRL2

Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., Dec 2019, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer Science Reports; vol. 19-05)

Research output: Book/ReportReportAcademic

Open Access
File
89 Downloads (Pure)

Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2

Keiren, J. J. A. & Klabbers, M. D., 2012, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computer science reports; vol. 1212)

Research output: Book/ReportReportAcademic

Open Access
File
71 Downloads (Pure)

Model theory for process algebra

Bergstra, J. A. & Middelburg, C. A., 2004, Eindhoven: Technische Universiteit Eindhoven. 49 p. (Computer science reports; vol. 0424)

Research output: Book/ReportReportAcademic

Open Access
File
62 Downloads (Pure)

Mode transfer in process algebra

Baeten, J. C. M. & Bergstra, J. A., 2000, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science reports; vol. 0001)

Research output: Book/ReportReportAcademic

Open Access
File
56 Downloads (Pure)

Multiphysics and multiscale software frameworks : an annotated bibliography

Babur, O., Verhoeff, T. & Brand, van den, M. G. J., 2015, Eindhoven: Technische Universiteit Eindhoven. 37 p. (Computer science reports; vol. 1501)

Research output: Book/ReportReportAcademic

Open Access
File
1767 Downloads (Pure)

Nominal algebra

Gabbay, M. J. & Mathijssen, A. H. J., 2007, Edinburgh: Heriott-Watt University. 13 p. (Technical Report; vol. HW-MACS-TR-0045)

Research output: Book/ReportReportAcademic

Nominal algebra and the HSP theorem

Gabbay, M. J. & Mathijssen, A. H. J., 2007, Edinburgh: Heriot-Watt University. 22 p. (Technical Report; vol. HW-MACS-TR-0057)

Research output: Book/ReportReportAcademic

Nondeterminism and divergence created by concealment in CSP

Verhoeff, T., 1986, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computing science notes; vol. 8606)

Research output: Book/ReportReportAcademic

Open Access
File
35 Downloads (Pure)

Non interleaving process algebra

Baeten, J. C. M. & Bergstra, J. A., 1993, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science notes; vol. 9336)

Research output: Book/ReportReportAcademic

Open Access
File
5 Citations (Scopus)
68 Downloads (Pure)

Non-termination using regular languages

Endrullis, J. & Zantema, H., 2014, s.n. 6 p. (arXiv; vol. 1405.5662 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
File
27 Downloads (Pure)

Numerical calculations in a problem with heat conduction and heat production

Geldrop - van Eijk, van, H. P. J., van Ginneken, C. J. J. M. & Gelder, van, D. W., 1973, Eindhoven: Technische Hogeschool Eindhoven. (EUT report. WSK, Dept. of Mathematics and Computing Science; vol. 73-WSK-05)

Research output: Book/ReportReportAcademic

Open Access
File
32 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
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
27 Downloads (Pure)

On hardcoding finite state automata processing

Ngassam, E. K., Watson, B. W. & Kourie, D. G., 2003, Eindhoven: Technische Universiteit Eindhoven. 29 p. (Computer science reports; vol. 0310)

Research output: Book/ReportReportAcademic

Open Access
File
57 Downloads (Pure)

On Pi-conversion in type theory

Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computing science reports; vol. 9447)

Research output: Book/ReportReportAcademic

Open Access
File
41 Downloads (Pure)

On rule formats for zero and unit elements

Aceto, L., Cimini, M., Ingólfsdóttir, A., Mousavi, M. R. & Reniers, M. A., 2010, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computer science reports; vol. 1003)

Research output: Book/ReportReportAcademic

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