• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Conferentiebijdrage
Conferentiebijdrage

(In)consistency of extensions of higher order logic and type theory

Geuvers, J. H., 2007, Revised Selected Papers of the International Workshop on Types for Proofs and Programs (TYPES 2006) 18-21 April 2006, Nottingham, United Kingdom. Altenkirsch, T. & McBride, C. (redactie). Berlin: Springer, blz. 140-159 (Lecture Notes in Computer Science; vol. 4502).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
77 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. (redactie). blz. 35-48 (Electronic Notes in Theoretical Computer Science; vol. 242(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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. (redactie). Berlin: Springer, blz. 223-239 (Lecture Notes in Computer Science; vol. 3188).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
5 Downloads (Pure)

Achieving discrete relative timing with untimed process algebra

Wijs, A. J., 2007, Proceedings of the 12th Conference on Engineering of Complex Computer Systems. Washington: Institute of Electrical and Electronics Engineers, blz. 35-46

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (Scopus)

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, blz. 103-117 15 blz. (Electronic Proceedings in Theoretical Computer Science ; vol. 277).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

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. (redactie). Berlin: Springer, blz. 327-342 (Lecture Notes in Computer Science; vol. 4137).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
1 Downloads (Pure)

A compositional merge of probabilistic processes in the alternating model

Andova, S., Baeten, J. C. M., D'Argenio, P. R. & Willemse, T. A. C., 2006, Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

A context-free process as a pushdown automaton

Baeten, J. C. M., Cuijpers, P. J. L. & Tilburg, van, P. J. A., 2008, CONCUR 2008 - Concurrency Theory (19th International Conference, Toronto, Canada, August 19-22, 2008, Proceedings). Breugel, van, F. & Chechik, M. (redactie). Berlin: Springer, blz. 98-113 (Lecture Notes in Computer Science; vol. 5201).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)

Action abstraction in timed process algebra : the case for an untimed silent step

Reniers, M. A. & Weerdenburg, van, M. J., 2007, Proceedings of the 2nd International Symposium on Fundamentals of Software Engineering (FSEN 2007) 17-19 April 2007, Tehran, Iran. Arbab, F. & Sirjani, M. (redactie). Berlijn, Germany: Springer, blz. 287-301 (Lecture Notes in Computer Science; vol. 4767).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

Action-based analysis of discrete regulatory networks with short-term stimuli

Krause, C. & Vink, de, E. P., 2010, Proceedings of the 8th Conference on Computational Methods in Systems Biology (CMSB 2010, Trento, Italy, September 29-October 1, 2010). Quaglia, P. (redactie). New York NY: Association for Computing Machinery, Inc, blz. 65-75

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Active Learning of Decomposable Systems

al Duhaiby, O. & Groote, J. F., 13 jul 2020, 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE). Seoul, Republic of Korea: ACM/IEEE, blz. 1-10 10 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
17 Downloads (Pure)

Active learning of industrial software with data

Sanchez, L., Groote, J. F. & Schiffelers, R., 2019, Preproceedings of Fundamentals of Software Engineering (FSEN) 2019. Hojjat, H. & Massink, M. (redactie). Tehran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, blz. 51-65 14 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Active learning of industrial software with data

Groote, J. F., Sanchez, L. & Schiffelers, R., 2019, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers. Hojjat, H. & Massink, M. (redactie). Cham: Springer, blz. 95-110 16 blz. (Lecture notes in computer science; vol. 11761).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A cure for stuttering parity games

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 2012, Theoretical Aspects of Computing – ICTAC 2012 (9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings). Roychoudhury, A. & D'Souza, M. (redactie). Berlin: Springer, blz. 198-212 (Lecture Notes in Computer Science; vol. 7521).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)
1 Downloads (Pure)

A definition scheme for quantitative bisimulation

Latella, D., Massink, M. & Vink, de, E. P., 2015, Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015, London, UK, April 11-12, 2015). Bertrand, N. & Tribastone, M. (redactie). EPTCS, blz. 63-78 (Electronic Proceedings in Theoretical Computer Science; vol. 194).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

A distributed spanning tree algorithm for topology-aware networks

Mooij, A. J., Goga, N. & Wesselink, J. W., 2004, Proceedings of the Conference on Design, Analysis, and Simulation of Distributed Systems 2004 (DASD 2004, Arlington VA, USA, April 18-22, 2004). Unger, H. (redactie). The Society for Modeling and Simulation International (SCS), blz. 168-178

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A family of multi-party authentication protocols

Cremers, C. J. F. & Mauw, S., 2006, Online Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006). Katholieke Universiteit Leuven

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

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

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2006, Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II. Bugliesi, M., Preneel, B., Sassone, V. & Wegener, I. (redactie). Berlin: Springer, blz. 492-503 (Lecture Notes in Computer Science; vol. 4052).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

A formalisation of consistent consequence for boolean equation systems

van Delft, M., Geuvers, H. & Willemse, T. A. C., 2017, Interactive theorem proving - 8th International Conference, ITP 2017,Proceedings. Ayala-Rincón, M. & Muñoz, C. A. (redactie). Springer, blz. 462-478 17 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10499).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

A formalization of anonymity and onion routing

Mauw, S., Verschuren, J. H. S. & Vink, de, E. P., 2004, Computer Security - ESORICS 2004 (Proceedings 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13-15, 2004). Samarati, P., Ryan, P., Gollmann, D. & Molva, R. (redactie). Berlin: Springer, blz. 109-124 (Lecture Notes in Computer Science; vol. 3193).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

40 Citaten (Scopus)
4 Downloads (Pure)

A framework for automatically checking anonymity with μ CRL

Chothia, T., Orzan, S. M., Pang, J. & Torabi Dashti, M., 2007, Revised Selected Papers of the Second Symposium on Trustworthy Global Computing (TGC 2006) 7-9 November 2006, Lucca, Italy. Montanari, U., Sannella, D. & Bruni, R. (redactie). Berlin, Germany: Springer, blz. 301-318 (Lecture Notes in Computer Science; vol. 4661).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
21 Citaten (Scopus)
93 Downloads (Pure)

A generic process algebra

Baeten, J. C. M. & Bravetti, M., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (redactie). blz. 65-71 (Electronic Notes in Theoretical Computer Science; vol. 162).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
4 Downloads (Pure)

A generic process algebra

Baeten, J. C. M. & Bravetti, M., 2005, Algebraic process calculi : the first twenty five years and beyond : short contributions from the workshop, PA'05, Bertinoro, Forli, Italy, August 1-5, 2005 / ed. Luca Aceto, Andrew D. Gordon. Aarhus: University of Aarhus, blz. 24-29 (BRICS Notes Series; vol. NS-05-3).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Aggregation methods for Markov reward chains with fast and silent transitions

Markovski, J. & Trcka, N., 2008, Proceedings 14th GI/ITG Conference Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB'08, Dortmund, Germany, March 31-April 2, 2008). Bause, F. & Buchholz, P. (redactie). Berlin: VDE Verlag, blz. 93-108

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

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

Baeten, J. C. M. & Bravetti, M., 2005, CONCUR 2005 - Concurrency Theory (Proceedings 16th International Conference, San Francisco CA, USA, August 23-26, 2005). Abadi, M. & de Alfaro, L. (redactie). Berlin: Springer, blz. 248-262 (Lecture Notes in Computer Science; vol. 3653).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (Scopus)

A hierarchy of probabilistic system types

Bartels, F., Sokolova, A. & Vink, de, E. P., 2003, Proceedings 6th International Workshop on Coalgebraic Methods in Computer Science (CMCS'03, Warsaw, Poland, April 5-6, 2003). (Electronic Notes in Theoretical Computer Science; vol. 82(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

27 Citaten (Scopus)

A hierarchy of SOS rule formats

Groote, J. F., Mousavi, M. R. & Reniers, M. A., 2006, Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS2005, Lisbon, Portugal, July 10, 2005; satellite to ICALP2005). Mosses, P. D. & Ulidowski, I. (redactie). blz. 3-25 (Electronic Notes in Theoretical Computer Science; vol. 156(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
1 Downloads (Pure)

A hybrid language for modeling, simulation and verification

Schiffelers, R. R. H., Beek, van, D. A., Man, K. L., Reniers, M. A. & Rooda, J. E., 2003, Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003). Engell, S., Gueguen, H. & Zaytoon, J. (redactie). Elsevier, blz. 235-240

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Almost wait-free resizable hashtable

Gao, H., Groote, J. F. & Hesselink, W. H., 2004, Proceedings 18th International Parallel and Distributed Processing Symposium (IPDPS 2004, Santa Fe, New Mexico, USA, April 26-30, 2004), Paper 50a. Los Alamitos CA: IEEE Computer Society, blz. 1-9

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

16 Citaten (Scopus)
1 Downloads (Pure)

A logical framework with explicit conversions

Geuvers, J. H. & Wiedijk, F., 2008, Proceedings 4th International Workshop on Logical Frameworks and Meta-Languages (LFM'04, Cork, Ireland, July 5, 2004). Schürmann, C. (redactie). blz. 33-47 (Electronic Notes in Theoretical Computer Science; vol. 199).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

A logically saturated extension of $\bar{\lambda} \mu \tilde{\mu}$

Mamane, L. E., Geuvers, J. H. & McKinna, J., 2009, Intelligent Computer Mathematics (16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings). Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, S. M. (redactie). Berlin: Springer, blz. 405-421 (Lecture Notes in Computer Science; vol. 5625).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Analysing the BKE-security protocol with µCRL

Blom, S. C. C., Groote, J. F., Mauw, S. & Serebrenik, A., 2005, Proceedings 6th AMAST Workshop on Real-Time Systems (ARTS2004, Stirling, UK, July 12, 2004). blz. 49-90 (Electronic Notes in Theoretical Computer Science; vol. 139(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

Hwong, Y. L., Kusters, V. J. J. & Willemse, T. A. C., 2012, Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers). Arbab, F. & Sirjani, M. (redactie). Berlin: Springer, blz. 174-189 (Lecture Notes in Computer Science; vol. 7141).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Analysis and synthesis of systems with discrete and continuous control

Cuijpers, P. J. L., Juloski, A. L., Reniers, M. A., Heemels, W. P. M. H., Groote, J. F. & Bosch, van den, P. P. J., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). blz. 28-33

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
50 Downloads (Pure)

Analysis of Boolean equation systems through structure graphs

Reniers, M. A. & Willemse, T. A. C., 2010, Proceedings 6th Workshop on Structural Operational Semantics (SOS 2009, Bologna, Italy, August 31, 2009). Klin, B. & Sobocinski, P. (redactie). blz. 92-107 (Electronic Proceedings in Theoretical Computer Science; vol. 18).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Analysis of DIRAC's behavior using model checking with process algebra

Remenska, D., Templon, J. A., Willemse, T. A. C., Bal, H. E., Verstoep, K., Fokkink, W. J., Charpentier, P., Graciani Diaz, R., Lanciotti, E., Roiser, S. & Ciba, K., 2012, International Conference on Computing in High Energy and Nuclear Physics 2012 (CHEP2012, New York NY, USA, May 21-25, 2012)). blz. 052061/1-10 (Journal of Physics: Conference Series; vol. 396(5)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Analysis of path planning algorithms : a formal verification-based approach

Khabbaz Saberi, A., Groote, J. F. & Keshishzadeh, S., 2013, Advances in Artificial Life - ECAL 2013 (Proceedings of the 12th European Conference on the Synthesis and Simulation of Living Systems, Taormina, Italy, September 2-6, 2013). Liò, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (redactie). MIT Press, blz. 232-239

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Downloads (Pure)

Analyzing a controller of a power distribution unit using formal methods

Groote, J. F., Osaiweran, A. A. H. & Wesselius, J. H., 2012, Proceedings of the Fifth International Conference on Software Testing, Verification and Validation (ICST 2012, Montreal, Canada, April 17-21, 2012). Institute of Electrical and Electronics Engineers, blz. 420-428

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Analyzing SystemC^FL designs using timed automata

Man, K. L., 2004, Proceedings 9th Biennial Baltic Electronics Conference (BEC 2004, Tallinn, Estonia, October 3-6, 2004).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Analyzing the effects of formal methods on the development of industrial control software

Groote, J. F., Osaiweran, A. A. H. & Wesselius, J. H., 2011, Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011). Institute of Electrical and Electronics Engineers, blz. 467-472

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
21 Citaten (Scopus)
103 Downloads (Pure)

An analysis of medical device communication standard IEEE 1073.2

Mooij, A. J., Goga, N., Wesselink, J. W. & Bosnacki, D., 2003, Communication Systems and Networks (Proceedings of the Second IASTED International Conference, CSN 2003, Benalmádena, Spain, September 8-10, 2003). Palau Salvador, E. C. (redactie). ACTA Press

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

1 Downloads (Pure)

An analysis of the control hierarchy modelling of the CMS detector control system

Hwong, Y. L., Willemse, T. A. C. & Kusters, V. J. J., 2011, 18th International Conference on Computing in High Energy and Nuclear Physics (CHEP 2010, Taipei, Taiwan, October 18-22, 2010). blz. 022010/1-6 (Journal of Physics: Conference Series; vol. 331).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

An analysis of the control hierarchy modelling of the CMS detector control system

Hwong, Y. L., Groote, J. F. & Willemse, T. A. C., 2009, Proceedings of the 12th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2009, Kobe, Japan, October 12-16, 2009). blz. 1-3

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
68 Downloads (Pure)

A near-linear-time algorithm for weak bisimilarity on Markov chains.

Jansen, D., Groote, J. F., Timmers, F. & Yang, P., 2020, 31st International Conference on Concurrency Theory (CONCUR2020). Konnov, I. & Kovács, L. (redactie). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 8:1-8:20 20 blz. 8

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

An exponential lower bound on OBDD refutations for pigeonhole formulas

Tveretina, O., Sinz, C. & Zantema, H., 2009, Proceedings 4th Athens Colloquium on Algorithms and Complexity (ACAC 2009, Athens, Greece, August 20-21, 2009). Markakis, E. & Milis, I. (redactie). s.n., blz. 13-21 (Electronic Proceedings in Theoretical Computer Science; vol. 4).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)
2 Downloads (Pure)

An O(m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 1 jan 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (redactie). Springer, blz. 3-20 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
1 Citaat (Scopus)

An O(m log n) algorithm for stuttering equivalence and branching bisimulation

Groote, J. F. & Wijs, A. J., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J-F. (redactie). Dordrecht: Springer, blz. 607-624 18 blz. (Lecture Notes in Computer Science; vol. 9636).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

10 Citaten (Scopus)
11 Downloads (Pure)

An operation-based metric for CPA resistance

Pan, J., Hartog, den, J. I. & Vink, de, E. P., 2008, Proceedings of the IFIP TC-11 23rd International Information Security Conference (IFIP 20th World Computer Congress, IFIP SEC’08, Milano, Italy, September 7-10, 2008). Jajodia, S., Samarati, P. & Cimato, S. (redactie). Boston: Springer, blz. 429-443 (IFIP Conference Proceedings; vol. 278).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)
1 Downloads (Pure)

An overview of the mCRL2 toolset and its recent advances

Cranen, S., Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Vink, de, E. P., Wesselink, J. W. & Willemse, T. A. C., 2013, Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings). Piterman, N. & Smolka, S. A. (redactie). Berlin: Springer, blz. 199-213 (Lecture Notes in Computer Science; vol. 7795).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

89 Citaten (Scopus)
1 Downloads (Pure)

A process-theoretic approach to supervisory control theory

Baeten, J. C. M., Beek, van, D. A., Luttik, S. P., Markovski, J. & Rooda, J. E., 2011, Proceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011). Piscataway: Institute of Electrical and Electronics Engineers, blz. 4496-4501

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

27 Citaten (Scopus)
2 Downloads (Pure)