Department of Mathematics and Computer Science

Research Output

Filter
Conference contribution
2019

Performance evaluation of thread protocol based wireless mesh networks for lighting systems

Sistu, S., Liu, Q., Ozcelebi, T., Dijk, E. & Zotti, T., Jun 2019, 2019 International Symposium on Networks, Computers and Communications, ISNCC 2019. Institute of Electrical and Electronics Engineers, 8 p. 8909109

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

Performance mining for batch processing using the performance spectrum

Klijn, E. L. & Fahland, D., 1 Jan 2019, Business Process Management Workshops - BPM 2019 International Workshops, Revised Selected Papers. Di Francescomarino, C., Dijkman, R. & Zdun, U. (eds.). Cham: Springer, p. 172-185 14 p. (Lecture Notes in Business Information Processing; vol. 362 LNBIP).

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

Performance mining for batch processing using the performance spectrum

Klijn, E. L. & Fahland, D., 2019, 15th International Workshop on Business Process Intelligence. 12 p.

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

Open Access
File
68 Downloads (Pure)

Periodic homogenization of a pseudo-parabolic equation via a spatial-temporal decomposition

Vromans, A., van de Ven, F. & Muntean, A., 15 Apr 2019, Proceedings of The 20th European Conference on Mathematics for Industry. Farag ́o, I., Izs ́ak, F. & Simon, P. (eds.). Springer, 6 p. (The European Consortium for Mathematics in Industry Series).

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

Open Access
File
14 Downloads (Pure)

Photonic-based beamforming system for sub-THz wireless communications

Morales, A., Smirnov, S., Lioubtchenko, D. V., Oberhammer, J., Okonkwo, C. & Tafur Monroy, I., May 2019, 2019 European Microwave Conference in Central Europe (EuMCE). Vrba, J., Svanda, M., Fiser, O. & Vrba, D. (eds.). p. 253-256 4 p. 8874745

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

1 Citation (Scopus)

Physical-layer confidentiality by chaotic encoding in radio-over-fiber systems

Morales, A., Konstantinou, D., Rommel, S., Johannsen, U., Okonkwo, C. & Monroy, I. T., 22 Apr 2019, 2019 Optical Fiber Communications Conference and Exhibition, OFC 2019 - Proceedings. Washington D.C.: Optical Society of America (OSA), 8696884

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

Open Access
File
35 Downloads (Pure)

Political-electoral marketing and influencing factors in student representatives’ elections under a fuzzy logic approach

Cevallos-Torres, L., Botto-Tobar, M., Yepez-Holguín, J., Ortiz-Zambrano, J. & Valencia-Martínez, N., 1 Jan 2019, Computer and Communication Engineering - 1st International Conference, ICCCE 2018, Proceedings. Yánez-Pazmiño, W., Barzola-Monteses, J., Santos-Baquerizo, E., Botto-Tobar, M. & Espinoza-Andaluz, M. (eds.). Springer, p. 124-138 15 p. (Communications in Computer and Information Science; vol. 959).

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

Practical challenges for FSLM

Balasubramanian, S. M. N., Afshar, S., Gai, P., Behnam, M. & Bril, R. J., 9 Jan 2019, RTCSA 2018 - 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. Guerrero, J. E. (ed.). Institute of Electrical and Electronics Engineers, p. 238-239 2 p. 8607257

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

Predicting critical behaviors in business process executions: when evidence counts

Genga, L., Di Francescomarino, C., Ghidini, C. & Zannone, N., 17 Jul 2019, Business Process Management Forum - BPM Forum 2019, Proceedings: BPM Forum 2019, Vienna, Austria, September 1–6, 2019, Proceedings. Hildebrandt, T., van Dongen, B. F., RöglingeR, M. & Mendling, J. (eds.). Cham: Springer, p. 72-90 19 p. (Lecture Notes in Business Information Processing; vol. 360).

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

3 Downloads (Pure)

Predictive performance monitoring of material handling systems using the performance spectrum

Denisov, V., Fahland, D. & van der Aalst, W. M. P., 1 Jun 2019, Proceedings - 2019 International Conference on Process Mining, ICPM 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 137-144 8 p. 8786068

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

1 Downloads (Pure)

Preface

Larsen, K. G. & Willemse, T., 1 Jan 2019, Formal Methods for Industrial Critical Systems. Cham: Springer, p. v-vi 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687).

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

Preprocessing ambiguous imprecise points

Hoog, I. V. D., Kostitsyna, I., Löffler, M. & Speckmann, B., 1 Jun 2019, 35th International Symposium on Computational Geometry (SoCG 2019). Barequet, G. & Wang, Y. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 129. p. 42:1-42:16 16 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 129).

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

Open Access
File
12 Downloads (Pure)

Privacy-conscious threat intelligence using DNSBLoom

van Rijswijk-Deij, R., Rijnders, G., Bomhoff, M. & Allodi, L., 16 May 2019, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 98-106 9 p. 8717908

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

1 Citation (Scopus)

Privacy-preserving multi-party access control

Sheikhalishahi, M., Tillem, G., Erkin, Z. & Zannone, N., 11 Nov 2019, WPES 2019 - Proceedings of the 18th ACM Workshop on Privacy in the Electronic Society. New York: Association for Computing Machinery, Inc, p. 1-13 13 p.

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

Process mining meets GDPR compliance: the right to be forgotten as a use case

Zaman, R. & Hassani, M., 1 Jan 2019, ICPM Doctoral Consortium 2019: Proceedings of the ICPM 2019 Doctoral Consortium co-located with 1st International Conference on Process Mining (ICPM 2019). van Dongen, B. & Claes, J. (eds.). CEUR-WS.org, 9 p. (CEUR Workshop Proceedings; vol. 2432).

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

Open Access
File
17 Downloads (Pure)

Productivity and patterns of activity in bug bounty programs: analysis of hackerone and Google vulnerability research

Luna, D., Allodi, L. & Cremonini, M., 26 Aug 2019, Proceedings of the 14th International Conference on Availability, Reliability and Security, ARES 2019. New York: Association for Computing Machinery, Inc, 10 p. 67

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

1 Citation (Scopus)
2 Downloads (Pure)

Programming, software development, and computer science: the golden triangle

Verhoeff, T., Jul 2019, Olympiads in Informatics. Dagiene, V. (ed.). Vilnius: Vilnius University, p. 157-170 14 p. (Olympiads in Informatics; vol. 13).

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

Open Access
File
23 Downloads (Pure)

Quantum BCH and reed-solomon entanglement-assisted codes

Fernandes Pereira, F. & Pellikaan, R., 2019, Proceedings of the 40th WIC Symposium on Information Theory in the Benelux . p. 102 1 p.

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

Quantum circuits for the CSIDH: optimizing quantum evaluation of isogenies

Bernstein, D. J., Lange, T., Martindale, C. & Panny, L., 24 Apr 2019, Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Rijmen, V. & Ishai, Y. (eds.). Cham: Springer, p. 409-441 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11477 LNCS).

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

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

Quantum data encryption as a service on demand: Eindhoven QKD network testbed

Raddo, T. R., Rommel, S., Land, V., Okonkwo, C. & Monroy, I. T., 1 Jul 2019, 21st International Conference on Transparent Optical Networks, ICTON 2019. Piscataway: IEEE Computer Society, 5 p. 8840238

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

Quantum Indistinguishability of random sponges

Czajkowski, J., Hülsing, A. & Schaffner, C., 1 Jan 2019, Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings. Boldyreva, A. & Micciancio, D. (eds.). Cham: Springer, p. 296-325 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11693 LNCS).

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

Reducing static analysis alarms based on non-impacting control dependencies

Muske, T., Talluri, R. & Serebrenik, A., 18 Nov 2019, Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings. Widjaja Lin, A. (ed.). Cham: Springer, p. 115-135 21 p. (Lecture Notes in Computer Science; vol. 11893).

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

Open Access

Re-identification of vessels with convolutional neural networks

Ghahremani, A., Kong, Y., Bondarev, E. & de With, P. H. N., 1 Jan 2019, 5th International Conference on Computer and Technology Applications, (ICCTA2019). Association for Computing Machinery, Inc, p. 93-97 5 p.

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

1 Downloads (Pure)

RERS 2019: combining synthesis with real-world models

Jasper, M., Mues, M., Murtovi, A., Schlüter, M., Howar, F., Steffen, B., Schordan, M., Hendriks, D., Schiffelers, R., Kuppens, H. & Vaandrager, F. W., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Beyer, D., Kordon, F. & Huisman, M. (eds.). Cham: Springer, p. 101-115 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

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

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

Revenue maximization in an optical router node using multiple wavelengths

Abidini, M. A., Boxma, O., Hurkens, C., Koonen, T. & Resing, J., 12 Mar 2019, Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019. Association for Computing Machinery, Inc, p. 47-53 7 p.

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

Role inference + anomaly detection = situational awareness in bacnet networks

Fauri, D., Kapsalakis, M., dos Santos, D. R., Costante, E., den Hartog, J. & Etalle, S., 6 Jun 2019, Detection of Intrusions and Malware, and Vulnerability Assessment - 16th International Conference, DIMVA 2019, Proceedings. Maurice, C., Giacinto, G., Perdisci, R. & Almgren, M. (eds.). Cham: Springer, p. 461-481 21 p. (Lecture Notes in Computer Science; vol. 11543).

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

1 Downloads (Pure)

Round5: compact and fast post-quantum public-key encryption

Baan, H., Bhattacharya, S., Fluhrer, S., Garcia-Morchon, O., Laarhoven, T. M. M., Rietman, R., Saarinen, M. J. O., Tolhuizen, L. & Zhang, Z., 14 Jul 2019, Post-Quantum Cryptography - 10th International Conference, PQCrypto 2019, Revised Selected Papers. Ding, J. & Steinwandt, R. (eds.). Cham: Springer, p. 83-102 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11505 LNCS).

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

3 Citations (Scopus)

Safety analysis method for cooperative driving systems

Dajsuren, Y. & Loupias, G., 30 Apr 2019, Proceedings - 2019 IEEE International Conference on Software Architecture, ICSA 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 181-190 10 p. 8703914

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

Scalable temporal clique enumeration

Zhu, K., Fletcher, G., Yakovets, N., Papapetrou, O. & Wu, Y., 19 Aug 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019. New York: Association for Computing Machinery, Inc, p. 120-129 10 p.

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

2 Downloads (Pure)

SDN/NFV 5G fronthaul networks integrating analog/digital RoF, optical beamforming, power over fiber and optical SDM technologies

Munoz, R., Fabrega, J. M., Vilalta, R., Casellas, R., Nadal, L., Martinez, R., Svaluto Moreolo, M., Capitani, M., Landi, G., Rommel, S., Monroy, I. T., Otero, G., Lopez, J. D., Vazquez, C., Larrabeiti, D., Sanchez, D. & Grivas, E., Jun 2019, 2019 European Conference on Networks and Communications, EuCNC 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 459-463 5 p. 8802045

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

1 Citation (Scopus)

Secure OCDM intra-data center systems enabled by photonic integrated devices

Raddo, T. R., Olmos, J. J. V. & Monroy, I. T., 1 Jul 2019, 21st International Conference on Transparent Optical Networks, ICTON 2019. Piscataway: IEEE Computer Society, 5 p. Th.D3.2

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

Sensor fusion of odometry and a single beacon distance measurement

Fraanje, R., Beltman, R., Theinert, F., van Osch, M., Punter, T. & Bolte, J., 1 May 2019, Proceedings of the 2019 20th International Conference on Research and Education in Mechatronics, REM 2019. Hehenberger, P. (ed.). Piscataway: Institute of Electrical and Electronics Engineers, 6 p. 8744098

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

1 Downloads (Pure)

Sequencing and intermediate acceptance: axiomatisation and decidability of bisimilarity

Belder, A., Luttik, B. & Baeten, J., Nov 2019, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 22 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 139).

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

Open Access
File
6 Downloads (Pure)

Seth says: weak Fréchet distance is faster, but only if it is continuous and in one dimension

Buchin, K., Ophelders, T. & Speckmann, B., 1 Jan 2019, SODA '19 Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms. New York: Association for Computing Machinery, Inc, p. 2887-2899 13 p.

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

1 Citation (Scopus)
1 Downloads (Pure)

SIGmA: GPU accelerated simplification of SAT formulas

Osama, M. & Wijs, A., 1 Jan 2019, Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Cham: Springer, p. 514-522 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

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

Solution of the benchmark control problem by scenario optimization

Rocchetta, R., Crespo, L. G. & Kenny, S. P., 26 Nov 2019, Dynamic Systems and Control Conference. 8 p. DSCC2019-8949

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

1 Citation (Scopus)

Solving inverse illumination problems with Liouville's equation

van Lith, B. S., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2019, Numerical Mathematics and Advanced Applications ENUMATH 2017. Radu, F. A., Kumar, K., Berre, I., Nordbotten, J. M. & Pop, I. S. (eds.). Cham: Springer, p. 311-319 9 p. (Lecture Notes in Computational Science and Engineering; vol. 126).

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

2 Downloads (Pure)

Stable divisorial gonality is in NP

Bodlaender, H. L., van der Wegen, M. & van der Zanden, T. C., 11 Jan 2019, SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Catania, B., Pighizzini, G., Královič, R. & Nawrocki, J. (eds.). Cham: Springer, p. 81-93 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11376 LNCS).

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

1 Citation (Scopus)

Stack memory requirements of AUTOSAR/OSEK-compliant scheduling policies

Bril, R. J., Altmeyer, S. & Gai, P., 1 Aug 2019, Proceedings - 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019. Piscataway: Institute of Electrical and Electronics Engineers, 6 p. 8864554

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

Stampnet: unsupervised multi-class object discovery

Visser, J., Corbetta, A., Menkovski, V. & Toschi, F., Sep 2019, 2019 IEEE International Conference on Image Processing, ICIP 2019 - Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, p. 2951-2955 5 p. 8803767

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

1 Citation (Scopus)

Storing and querying multi-dimensional process event logs using graph databases

Esser, S. & Fahland, D., 2019, 15th International Workshop on Business Process Intelligence. 13 p.

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

Open Access
File
114 Downloads (Pure)

Storing and querying multi-dimensional process event logs using graph databases

Esser, S. & Fahland, D., 1 Jan 2019, Business Process Management Workshops - BPM 2019 International Workshops, Revised Selected Papers. Di Francescomarino, C., Dijkman, R. & Zdun, U. (eds.). Cham: Springer, p. 632-644 13 p. (Lecture Notes in Business Information Processing; vol. 362 LNBIP).

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

Subgraph isomorphism on graph classes that exclude a substructure

Bodlaender, H. L., Hanaka, T., Okamoto, Y., Otachi, Y. & van der Zanden, T. C., 6 Apr 2019, Algorithms and Complexity - 11th International Conference, CIAC 2019, Proceedings. Heggernes, P. (ed.). Cham: Springer, p. 87-98 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11485 LNCS).

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

Supervised two-stage transfer learning on imbalanced dataset for sport classification

Bi, T., Jarnikov, D. & Lukkien, J., 1 Jan 2019, Image Analysis and Processing – ICIAP 2019 - 20th International Conference, Proceedings. Ricci, E., Sebe, N., Rota Bulò, S., Snoek, C., Lanz, O. & Messelodi, S. (eds.). Cham: Springer, p. 356-366 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11751 LNCS).

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

Support for limited-preemptive fixed-priority scheduling: – an evolutionary step still facing research challenges –

Bril, R. J., 2019, Proc. 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems. 3 p.

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

Open Access
File
7 Downloads (Pure)

Task classification model for visual fixation, exploration, and search

Kumar, A., Tyagi, A., Burch, M., Weiskopf, D. & Mueller, K., 25 Jun 2019, Proceedings - ETRA 2019: 2019 ACM Symposium On Eye Tracking Research and Applications. Spencer, S. N. (ed.). New York: Association for Computing Machinery, Inc, 4 p. 65

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

1 Citation (Scopus)

Taster: self-tuning, elastic and online approximate query processing

Olma, M., Papapetrou, O., Appuswamy, R. & Ailamaki, A., 1 Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. Piscataway: IEEE Computer Society, p. 482-493 12 p. 8731505

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

1 Citation (Scopus)
2 Downloads (Pure)

The impact of analog front-end filters on ultrasound harmonic imaging

Zhou, M., Ouzounov, S., Mischi, M., Cantatore, E. & Harpe, P., Oct 2019, 2019 IEEE International Ultrasonics Symposium, IUS 2019. Piscataway: IEEE Computer Society, p. 993-996 4 p. 8926057

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

1 Downloads (Pure)

The integration of 5G, PON and VLC technologies for ubiquitous connectivity in autonomous and cooperative systems

Kurbatska, I., Braunfelds, J., Bobrovs, V., Spolitis, S., Raddo, T. R., Cimoli, B., Rommel, S. & Tafur Monroy, I., Sep 2019, IEEE 5G World Forum, 5GWF 2019 - Conference Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, p. 237-242 6 p. 8911668

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

Open Access
File
31 Downloads (Pure)

The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

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

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