Department of Mathematics and Computer Science

Research Output 1950 2020

Filter
Conference contribution
2019

A bottleneck with randomly distorted arrival times

van Leeuwen, D., Ravner, L., Ghazanfari, S. & Queija, R. N., 12 Mar 2019, Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019. New York: Association for Computing Machinery, Inc, p. 55-62 8 p.

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

Numerical analysis
Mechanics
Uncertainty

Accurate ILP-based contention modeling on statically scheduled multicore systems

Palomo, X., Mezzetti, E., Abella, J., Bril, R. J. & Cazorla, F. J., 1 Apr 2019, Proceedings - 25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019. Brandenburg, B. B. (ed.). Piscataway: Institute of Electrical and Electronics Engineers, p. 15-28 14 p. 8743282

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

Inductive logic programming (ILP)
Scheduling
Hardware
Industry
2 Citations (Scopus)

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. (eds.). Tehran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, p. 51-65 14 p.

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

Learning systems
Large scale systems
Problem-Based Learning

A framework to evaluate and compare decision-mining techniques

Jouck, T., de Leoni, M. & Depaire, B., 29 Jan 2019, Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. Daniel, F., Sheng, Q. Z. & Motahari, H. (eds.). Cham: Springer, p. 482-493 12 p. (Lecture Notes in Business Information Processing; vol. 342)

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

Mining
Evaluate
Evaluation
Decision Model
Framework

A general framework to identify software components from execution data

Liu, C., van Dongen, B. F., Assy, N. & van der Aalst, W. M. P., 5 May 2019, ENASE 2019 - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering. Spanoudakis, G., Damiani, E., Maciaszek, L. & Maciaszek, L. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 234-241 8 p.

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

Open Access
Reverse engineering
Software architecture
Recovery

A least-squares method for a Monge-Ampère equation with non-quadratic cost function applied to optical design

Yadav, N. K., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 1 Jan 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. 301-309 9 p. (Lecture Notes in Computational Science and Engineering; vol. 126)

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

Monge-Ampère Equation
Optical design
Optical Design
Least Square Method
Cost functions

Algorithmic approaches to reconfigurable assembly systems

Costa, A., Abdel-Rahman, A., Jenett, B., Gershenfeld, N., Kostitsyna, I. & Cheung, K., 6 Dec 2019, 2019 IEEE Aerospace Conference, AERO 2019. Piscataway: Institute of Electrical and Electronics Engineers, 8 p. 8741572

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

robotics
Robotics
assembly
fault tolerance
structural design

A low power time domain ECG interface based on flexible a-IGZO TFTs

Zulqarnain, M., Stanzione, S., van der Steen, J. L. P. J., Gelinck, G. H., Myny, K. & Cantatore, E., 1 Jun 2019, Proceedings - 2019 8th International Workshop on Advances in Sensors and Interfaces, IWASI 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 205-209 5 p. 8791321

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

Electrocardiography
Time Domain
preamplifiers
pulse duration
Low-frequency Noise

A model-based framework to automatically generate semi-real data for evaluating data analysis techniques

Li, G., de Carvalho, R. M. & van der Aalst, W. M. P., 5 May 2019, ICEIS 2019 - Proceedings of the 21st International Conference on Enterprise Information Systems. Filipe, J., Brodsky, A., Smialek, M. & Hammoudi, S. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 213-220 8 p.

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

Open Access
Information systems
Acoustic waves
Industry
Confidentiality
Evaluation

An approach for workflow improvement based on outcome and time remaining prediction

Galdo Seara, L. & De Carvalho, R. M., 1 Jan 2019, MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Selic, B. & Pires, L. F. (eds.). Setúbal: SCITEPRESS-Science and Technology Publications, Lda., p. 475-482 8 p.

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

Industry

An approach to the detection of post-seismic structural damage based on image segmentation methods

Cevallos-Torres, L. J., Minda Gilces, D., Guijarro-Rodriguez, A., Barriga-Diaz, R., Leyva-Vazquez, M. & Botto-Tobar, M., 1 Jan 2019, Technology Trends - 4th International Conference, CITT 2018, Revised Selected Papers. Botto-Tobar, M., D’Armas, M., Zúñiga Sánchez, M., Zúñiga-Prieto, M. & Pizarro, G. (eds.). Cham: Springer, p. 644-658 15 p. (Communications in Computer and Information Science; vol. 895)

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

Image segmentation
Image Segmentation
Crack Detection
Crack detection
Crack

An effective and efficient approach for supporting the generation of synthetic memory reference traces via hierarchical hidden/non-hidden Markov Models

Cuzzocrea, A., Mumolo, E. & Hassani, M., 16 Jan 2019, Proceedings - 2018 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018. Institute of Electrical and Electronics Engineers, p. 2953-2959 7 p. 8616498

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

Learning systems
Data storage equipment
Markov model
Machine Learning
Scenarios

An experimental study of context-free path query evaluation methods

Kuijpers, J., Fletcher, G., Yakovets, N. & Lindaaker, T., 23 Jul 2019, Proceedings of the 31st International Conference on Scientific and Statistical Database Management, SSDBM 2019. Jimenez, I., Maltzahn, C. & Malik, T. (eds.). New York: Association for Computing Machinery, Inc, p. 121-132 12 p.

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

Context free grammars
Bioinformatics
Labels

An interactive web-based visual analytics tool for detecting strategic eye movement patterns

Burch, M., Kumar, A. & Timmermans, N., 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, 5 p. 93

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

Eye movements
Eye Movements
Visualization
Scanning
Directed graphs

An overview of multiple sequence alignment methods applied to transmembrane proteins

Zambrano-Vega, C., Oviedo, B., Villamar-Torres, R., Botto-Tobar, M. & Barros-Rodríguez, M., 1 Jan 2019, Technology Trends - 4th International Conference, CITT 2018, Revised Selected Papers. Botto-Tobar, M., D’Armas, M., Zúñiga Sánchez, M., Zúñiga-Prieto, M. & Pizarro, G. (eds.). Cham: Springer, p. 410-419 10 p. (Communications in Computer and Information Science; vol. 895)

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

Multiple Sequence Alignment
Proteins
Protein
Protein Sequence
Cytology

Application of complementary dual AG codes to entanglement-assisted quantum codes

Fernandes Pereira, F., Pellikaan, R., Gadioli La Guardia, G. & de Assis, F. M., 2019, (Accepted/In press) Proceedings of the IEEE International Symposium on Information Theory. Piscataway: Institute of Electrical and Electronics Engineers

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

A practical algorithm for spatial agglomerative clustering

Castermans, T., Speckmann, B. & Verbeek, K., 2019, Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments. Philadelphia: Society for Industrial and Applied Mathematics (SIAM), p. 174-185 12 p.

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

Open Access
File
Spatial Clustering
Quadtree
Clustering
Inverse function
Hierarchical Clustering

A reaction attack against cryptosystems based on LRPC codes

Samardjiska, S., Santini, P., Persichetti, E. & Banegas, G., 2019, Progress in Cryptology -- LATINCRYPT 2019. Schwabe, P. & Thériault, N. (eds.). Cham: Springer International Publishing Switzerland, p. 197-216 20 p. (Lecture Notes in Computer Science; vol. 11774)

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

Cryptography
Decoding
Standardization

A retargetable fault injection framework for safety validation of autonomous vehicles

Fu, Y., Terechko, A., Bijlsma, T., Cuijpers, P. J. L., Redegeld, J. & Ors, A. O., 9 May 2019, 2019 IEEE International Conference on Software Architecture - Companion, ICSA-C 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 69-76 8 p. 8712351

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

Hardware
User interfaces
Electronic equipment
Health
Robots

A spanner for the day after

Buchin, K., Har-Peled, S. & Oláh, D., 1 Jun 2019, 35th International Symposium on Computational Geometry, SoCG 2019. Barequet, G. & Wang, Y. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 19. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 129)

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

Open Access
File

Assessing the meaning of emojis for emotional awareness - a pilot study

Brants, W. M. G., Sharif, B. & Serebrenik, A., 13 May 2019, Companion of The 2019 World Wide Web Conference. Association for Computing Machinery, Inc, p. 419-423

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

Open Access

Automated tractography of four white matter fascicles in support of brain tumor surgery

Meesters, S., Rutten, G-J., Fuster, A. & Florack, L., 2019, Proceedings of the Organization for Human Brain Mapping annual meeting. 1 p.

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

Open Access
File
Linguistics
Surgery
Tumors
Brain
Pipelines

Beyond the code itself: how programmers really look at pull requests

Ford, D., Behroozi, M., Serebrenik, A. & Parnin, C., 28 May 2019, 41st International Conference on Software Engineering, Software Engineering in Society. IEEE Computer Society, p. 51-60

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

Open Access
1 Citation (Scopus)

Brain connectivity measures via direct sub-Finslerian front propagation on the 5D sphere bundle of positions and directions

Portegies, J., Meesters, S., Ossenblok, P., Fuster, A., Florack, L. & Duits, R., 3 May 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I. Bonet-Carne, E., Grussu, F., Ning, L., Sepehrband, F. & Tax, C. M. W. (eds.). Cham: Springer, p. 309-321 13 p. (Lecture Notes in Computer Science ; vol. 11070)

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

File
Front Propagation
Brain
Bundle
Connectivity
Magnetic resonance imaging

Cancer detection in mass spectrometry imaging data by recurrent neural networks

Ghazvinian Zanjani, F., Panteli, A., Zinger, S., van der Sommen, F., Tan, T., Balluff, B., Vos, D. R. N., Ellis, S. R., Heeren, R. M. A., Lucas, M., Marquering, H. A., Jansen, I., Savci-Heijink, C. D., de Bruin, D. M. & de With, P. H. N., 2019, 2019 IEEE 16th International Symposium on Biomedical Imaging (ISBI 2019). Piscataway: Institute of Electrical and Electronics Engineers, p. 674-678 8759571

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

Recurrent neural networks
Mass spectrometry
Imaging techniques
Computer aided diagnosis
Data storage equipment

CARONTE: crawling adversarial resources over non-trusted, high-profile environments

Campobasso, M., Burda, P. & Allodi, L., 2019, Workshop on Attackers and Cyber-Crime Operations (WACCO). Institute of Electrical and Electronics Engineers

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

Scalability
Servers
Monitoring
Costs

Challenges in designing exploit mitigations for deeply embedded systems

Abbasi, A., Wetzels, J., Holz, T. & Etalle, S., 1 Jun 2019, Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 31-46 16 p. 8806725

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

Embedded systems
vulnerability
Data storage equipment
corruption
Hardening

Characterizing the redundancy of DarkWeb .onion services

Burda, P., Boot, C. & Allodi, L., 2019, International Conference on Availability, Reliability and Security (ARES 2019). New York: Association for Computing Machinery, Inc, 10 p. 19

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

Redundancy
Law enforcement
Mirrors
1 Citation (Scopus)

Clustered eye movement similarity matrices

Kumar, A., Timmermans, N. N., Burch, M. & 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, 9 p. 82

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

Eye movements
Eye Movements
Cluster Analysis
Visualization
Scanning

Cognitive Triaging of Phishing Attacks

Heijden, A. V. D. & Allodi, L., 6 May 2019, (Accepted/In press) Usenix Security 2019. Usenix Association

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

File
Electronic mail
Remediation
Learning systems

Combining interactive hierarchy visualizations in a web-based application

Burch, M., Aerts, W., Bon, D., McCarren, S., Rothuizen, L., Smet, O. & Wöltgens, D., Feb 2019, VISIGRAPP 2019 - Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Kerren, A., Hurter, C. & Braz, J. (eds.). Setúbal: SCITEPRESS-Science and Technology Publications, Lda., p. 191-198 8 p.

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

Visualization
Taxonomies
Sports
Software engineering
Servers

Computational effort of BDD-based supervisor synthesis of extended finite automata

Thuijsman, S., Hendriks, D., Theunissen, R. J. M., Reniers, M. & Schiffelers, R., 2019, (Accepted/In press) 2019 IEEE 15th International Conference on Automation Science and Engineering. Institute of Electrical and Electronics Engineers, 8 p.

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

Open Access
File
Binary decision diagrams
Supervisory personnel
Finite automata
Clocks
Experiments

Concept drift detection of event streams using an adaptive window

Hassani, M., 1 Jun 2019, 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019. p. 230-239 10 p. DSM 73. (Proceedings - European Council for Modelling and Simulation, ECMS; vol. 33)

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

Concept Drift
Process Mining
Data mining
Mining
Data Mining

Confusion in code reviews: reasons, impacts and coping strategies: reasons, Impacts, and Coping Strategies

Ebert, F., Castor, F., Novielli, N. & Serebrenik, A., 15 Mar 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 49-60 12 p. 8668024

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

Triangulation
Quality assurance
Defects

Conservative mimetic cut-cell method for incompressible Navier-Stokes equations

Beltman, R., Anthonissen, M. & Koren, B., 1 Jan 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. 1035-1043 9 p. (Lecture Notes in Computational Science and Engineering; vol. 126)

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

Incompressible Navier-Stokes Equations
Vorticity
Cartesian
Navier Stokes equations
Boundary conditions

Constrained optimization of fuel efficiency for RCCI engines

Xia, L., Willems, R., de Jager, B. & Willems, F., 28 Jun 2019, 9th IFAC International Symposium on Advances in Automotive Control. p. 648-653

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

Convex polygons in Cartesian products

De Carufel, J. L., Dumitrescu, A., Meulemans, W., Ophelders, T., Pennarun, C., Tóth, C. D. & Verdonschot, S., 1 Jun 2019, 35th International Symposium on Computational Geometry, SoCG 2019. Barequet, G. & Wang, Y. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. 22. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 129)

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

Open Access
File
Polynomials

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 29 May 2019, Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings. Pérez, J. & Yoshida, N. (eds.). Cham: Springer, p. 185-203 19 p. (Lecture Notes in Computer Science; vol. 11535)

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

Antichain
Refinement
Correctness
Divergence
Specification

DAGS: reloaded revisiting dyadic key encapsulation

Banegas, G., Barreto, P. S. L. M., Boidje, B. O., Cayrel, P-L., Dione, G. N., Gaj, K., Gueye, C. T., Haeussler, R., Klamti, J. B., Ndiaye, O., Nguyen, D. T., Persichetti, E. & Ricardini, J. E., 2019, Code-Based Cryptography - 7th International Workshop, CBC 2019. Baldi, M., Persichetti, E. & Santini, P. (eds.). Cham: Springer, p. 69-85 17 p.

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

Encapsulation
Binary codes
Standardization
Cryptography

Data-driven online monitoring of wind turbines

Kenbeek, T., Kapodistria, S. & Di Bucchianico, A., 12 Mar 2019, Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019. Association for Computing Machinery, Inc, p. 143-150 8 p.

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

Wind turbines
Monitoring
Statistical process control
Regression analysis
Sensors

Data-driven usability test scenario creation

van Eck, M. L., Markslag, E., Sidorova, N., Brosens-Kessels, A. & van der Aalst, W. M. P., 1 Jan 2019, Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Revised Selected Papers. Lárusdóttir, M. K., Winckler, M., Kuusinen, K., Palanque, P. & Bogdan, C. (eds.). Cham: Springer, p. 88-108 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11262 LNCS)

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

Usability Test
Data-driven
Scenarios
Usability
Product development

Deep learning approach to semantic segmentation in 3D point cloud intra-oral scans of teeth

Ghazvinian Zanjani, F., Anssari Moin, D., Verheij, B., Claessen, F., Cherici, T., Tan, T. & de With, P. H. N., 2019, International Conference on Medical Imaging with Deep Learning (MIDL). PMLR, Vol. 102, (Proceedings of Machine Learning Research)

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

Open Access

Deep reinforcement learning for IoT network dynamic clustering in edge computing

Liu, Q., Cheng, L., Ozcelebi, T., Murphy, J. & Lukkien, J., 1 May 2019, Proceedings - 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 600-603 4 p. 8752691

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

Reinforcement learning
Internet
Cluster Analysis
Learning
Servers

Describing behavior of processes with many-to-many interactions

Fahland, D., 1 Jan 2019, Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Proceedings. Haar, S. & Donatelli, S. (eds.). Springer, p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11522 LNCS)

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

Many to many
Data structures
Interaction
Synchronization
Data Modeling

Designing IoT systems: patterns and managerial conflicts

Rahman, L. F., Ozcelebi, T. & Lukkien, J. J., 1 Mar 2019, 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 542-548 7 p. 8730573

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

Life cycle
Systems analysis
Specifications
Internet of things
Stakeholders

Detecting behavioral design patterns from software execution data

Liu, C., van Dongen, B. F., Assy, N. & van der Aalst, W. M. P., 29 Jun 2019, Evaluation of Novel Approaches to Software Engineering - 13th International Conference, ENASE 2018, Revised Selected Papers. Damiani, E., Spanoudakis, G. & Maciaszek, L. A. (eds.). Cham: Springer, p. 137-164 28 p. (Communications in Computer and Information Science; vol. 1023)

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

Design Patterns
Software System
Software
Process Mining
State Observer

Distribution of behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 26 Aug 2019, Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics. arXiv.org, p. 54-68 15 p.

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

Open Access
File
Decomposition
Distributed computer systems
Large scale systems
Communication

Does UML modeling associate with higher software quality in open-source software?

Raghuraman, A., Ho-Quang, T., Chaudron, M. R. V., Serebrenik, A. & Vasilescu, B., 1 Mar 2019, (Accepted/In press) Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019). ACM/IEEE, p. 101-104

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

Open Access

Don't forget your roots: constant-time root finding over backslashmathbb F2^mF2m

Martins, D., Banegas, G. & Custódio, R., 2019, Progress in Cryptology -- LATINCRYPT 2019. Schwabe, P. & Thériault, N. (eds.). Cham: Springer International Publishing Switzerland, p. 109-129 21 p. (Lecture Notes in Computer Science; vol. 11774)

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

Quantum cryptography
Polynomials
Side channel attack
1 Citation (Scopus)

Doubly half-injective PRGs for incompressible white-box cryptography

Alpirez Bock, E., Amadori, A., Bos, J. W., Brzuska, C. & Michiels, W., 3 Feb 2019, Topics in Cryptology – CT-RSA 2019 - The Cryptographers’ Track at the RSA Conference 2019, Proceedings. Matsui, M. (ed.). Cham: Springer, p. 189-209 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11405 LNCS)

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

Cryptography
Injective
Attack
Digital Rights Management
Incompressibility