Research Output 1972 2019

Filter
Conference contribution
2019
3 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

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

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

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

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

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

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

Open Access
File
Binary decision diagrams
Supervisory personnel
Finite automata
Clocks
Experiments
1 Citation (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, 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

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 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
1 Citation (Scopus)

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, 41st International Conference on Software Engineering, Software Engineering in Society. ACM/IEEE, p. 11-20 10 p.

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

Open Access
File
gender
community
software development
organizational structure
software

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, International Conference on Software Engineering. IEEE Computer Society, p. 688-699 12 p.

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

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

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

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

MoCoP: towards a model clone portal

Babur, Ö. & Stephan, M., 26 May 2019, Proceedings of the 11th International Workshop on Modelling in Software Engineerings. IEEE Press, p. 78-81

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

Open Access
File
Scalability

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
Internet of things

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, The 13th Annual IEEE International Systems Conference. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-8

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

Model checking
Industry

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, Empirical Software Engineering and Measurement. p. 1-12 12 p.

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

Open Access
File

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

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., 13 Aug 2019, (Accepted/In press) Asian Symposium on Programming Languages and Systems. Springer, (Lecture Notes in Computer Science)

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

Static analysis
Computer programming
Industry
1 Citation (Scopus)

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., Kordon, F., Beyer, D. & 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
2 Citations (Scopus)

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

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

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)

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, 4th International Workshop on Emotion Awareness in Software Engineering. Piscataway: Institute of Electrical and Electronics Engineers, p. 13-16 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, 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

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
2018

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

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)

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

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
1 Citation (Scopus)

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)

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
20 Citations (Scopus)

Detecting code smells using machine learning techniques: Are we there yet?

Di Nucci, D., Palomba, F., Tamburri, D. A., Serebrenik, A. & De Lucia, A., 2 Apr 2018, 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018 - Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, Vol. 2018-March, p. 612-621 10 p.

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

Open Access
Learning systems
Weighing
1 Citation (Scopus)

Development of a functional safety software layer for the control of an electric in-wheel motor based powertrain.

Klaasse, S., Kwintenberg, G. & Barosan, I., 9 Aug 2018, Proceedings - 2018 IEEE 15th International Conference on Software Architecture Companion, ICSA-C 2018. Institute of Electrical and Electronics Engineers, p. 144-147 4 p.

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

Powertrains
Wheels
Product development
MATLAB
Actuators
1 Citation (Scopus)

Dynamic performance analysis of IEEE 802.15.4 networks under intermittent Wi-Fi interference

Talebi, M., Papatsimpa, C. & Linnartz, J. P. M. G., 18 Dec 2018, 2018 IEEE 29th Annual International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2018. Piscataway: Institute of Electrical and Electronics Engineers, 7 p. 8580858

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

Wi-Fi
Zigbee
Network performance
Telecommunication traffic
Frequency bands

Efficient extended ABAC evaluation

Morisset, C., Willemse, T. A. C. & Zannone, N., 7 Jun 2018, SACMAT 2018 - Proceedings of the 23rd ACM Symposium on Access Control Models and Technologies. Association for Computing Machinery, Inc, p. 149-160 12 p.

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

Access control
Binary decision diagrams
Specifications
2 Citations (Scopus)

Evidence extraction from parameterised Boolean equation systems

Wesselink, W. & Willemse, T. A. C., 1 Jan 2018, Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018): Oxford, UK, July 18, 2018.. Benzmüller, C. & Otten, J. (eds.). CEUR-WS.org, p. 86-100 15 p. (CEUR Workshop Proceedings; vol. 2095)

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

Open Access
File
Model checking
Feedback
Hardware