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.

  • 1 Similar Profiles
Software engineering Engineering & Materials Science
Hardware Engineering & Materials Science
Interoperability Engineering & Materials Science
Software architecture Engineering & Materials Science
Parallel processing systems Engineering & Materials Science
Communication Engineering & Materials Science
Query languages Engineering & Materials Science

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

Research Output 2011 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

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

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A. Sep 2016 Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-16-09)

Research output: ProfessionalReport

Hardware
Interoperability

A Model-Derivation Framework for Timing Analysis of Java Software Systems

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M. 30 Dec 2015 Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-15-08)

Research output: ProfessionalReport

Model checking
Scalability
Specifications

A timed-automata approach for critical path detection in a soft real-time application

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M. Feb 2014 Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing, PDP 2014, Work In Progress Session. Italy: SEA-Johannes Kepler University Linz, p. - 2 p.

Research output: Scientific - peer-reviewConference contribution

Parallel processing systems