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.

  • 21 Similar Profiles
Computer programming languages Engineering & Materials Science
Specifications Engineering & Materials Science
Semantics Engineering & Materials Science
Chemical analysis Engineering & Materials Science
Software architecture Engineering & Materials Science
Software engineering Engineering & Materials Science
Embedded systems Engineering & Materials Science
Recovery Engineering & Materials Science

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

Research Output 1988 2017

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: ScientificConference contribution

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: Scientific - peer-reviewConference contribution

Interoperability
Specifications
1 Citations

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: Scientific - peer-reviewConference contribution

Scalability

An MDE Approach for Modular Program Analyses

Yildiz, B. M., Bockisch, C., Aksit, M. & Rensink, A. Apr 2017 Programming ’17: Companion to the first International Conference on the Art, Science and Engineering of Programming. Association for Computing Machinery (ACM), 5 p. 15

Research output: Scientific - peer-reviewConference contribution

Model checking
Application programming interfaces (API)
Interoperability
Specifications

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

Activities 1992 2006

  • 2 Oral presentation
  • 1 Invited talk

Towards Seemless Aspect-Oriented Design Programming with CoCompose & ComposeJ

Lodewijk Bergmans (Speaker), Aksit, M. (Speaker), D. Wagelaar (Speaker), R.R. van de Stadt (Speaker), J.C. Wichman (Speaker), L. Savarese (Speaker)
7 Nov 2002

Activity: Oral presentation

Obstacles in Object-Oriented Software Development

Akşit, M. (Speaker)
15 Apr 1992

Activity: Oral presentation