Research Output 1972 2019

Filter
Conference contribution
2019

Active learning of industrial software with data

Groote, J. F., Sanchez, L. & Schiffelers, R., 2019, Proceedings FSEN 2019. Hojjat, H. & Massink, M. (eds.). Cham: Springer, p. 95-110 16 p. (Lecture notes in computer science; vol. 11761).

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

Learning systems
Large scale systems
Problem-Based Learning
4 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

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 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

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

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

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

Open Access
Communication

Automatically learning patterns for self-admitted technical debt removal

Zampetti, F., Serebrenik, A. & Di Penta, M., 30 Nov 2019, (Accepted/In press) 27th IEEE International Conference on Software Analysis, Evolution and Reengineering. IEEE Computer Society

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

Recurrent neural networks
Application programming interfaces (API)
Classifiers
Neural networks
Deep learning

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

Ford, D., Behroozi, M., Serebrenik, A. & Parnin, C., 28 May 2019, Proceedings 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Society ICSE-SEIS 2019. Piscataway: IEEE Computer Society, p. 51-60 10 p. 8797633

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

Open Access
Decision making
13 Downloads (Pure)

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

Thuijsman, S., Hendriks, D., Theunissen, R. J. M., Reniers, M. & Schiffelers, R., Aug 2019, 2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 486-493 8 p. 8843327

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

Open Access
File
Binary decision diagrams
Supervisory personnel
Finite automata
Clocks
Experiments
2 Citations (Scopus)

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

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, Proceedings. Yoshida, N. & Pérez, J. A. (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
4 Downloads (Pure)

Distribution of behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 26 Aug 2019, Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics. p. 54-68 15 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 300).

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

Open Access
File
Decomposition
Distributed computer systems
Large scale systems
Communication
4 Downloads (Pure)

Does UML modeling associate with lower defect proneness? a preliminary empirical investigation

Raghuraman, A., Ho-Quang, T., Chaudron, M. R. V., Serebrenik, A. & Vasilescu, B., 1 May 2019, Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019). Piscataway: IEEE Computer Society, p. 101-104 4 p. 8816762

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

Open Access
File
Defects
Maintainability

Formal modelling and verification of an interlocking using mCRL2

Bouwman, M., Janssen, B. & Luttik, B., 1 Jan 2019, Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Proceedings. Larsen, K. G. & Willemse, T. (eds.). Cham: Springer, p. 22-39 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687 LNCS).

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

Formal Modeling
Formal Verification
Model-based Testing
Formal Model
Model Checking
3 Citations (Scopus)
18 Downloads (Pure)

Gender diversity and women in software teams: how do they affect community smells?

Catolino, G., Palomba, F., Tamburri, D. A., Serebrenik, A. & Ferrucci, F., 28 May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Society, ICSE-SEIS 2019. Piscataway: ACM/IEEE, p. 11-20 10 p. 8797636

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

Open Access
File
gender
community
software development
organizational structure
software
10 Citations (Scopus)
7 Downloads (Pure)

Going farther together: the impact of social capital on sustained participation in open source

Qiu, H. S., Nolte, A., Brown, A., Serebrenik, A. & Vasilescu, B., 28 May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. Piscataway: IEEE Computer Society, p. 688-699 12 p. 8812044

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

Open Access
File
social capital
participation
career advancement
empirical method
disengagement
1 Citation (Scopus)
2 Downloads (Pure)

How remote work can foster a more inclusive environment for transgender developers

Ford, D., Milewicz, R. & Serebrenik, A., 27 May 2019, Proceedings - 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering, GE 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 9-12 4 p. 8819552

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

Open Access
File
Software engineering
software development
community
empowerment
autonomy
1 Citation (Scopus)

How stable are Eclipse application framework internal interfaces?

Businge, J., Kawuma, S., Openja, M., Bainomugisha, E. & 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. 117-127 11 p. 8668018

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

Open Access
Application programming interfaces (API)
Interfaces (computer)
1 Citation (Scopus)

Improving model inference in industry by combining active and passive learning

Yang, N., Aslam, K., Schiffelers, R. R. H., Lensink, L., Hendriks, D., Cleophas, L. G. W. A. & Serebrenik, A., 15 Mar 2019, 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 253-263 11 p. 8668007

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

Industry
Lithography
Problem-Based Learning
Semiconductor materials
2 Downloads (Pure)

Lehmer's dance: a lecture performance

Verhoeff, T. & van Berkel, R., Jul 2019, Proceedings of Bridges 2019: Mathematics, Art, Music, Architecture, Education, Culture. Goldstine, S., McKenna, D. & Fenyvesi, K. (eds.). Phoenix: Tessellations Publishing, p. 375-378 4 p. (Proceedings of Bridges).

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

Open Access
File
Choreography
Preparation
Education
Sound
Experience
9 Downloads (Pure)

MoCoP: towards a model clone portal

Babur, Ö. & Stephan, M., 26 May 2019, Proceedings - 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering, MiSE 2019. Piscataway: IEEE Press, p. 78-81 4 p. 8877032

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

Open Access
File
Scalability
1 Downloads (Pure)

Model-based simulation and threat analysis of in-vehicle networks

Lekidis, A. & Barosan, I., 1 May 2019, 2019 15th IEEE International Workshop on Factory Communication Systems, WFCS 2019. Piscataway: Institute of Electrical and Electronics Engineers, 8 p. 8757968

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

Testing
Intelligent control
Navigation systems
Security systems
Software defined networking
2 Citations (Scopus)

Model management tools for models of different domains: a systematic literature review

Silva Torres, W., van den Brand, M. G. J. & Serebrenik, A., 16 Sep 2019, SysCon 2019 - 13th Annual IEEE International Systems Conference, Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, 8 p. 8836869

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

Model Management
Literature Review
Domain Model
Inconsistency
Model
1 Citation (Scopus)

Modular indirect push-button formal verification of multi-threaded code generators

Wijs, A. & Wiłkowski, M., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (eds.). Cham: Springer, p. 410-429 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11724 LNCS).

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

Formal Verification
Generator
Java
Equivalence
Verify
1 Citation (Scopus)
8 Downloads (Pure)

On the abandonment and survival of open source projects: an empirical investigation

Amaral Avelino, G., Constantinou, E., Valente, M. T. & Serebrenik, A., 20 Sep 2019, Proceedings - 13th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2019. Piscataway: IEEE Computer Society, 12 p. 8870181

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

Open Access
File
13 Downloads (Pure)

Parallel SAT simplification on GPU architectures

Osama, M. & Wijs, A., 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. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 21-40 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

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

Open Access
File
Graphics Processing Unit
Simplification
Satisfiability Problem
Preprocessing
Solvability

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

Elections
Fuzzy Logic
Fuzzy logic
Marketing
Cognitive Map
14 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
software development
computer science
programming
secondary education
student

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 (Lecture Notes in Computer Science; vol. 11893).

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

Open Access
Static analysis
Computer programming
Industry
3 Citations (Scopus)
13 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
Reactive Systems
Automation
History
Synthesis
Benchmark

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

Adaptive cruise control
Vehicle to vehicle communications
Fault tree analysis
Control systems
4 Citations (Scopus)
16 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
Concurrent Systems
Graphical user interfaces
Usability
Software Product Lines
Domain-specific Languages
11 Downloads (Pure)

The obtetrahedrille as a modular building block for 3D mathematical art

Verhoeff, T. & Verhoeff, K., Jul 2019, Proceedings of Bridges 2019: Mathematics, Art, Music, Architecture, Education, Culture. Goldstine, S., McKenna, D. & Fenyvesi, K. (eds.). Phoenix: Tessellations Publishing, p. 407-410 4 p.

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

Open Access
File
arts
body centered cubic lattices
experimentation
cubic lattices
1 Citation (Scopus)

The semantic snake charmer search engine: a tool to facilitate data science in high-tech industry domains

Grappiolo, C., van Gerwen, E., Verhoosel, J. P. C. & Somers, L., 8 Mar 2019, CHIIR '19 Proceedings of the 2019 Conference on Human Information Interaction and Retrieval. Association for Computing Machinery, Inc, p. 355-359 5 p.

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

Search engines
Semantics
Industry
Reinforcement learning
Landing

The silent helper: the impact of continuous integration on code reviews

Cassee, N. W., Vasilescu, B. & Serebrenik, A., 30 Nov 2019, (Accepted/In press) 27th IEEE International Conference on Software Analysis, Evolution and Reengineering. IEEE Computer Society

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

Software engineering
Social aspects
12 Downloads (Pure)

Tool support for correctness-by-construction

Runge, T., Schaefer, I., Cleophas, L., Thüm, T., Kourie, D. & Watson, B. W., 1 Jan 2019, Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 25-42 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11424 LNCS).

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

Open Access
File
Tool Support
Correctness
Specifications
Specification
Refinement
1 Citation (Scopus)
3 Downloads (Pure)

Towards recognizing the emotions of developers using biometrics: the design of a field study

Girardi, D., Lanubile, F., Novielli, N., Quaranta, L. & Serebrenik, A., 28 May 2019, Proceedings - 2019 IEEE/ACM 4th International Workshop on Emotion Awareness in Software Engineering, SEmotion 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 13-16 4 p. 8825064

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

Open Access
File
Biometrics
Productivity
Sensors

Verifying system-wide properties of industrial component-based software

Neele, T., Rol, M. H. & Groote, J. F., 2019, Pre proceedings of Fundamentals of Software Engineering 2019. Hojjat, H. & Massink, M. (eds.). Teheran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, p. 5-20 16 p.

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

Software design
Engines

Verifying system-wide properties of industrial component-based software

Neele, T., Rol, M. H. & Groote, J. F., 2019, Proceedings of FSEN 2019. Hojjat, H. & Massink, M. (eds.). Cham: Springer, p. 158-175 18 p. (LNCS; vol. 11761).

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

Software design
Engines
2018
1 Citation (Scopus)
2 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. 27).

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

Open Access

A method for quantitative measurement of safety culture based on ISO 26262

Khabbaz Saberi, A., Benders, F., Koch, R., Lukkien, J. J. & van den Brand, M. G. J., 6 Feb 2018, Evolution of System Safety: Proceedings of the Twenty-Sixth Safety-Critical Systems Symposium, 6-8 February 2018, York, United Kingdom. Parsons, M. & Kelly, T. (eds.). s.l.: CreateSpace Independent Publishing Platform, p. 203-218

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

Automotive industry
Feedback
Hardware
Communication

An empirical evaluation of OSGi dependencies best practices in the eclipse IDE

Ochoa, L., Degueule, T. & Vinju, J., 28 May 2018, Proceedings - 2018 ACM/IEEE 15th International Conference on Mining Software Repositories, MSR 2018. New York: ACM/IEEE, p. 170-180 11 p.

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

Industry

An empirical perspective on security challenges in large-scale agile software development

van der Heijden, A., Broasca, C. & Serebrenik, A., 2018, ESEM '18 Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. New York: Association for Computing Machinery, Inc, 4 p. 45

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

Open Access
Software engineering
Sorting
Testing

A proposal for migrating SOA applications to cloud using model-driven development

Botto-Tobar, M. & Insfran, E., 2018, 3rd International Conference on Technology Trends, CITT 2017. Botto-Tobar, M., Esparza-Cruz, N., Leon-Acurio, J., Crespo-Torres, N. & Beltran-Mora, M. (eds.). Babahoyo: Springer, Vol. 798. p. 171-184 (Communications in Computer and Information Science; vol. 798).

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

Service oriented architecture (SOA)
Application programs
Software engineering
Costs
Industry

Automatic generation of hardware checkers from formal micro-architectural specifications

Fedotov, A. & Schmaltz, J., 19 Apr 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers, Vol. 2018-January. p. 1568-1573 6 p.

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

Specifications
Hardware
Computer hardware description languages
Functionality
Inclusion
1 Downloads (Pure)

Bacatá: a language parametric notebook generator (tool demo)

Merino, M. V., Vinju, J. & van der Storm, T., 2018, Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering. New York: ACM/IEEE, p. 210-214 5 p.

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

Computer systems programming
Learning systems
Engineers
4 Citations (Scopus)
1 Downloads (Pure)

Clone detection for ecore metamodels using N-grams

Babur, Ö., 1 Jan 2018, Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development . Hammoudi, S., Pires, L. F. & Selic, B. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 411-419 9 p.

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

Open Access
Vector spaces
Feature extraction
Statistical methods
3 Citations (Scopus)

Communicative intention in code review questions

Ebert, F., Castor, F., Novielli, N. & Serebrenik, A., 19 Nov 2018, 2018 IEEE International Conference on Software Maintenance and Evolution (ICSME) . Piscataway: Institute of Electrical and Electronics Engineers, p. 519-523

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

Open Access
Communication
1 Citation (Scopus)

Constraint-based run-time state migration for live modeling

Tikhonova, U., van der Storm, T., Stoel, J. & Degueule, T., 24 Oct 2018, SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018. Pearce, D., Friedrich, S. & Mayerhofer, T. (eds.). New York: Association for Computing Machinery, Inc, p. 108-120 13 p.

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

DSL
Feedback
Modeling languages
2 Citations (Scopus)
1 Downloads (Pure)

Deadlock detection for actor-based coroutines

Azadbakht, K., de Boer, F. S. & de Vink, E., 1 Jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Peleska, J., Roscoe, B. & de Vink, E. (eds.). Cham: Springer, p. 39-54 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

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

Computability and decidability
Deadlock
Scheduling
Transition Systems
Decidability
2 Citations (Scopus)
128 Downloads (Pure)

Defining the C-ITS reference architecture

Karkhanis, P. D., van den Brand, M. G. J. & Rajkarnikar, S., 13 Aug 2018, Proceedings - 2018 IEEE 15th International Conference on Software Architecture Companion, ICSA-C 2018. Institute of Electrical and Electronics Engineers, p. 148-151 4 p. 8432199

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

Open Access
File
Telecommunication traffic
Demonstrations
Controllers