Mehmet Akşit

prof.dr.ir.

1988 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1988 2018

Filter
Report
2015
69 Downloads (Pure)

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: Book/ReportReportProfessional

File
2012
72 Downloads (Pure)

A design method for modular energy-aware software

te Brinke, S., Malakuti Khah Olun Abadi, S., Bockisch, C., Bergmans, L. & Aksit, M., Nov 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-12-28)

Research output: Book/ReportReportProfessional

File
2009
36 Downloads (Pure)

A graph-based aspect interference detection approach for UML-based aspect-oriented models

Ciraci, S., Havinga, W. K., Aksit, M., Bockisch, C. & van den Broek, P. M., 21 Sep 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 47 p. (CTIT Technical Report Series; no. TR-CTIT-09-39)

Research output: Book/ReportReportProfessional

Open Access
File
Semantics
Specifications
Chemical analysis
2008
62 Downloads (Pure)

A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context

Durr, P. E. A., Bergmans, L. & Aksit, M., 23 Jan 2008, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. TR-CTIT-08-04)

Research output: Book/ReportReportProfessional

File
2007
19 Downloads (Pure)

Initial Results for Quantifying AOP

Durr, P. E. A., Bergmans, L. & Aksit, M., 22 Oct 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-71)

Research output: Book/ReportReportProfessional

File
25 Downloads (Pure)

Prototyping and Composing Aspect Languages: using an Aspect Interpreter Framework

Havinga, W. K., Bergmans, L. & Aksit, M., 13 Oct 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-74)

Research output: Book/ReportReportProfessional

File
23 Downloads (Pure)

Reasoning about Behavioral Conflicts between Aspects

Durr, P. E. A., Bergmans, L. & Aksit, M., 19 Feb 2007, Enschede: Software Engineering (SE). 36 p. (CTIT Technical Report Series; no. 2/TR-CTIT-07-15)

Research output: Book/ReportReportProfessional

File
5 Citations (Scopus)
72 Downloads (Pure)

Static and Dynamic Detection of Behavioral Conflicts between Aspects

Durr, P. E. A., Bergmans, L. & Aksit, M., 4 Mar 2007, Enschede: Software Engineering (SE). 2 p. (CTIT Technical Report Series; no. 2/TR-CTIT-07-23)

Research output: Book/ReportReportProfessional

File
2005
20 Downloads (Pure)

Aspect-based and Model-based Separation of Concerns in Software Systems

Aksit, M., Bézivin, J. & Roubtsova, E., Nov 2005, Enschede: Software Engineering (SE). 97 p. (CTIT Technical Report Series; no. TR-CTIT-05-56)

Research output: Book/ReportReportProfessional

File
23 Downloads (Pure)

Declarative Composition of Aspects

Nagy, I., Bergmans, L. & Aksit, M., 2005, Enschede: Centrum voor Telematica en Informatie Technologie. (CTIT technical report series)

Research output: Book/ReportReportProfessional

File
22 Downloads (Pure)

Formal model for SECRET

Durr, P. E. A., Bergmans, L. & Aksit, M., 16 Dec 2005, Enschede: Centrum voor Telematica en Informatie Technologie. 11 p. (CTIT technical report series)

Research output: Book/ReportReportProfessional

File
29 Downloads (Pure)

Reasoning About Semantic Conflicts Between Aspects

Durr, P. E. A., Staijen, T., Bergmans, L. & Aksit, M., Sep 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 7 p. (CTIT technical reports series; no. TR-CTIT-05-73)

Research output: Book/ReportReportProfessional

File
3 Citations (Scopus)

Utilizing Design Information in Aspect-Oriented Programming

Nagy, I., Bergmans, L., Havinga, W. K. & Aksit, M., 2005, Enschede: Centrum voor Telematica en Informatie Technologie.

Research output: Book/ReportReportProfessional

2003
8 Downloads (Pure)

An Analysis of Composability and Composition Anomalies

Bergmans, L., Tekinerdogan, B., Nagy, I. & Aksit, M., 2003, Enschede: University of Twente, Department of Computer Science. 16 p.

Research output: Book/ReportReportOther research output

File
1999

Aspect Analysis & Specification

Noutash, A., Bergmans, L. & Aksit, M., 1999, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (AMIDST Deliverables)

Research output: Book/ReportReportProfessional

19 Downloads (Pure)

Classifying and evaluating architecture design methods

Aksit, M. & Tekinerdogan, B., 1999, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (AMIDST deliverable)

Research output: Book/ReportReportProfessional

File
17 Downloads (Pure)

Mapping Aspects to Components

Bergmans, L., Aksit, M. & Tekinerdogan, B., 1999, Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (AMIDST Deliverables; no. AMIDST)

Research output: Book/ReportReportProfessional

File
16 Downloads (Pure)

Modeling the Object-Oriented Software Process: OPEN and the Unified Process

van den Berg, K. (ed.), Aksit, M. & van den Broek, P. M., Feb 1999, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p.

Research output: Book/ReportReportProfessional

File
Quality assurance
33 Downloads (Pure)

Use Cases in Object-Oriented Software Development

van den Berg, K. (ed.), Aksit, M. & van den Broek, P. M., Feb 1999, Enschede: Centre for Telematics and Information Technology (CTIT). 22 p.

Research output: Book/ReportReportProfessional

File
1992

Abstracting Inter-Object Communications Using Composition-Filters

Aksit, M., Wakita, K., Bosch, J., Bergmans, L. & Yonezawa, A., 1992, University of Twente. 20 p. (Memoranda Informatica; no. 92-78)

Research output: Book/ReportReportProfessional

40 Downloads (Pure)

An Object-Oriented Model for Extensible Concurrent Systems: the Composition-Filters Approach

Bergmans, L., Aksit, M., Wakita, K. & Yonezawa, A., 1992, Enschede: University of Twente. 42 p. (Memoranda Informatica; vol. 92-87)

Research output: Book/ReportReportProfessional

Open Access
File
Reusability
Chemical analysis
1991

A new heuristic for load-balanced assignment of objects and minimized network communication in distributed programs implemented through inverse remote procedure calls

Stoyenko, A. D., Aksit, M. & Bosch, J., 1991, Enschede: University of Twente. 34 p. (Memoranda informatica; no. 91-1)

Research output: Book/ReportReportProfessional

Inverse remote procedure calls

Stoyenko, A. D., Aksit, M. & Bosch, J., 1991, Enschede: University of Twente. 20 p. (Memoranda Informatica; no. 89-1)

Research output: Book/ReportReportProfessional

1990

Data Abstraction, Concurrency and Synchronization in Sina

Aksit, M. & Tripathi, A., 1990, Enschede, the Netherlands: University of Twente, Department of Computer Science. 69 p. (Memoranda informatica; no. INF 97-15)

Research output: Book/ReportReportProfessional