Research Output

(co-)evolution in MDSE ecosystems

Mengerink, J. G. M., 2014, Benevol 2014 (Seminar on Software Evolution in Belgium and the Netherlands, Amsterdam, The Netherlands, November 27-28, 2014). Bruntink, M. & Storm, T. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 1-2

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
146 Downloads (Pure)

$\lambda {\rm P}-$ : a pure type system for first order logic with automated theorum proving

Franssen, M. G. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computing science reports; vol. 9715)

Research output: Book/ReportReportAcademic

Open Access
File
55 Downloads (Pure)

µCRL : a toolset for analysing algebraic specifications

Blom, S. C. C., Fokkink, W. J., Groote, J. F., Langevelde, van, I., Lisser, B. & Pol, van de, J. C., 2001, Computer Aided Verification (Proceedings 13th International Conference, CAV 2001, Paris, July 18-22, 2001). Berry, G., Comon, H. & Finkel, A. (eds.). Berlin: Springer, p. 250-254 (Lecture Notes in Computer Science; vol. 2102).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

88 Citations (Scopus)

20Years of IOI competition tasks

Verhoeff, T., 2008, In : Olympiads in Informatics. 3, p. 149-166

Research output: Contribution to journalArticleProfessional

Open Access
File
331 Downloads (Pure)

20 years of IOI competition tasks

Verhoeff, T., 1 Jan 2009, In : Olympiads in Informatics. 3, p. 149-166 18 p.

Research output: Contribution to journalConference articleAcademicpeer-review

10 Citations (Scopus)
1 Downloads (Pure)

2nd International Workshop on Automotive Systems and Software Architectures (WASA)—Introduction to special section

Dajsuren, Y., Altinger, H. & Staron, M., 1 Sep 2017, In : Journal of Systems Architecture. 79, p. 18-18 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

2 Downloads (Pure)

3D flying pipe-laying turtle

Verhoeff, T., 2014

Research output: Non-textual formSoftwareProfessional

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)

3rd international software language engineering conference (SLE) : pre-proceedings, October 12-13, 2010, Eindhoven, the Netherlands

Brand, van den, M. G. J. (ed.), Malloy, B. (ed.) & Staab, S. (ed.), 2010, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computer science reports; vol. 1012)

Research output: Book/ReportBook editingAcademic

Open Access
File
270 Downloads (Pure)

7e Nederlandse testdag, Eindhoven, 8 November 2001 : proceedings

Feijs, L. M. G. (ed.), Mauw, S. (ed.), Goga, N. (ed.) & Willemse, T. A. C. (ed.), 2001, Eindhoven: Technische Universiteit Eindhoven. 110 p. (Computer science reports; vol. 0110)

Research output: Book/ReportBook editingAcademic

Open Access
File
112 Downloads (Pure)

A basic parallel process as a parallel pushdown automaton

Baeten, J. C. M., Cuijpers, P. J. L. & Tilburg, van, P. J. A., 2009, Proceedings of the 15th International Workshop on Expressiveness in Concurrency (EXPRESS'08, Toronto, Canada, August 23, 2008). Hildebrandt, T. & Gorla, D. (eds.). p. 35-48 (Electronic Notes in Theoretical Computer Science; vol. 242(1)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A BDD-representation for the logic of equality and uninterpreted functions

Pol, van de, J. C. & Tveretina, O., 2005, Mathematical foundations of computer science : 30th international symposium, MFCS 2005, Gdansk, Poland, August 29-September 2, 2005 : proceedings. Jedrzejowicz, J. & Szepietowski, A. (eds.). Berlin: Springer, p. 769-780 (Lecture Notes in Computer Science; vol. 3618).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

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 blueprint for system-level performance modeling of software-intensive embedded systems

Hendriks, M., Basten, T., Verriet, J. H., Brasse, M. H. H. & Somers, L. J. A. M., 2016, In : International Journal on Software Tools for Technology Transfer. 18, 1, p. 21-40

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
4 Downloads (Pure)

A bottom-up quality model for QVTo

Gerpheide, C. M., Schiffelers, R. R. H. & Serebrenik, A., 2014, 9th International Conference on the Quality of Information and Communications Technology (QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014). Institute of Electrical and Electronics Engineers, p. 85-94

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
5 Downloads (Pure)

A Boyer-Moore-Horspool algorithm derivation

Cleophas, L. G. W. A. & Watson, B. W., 2008, In : South African Computer Journal. 41, p. 13-20

Research output: Contribution to journalArticleAcademicpeer-review

A Boyer-Moore-style algorithm for regular expression pattern matching

Watson, B. W. & Watson, R. E., 2003, In : Science of Computer Programming. 48, 2-3, p. 99-117

Research output: Contribution to journalArticleAcademicpeer-review

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

A brief history of process algebra

Baeten, J. C. M., 2004, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 0402)

Research output: Book/ReportReportAcademic

Open Access
File
165 Downloads (Pure)

A brief history of process algebra

Baeten, J. C. M., 2005, In : Theoretical Computer Science. 335, 2-3, p. 131-146

Research output: Contribution to journalArticleAcademicpeer-review

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

Abstract derivation of transitive closure algorithms

Feijs, L. M. G. & van Ommering, R. C., 1997, In : Information Processing Letters. 63, 3, p. 159-164

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
1 Downloads (Pure)

Abstract interpretation and partition refinement for model checking

Dams, D. R., 1996, Eindhoven: Technische Universiteit Eindhoven. 219 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
449 Downloads (Pure)

Abstract interpretation of reactive systems

Dams, D. R., Gerth, R. T. & Grumberg, O., 1997, In : ACM Transactions on Programming Languages and Systems. 19, 2, p. 253-291 39 p.

Research output: Contribution to journalArticleAcademicpeer-review

254 Citations (Scopus)

Abstraction in fixpoint logic

Cranen, S., Gazda, M. W., Wesselink, J. W. & Willemse, T. A. C., 2015, In : ACM Transactions on Computational Logic. 16, 4, p. 29/1-39 39 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

Abstraction in parameterised Boolean equation systems

Cranen, S., Gazda, M. W., Wesselink, J. W. & Willemse, T. A. C., 2013, Eindhoven: Technische Universiteit Eindhoven. 33 p. (Computer science reports; vol. 1301)

Research output: Book/ReportReportAcademic

Open Access
File
53 Downloads (Pure)

Abstraction of parallel uniform processes with data

Pang, J., Pol, van de, J. C. & Valero Espada, M. A., 2004, Proceedings 2nd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2004, Beijing, China, September 28-30, 2004. Los Alamitos CA: IEEE Computer Society, p. 14-23

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Academic software development tools and techniques (Report on the 1st Workshop WASDeTT at ECOOP 2008)

Wuyts, R., Kienle, H. M., Mens, K., Brand, van den, M. G. J. & Kuhn, A., 2009, Object-Oriented Technology: ECOOP 2008 Workshop Reader (ECOOP 2008 Workshops, Paphos, Cyprus, July 7-11, 2008. Final Reports). Eugster, P. (ed.). Berlin: Springer, p. 87-103 (Lecture Notes in Computer Science; vol. 5475).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

4 Citations (Scopus)

Academische curricula zijn bestand tegen outsourcing

Baeten, J. C. M. & Groote, J. F., 2005, In : De Automatisering Gids. 39, 13, p. 13-

Research output: Contribution to journalArticlePopular

A calculus for timed automata

D'Argenio, P. R. & Brinksma, E., 1996, Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996). Jonsson, B. & Parrow, J. (eds.). Springer, p. 110-129 (Lecture Notes in Computer Science; vol. 1135).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)

A calculus of tactics and its operational semantics

Geuvers, J. H. & Jojgov, G. I., 2004, Proceedings of the Mathematical Knowledge Management Symposium 2003 (Edinburgh, UK, November 25-29, 2003). p. 118-137 (Electronic Notes in Theoretical Computer Science; vol. 93).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

A case of industrial vs. open-source OCL: not so different after all

Mengerink, J. G. M., Noten, J. F. H., Schiffelers, R. R. H., van den Brand, M. G. J. & Serebrenik, A., 2017, ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017). CEUR-WS.org, p. 472-474 3 p. (CEUR Workshop Proceedings; vol. 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

A case of industrial vs. open-source OCL: not so different after all

Mengerink, J. G. M., Noten, J. F. H., Schiffelers, R., van den Brand, M. G. J. & Serebrenik, A., 2017, p. 472-474. 3 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
36 Downloads (Pure)

A case study in formal methods : specification and validation of the OM/RR protocol

Willemse, T. A. C., Tretmans, J. & Klomp, A., 2000, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science reports; vol. 0010)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

A categorization of GSN-based safety cases and patterns

Luo, Y., Li, Z. & van den Brand, M. G. J., 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy . Hammoudi, S., Pires, LF., Selic, B. & Desfray, P. (eds.). p. 509-516

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
3 Downloads (Pure)

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
61 Downloads (Pure)

A characterization of regular expressions under bisimulation

Baeten, J. C. M., Corradini, F. & Grabmayer, C. A., 2007, In : Journal of the ACM. 54, 2, p. 6-1/28

Research output: Contribution to journalArticleAcademicpeer-review

17 Citations (Scopus)

A checker for modal formulae for processes with data

Groote, J. F. & Willemse, T. A. C., 2004, Formal Methods for Components and Objects (Revised Lectures, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003). Boer, F. S., Bonsangue, M. M., Graf, S. & Roever, de, W. P. (eds.). Berlin: Springer, p. 223-239 (Lecture Notes in Computer Science; vol. 3188).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
5 Downloads (Pure)

A checker for modal formulas for processes with data

Groote, J. F. & Willemse, T. A. C., 2002, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 0216)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

A communication protocol for interactively controlling software tools

Wulp, van der, J., 2008, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computer science reports; vol. 0823)

Research output: Book/ReportReportAcademic

Open Access
File
35 Downloads (Pure)

A companion to coalgebraic weak bisimulation for action-type systems

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

Research output: Book/ReportReportAcademic

Open Access
File
29 Downloads (Pure)

A comparative study of process algebras for hybrid systems

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

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

A comparison of BDD-based parity game solvers

Sanchez, L., Wesselink, W. & Willemse, T. A. C., 7 Sep 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification. Waterloo: Open Publishing Association, p. 103-117 15 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 277).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
2 Citations (Scopus)
2 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 p. (Computer science reports; vol. 0706)

Research output: Book/ReportReportAcademic

Open Access
File
77 Downloads (Pure)

A Complete Axiomatisation for Probabilistic Trace Equivalence.

Timmers, F. & Groote, J. F., 2020, In : Scientific Annals of Computer Science. 30, 1, p. 69-104 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

A complete axiomatisation of branching bisimulation for probabilistic systems, with an application in protocol verification

Andova, S., Baeten, J. C. M. & Willemse, T. A. C., 2006, CONCUR 2006 - Concurrency Theory (Proceedings 17th International Conference, Bonn, Germany, August 27-30, 2006). Baier, C. & Hermanns, H. (eds.). Berlin: Springer, p. 327-342 (Lecture Notes in Computer Science; vol. 4137).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)

A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data

Groote, J. F. & Luttik, S. P., 1998, Amsterdam: Centrum voor Wiskunde en Informatica. 12 p. (CWI report. SEN-R : software engineering; vol. 9830)

Research output: Book/ReportReportAcademic

A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract)

van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 Nov 2019, The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer, p. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

A complete equational axiomatization for MPA with string iteration

Aceto, L. & Groote, J. F., 1997, Amsterdam: Centrum voor Wiskunde en Informatica. 30 p. (CWI report. SEN-R : software engineering; vol. 9708)

Research output: Book/ReportReportAcademic

Open Access
File
63 Downloads (Pure)

A complete equational axiomatization for MPA with string iteration

Aceto, L. & Groote, J. F., 1999, In : Theoretical Computer Science. 211, 1-2, p. 339-374 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

A complete finite prefix for process algebra

Brinksma, E. & Langerak, R., 1999, Computer aided verification : proceedings 11th international conference, CAV '99, Trento, Italy, july 6-10, 1999. Halbwachs, N. & Peled, D. (eds.). Springer, p. 184-195 (Lecture Notes in Computer Science; vol. 1633).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)