Research Output per year
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.
- 2 Similar Profiles
Semantics
Engineering & Materials Science
Model checking
Engineering & Materials Science
Nutrition
Engineering & Materials Science
Specifications
Engineering & Materials Science
Interoperability
Engineering & Materials Science
Algebra
Engineering & Materials Science
Event Structures
Mathematics
Graph Rewriting
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 1988 2018
Effective Analysis of Attack Trees: A Model-Driven Approach
Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A. Apr 2018 Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
Interoperability
A Formal Product-Line Engineering Approach for Schedulers
Orhan, G., Aksit, M. & Rensink, A. Nov 2017 SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. Jololian, L., Robbins, D. E. & Fernandes, S. L. (eds.). p. 15-30 16 p. (Integrated design and process technology; vol. 22)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
Scheduling
Elevators
Radar systems
Airports
Railroad cars
A Java Bytecode Metamodel for Composable Program Analyses
Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M. Jul 2017 Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 30-40 (Lecture Nodes in Computer Science; vol. 10748)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Interoperability
Specifications
A Model-Derivation Framework for Software Analysis
Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M. Apr 2017 Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höffner, P. (eds.). arXiv.org, p. 217-229 (EPTCS - Electronic Publications in Theoretical Computer Science; vol. 244)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
Scalability
Electric potential
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications
Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A. 13 Jan 2017 Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers. Berger, C., Mousavi, M. & Wisniewski, R. (eds.). Switserland: Springer Verlag, Vol. 10107, p. 1-16 15 p. (Lecture Notes in Computer Science; vol. 10107)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File