Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 11 Similar Profiles
Costs Engineering & Materials Science
Testing Engineering & Materials Science
Model checking Engineering & Materials Science
Fault tree analysis Engineering & Materials Science
Automata Mathematics
Specifications Engineering & Materials Science
Model Mathematics
Semantics Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2004 2017

1 Citations

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

Berger, C. (ed.), Ahmad, W., Yildiz, B. M., Reza Mousavi, M. (ed.), Rensink, A., Wisniewski, R. (ed.) & Stoelinga, M. I. A. 13 Jan 2017 p. 1-16 15 p.

Research output: Scientific - peer-reviewPaper

Hardware
Interoperability

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A. 2017 53 p.

Research output: Scientific - peer-reviewArticle

Directed graphs
Nutrition
Scalability
Experiments

Green computing: efficient energy management of multiprocessor streaming applications via model checking

Ahmad, W. 13 Apr 2017 Enschede. 228 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Scheduling
Video conferencing
Mobile computing
Energy harvesting
Energy management

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., Rensink, A. & Stoelinga, M. I. A. Oct 2017 Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Larsen, K., Sokolsky, O. & Wang, J. (eds.). Springer, p. 319-336 (Lecture Notes in Computer Science; vol. 10606)

Research output: Scientific - peer-reviewConference contribution

Query languages
Hardware
4 Citations

Quantitative security and safety analysis with attack-fault trees

Kumar, R. & Stoelinga, M. I. A. 12 Jan 2017 Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017). IEEE, p. 25-32 8 p. (HASE)

Research output: Scientific - peer-reviewConference contribution

Side channel attack
Model checking
Stochastic models
Sensitivity analysis
Power plants

Activities 2016 2016

  • 2 Oral presentation
  • 1 Invited talk

Design and implementation of digital communication systems for victim-offender mediation

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
31 Aug 2016

Activity: Oral presentation

Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie

Zebel, S. (Speaker), Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
4 Oct 2016

Activity: Oral presentation

Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
16 Dec 2016

Activity: Invited talk