Mehmet Aksit

Affiliations:
  • University of Twente, Enschede, Netherlands


According to our database1, Mehmet Aksit authored at least 111 papers between 1988 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
The Role of Computer Science and Software Technology in Organizing Universities for Industry 4.0 and Beyond.
Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

2017
Availability analysis of software architecture decomposition alternatives for local recovery.
Softw. Qual. J., 2017

A Model-Derivation Framework for Software Analysis.
Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

A Java Bytecode Metamodel for Composable Program Analyses.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Models, More Models, and Then a Lot More.
Proceedings of the Software Technologies: Applications and Foundations, 2017

An MDE Approach for Modular Program Analyses.
Proceedings of the Companion to the first International Conference on the Art, 2017

2015
Introduction to special issue on Software Engineering Aspects of Green Computing (SEAGC).
Sustain. Comput. Informatics Syst., 2015

Trace-based debugging for advanced-dispatching programming languages.
Proceedings of the 10th Workshop on Implementation, 2015

On liberating programs from the von neumann architecture via event-based modularization.
Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

2014
Event Modules - Modularizing Domain-Specific Crosscutting RV Concerns.
LNCS Trans. Aspect Oriented Softw. Dev., 2014

Composing domain-specific physical models with general-purpose software modules in embedded control software.
Softw. Syst. Model., 2014

A communication-channel-based representation system for software.
Integr. Comput. Aided Eng., 2014

A tool-supported approach for modular design of energy-aware software.
Proceedings of the Symposium on Applied Computing, 2014

Instance pointcuts: selecting object sets based on their usage history.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Emergent gummy modules: modular representation of emergent behavior.
Proceedings of the Generative Programming: Concepts and Experiences, 2014

Event-based modularization: how emergent behavioral patterns must be modularized?
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, 2014

Event-Based Modularization of Reactive Systems.
Proceedings of the Concurrent Objects and Beyond, 2014

2013
Vibes: A visual language for specifying behavioral requirements of algorithms.
J. Vis. Lang. Comput., 2013

A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming.
LNCS Trans. Aspect Oriented Softw. Dev., 2013

Optimizing decomposition of software architecture for local recovery.
Softw. Qual. J., 2013

MOO: An architectural framework for runtime optimization of multiple system objectives in embedded control software.
J. Syst. Softw., 2013

A design method for modular energy-aware software.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A pointcut language for setting advanced breakpoints.
Proceedings of the Aspect-Oriented Software Development, 2013

Deriving minimal models for resource utilization.
Proceedings of the 2013 Workshop on Green in/by Software Engineering, 2013

2012
First-Class Compositions - Defining and Composing Object and Aspect Compositions with First-Class Operators.
LNCS Trans. Aspect Oriented Softw. Dev., 2012

An In-Depth Look at ALIA4J.
J. Object Technol., 2012

Verification and analysis of domain-specific models of physical characteristics in embedded control software.
Inf. Softw. Technol., 2012

Feature-Based Rationale Management System for Supporting Software Architecture Adaptation.
Int. J. Softw. Eng. Knowl. Eng., 2012

Aspect-Oriented Language Mechanisms for Component Binding.
Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, 2012

Evolution of composition filters to event composition.
Proceedings of the ACM Symposium on Applied Computing, 2012

Free Composition Instead of Language Dictatorship.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

A fine-grained debugger for aspect-oriented programming.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
An Overview of ALIA4J - An Execution Model for Advanced-Dispatching Languages.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Execution Constraint Verification of Exception Handling on UML Sequence Diagrams.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Runtime Verification of Component-Based Embedded Software.
Proceedings of the Computer and Information Sciences II, 2011

Guiding Architects in Selecting Architectural Evolution Alternatives.
Proceedings of the Software Architecture - 5th European Conference, 2011

The Third Workshop on Behaviour Modelling - Foundations and Applications.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

A feature model and development approach for schedulers.
Proceedings of the 1st workshop on Modularity in systems software, 2011

Making aspects natural: events and composition.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

Knowledge-Based Graph Exploration Analysis.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models.
LNCS Trans. Aspect Oriented Softw. Dev., 2010

Graph-based verification of static program constraints.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Checking the Correspondence between UML Models and Implementation.
Proceedings of the Runtime Verification - First International Conference, 2010

Increasing System Availability with Local Recovery Based on Fault Localization.
Proceedings of the 10th International Conference on Quality Software, 2010

A model for variability design rationale in SPL.
Proceedings of the Software Architecture, 4th European Conference, 2010

A model for composable composition operators: expressing object and aspect compositions with first-class operators.
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009
FLORA: a framework for decomposing software architecture to introduce local recovery.
Softw. Pract. Exp., 2009

Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems.
Empir. Softw. Eng., 2009

An architectural style for optimizing system qualities in adaptive embedded systems using Multi-Objective Optimization.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Detecting architecture instabilities with concern traces: An exploratory study.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software.
Proceedings of the ISSRE 2009, 2009

Concern-oriented analysis and refactoring of software architectures using dependency structure matrices.
Proceedings of the 15th workshop on Early aspects, 2009

A graph-transformation-based simulation approach for analysing aspect interference on shared join points.
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008
Software development with imperfect information.
Soft Comput., 2008

Elsevier special issue on foundations and applications of model driven architecture.
Sci. Comput. Program., 2008

Software architecture reliability analysis using failure scenarios.
J. Syst. Softw., 2008

Prototyping and Composing Aspect Languages.
Proceedings of the ECOOP 2008, 2008

Framework for Computer-Aided Evolution of Object-Oriented Designs.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
A Taxonomy for a Constructive Approach to Software Evolution.
J. Softw., 2007

Modeling Traceability of Concerns for Synchronizing Architectural Views.
J. Object Technol., 2007

Static and Dynamic Detection of Behavioral Conflicts Between Aspects.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

Imperfect Requirements in Software Development.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007

Metamodel for Tracing Concerns Across the Life Cycle.
Proceedings of the Early Aspects: Current Challenges and Future Directions, 2007

Modeling traceability of concerns in architectural views.
Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, 2007

A graph-based approach to modeling and detecting composition conflicts related to introductions.
Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007

2006
Editorial: Experiences with Auto-adaptive and Reconfigurable Systems (Application Level Adaptation).
Softw. Pract. Exp., 2006

Editorial: Experiences with Auto-adaptive and Reconfigurable Systems (System Level Adaptation).
Softw. Pract. Exp., 2006

Integrating the Concept of Synthesis in the Software Architecture Design Process.
Trans. SDPS, 2006

Impact of Evolution of Concerns in the Model-Driven Architecture Design Approach.
Proceedings of the Second International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, 2006

Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level.
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Detecting and resolving ambiguities caused by inter-dependent introductions.
Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005
Dealing with imprecise quality factors in software design.
ACM SIGSOFT Softw. Eng. Notes, 2005

Preface.
Proceedings of the First Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, 2005

Utilizing Design Information in Aspect-Oriented Programming.
Proceedings of the NODe 2005, 2005

Composing Aspects at Shared Join Points.
Proceedings of the NODe 2005, 2005

2004
Market-driven approach based on Markov decision theory for optimal use of resources in software development.
IEE Proc. Softw., 2004

Editorial.
Fuzzy Sets Syst., 2004

Fuzzy logic-based object-oriented methods to reduce quantization error and contextual bias problems in software development.
Fuzzy Sets Syst., 2004

Principles of aspect-oriented programming languages, design dimensions and the composition filters approach.
Obj. Logiciel Base données Réseaux, 2004

2003
Dynamic, Adaptive and Reconfigurable Systems Overview and Prospective Vision.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

UML to XML-Schema Transformation: a Case Study in Managing Alternative Model Transformations in MDA.
Proceedings of the Forum on specification and Design Languages, 2003

2001
Leaving inconsistency using fuzzy logic.
Inf. Softw. Technol., 2001

Deferring elimination of design alternatives in object-oriented methods.
Concurr. Comput. Pract. Exp., 2001

Discussing aspects of AOP.
Commun. ACM, 2001

Composing crosscutting concerns using composition filters.
Commun. ACM, 2001

2000
Developing object-oriented framworks using domain models.
ACM Comput. Surv., 2000

A QoS-Control Architecture for Object Middleware.
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 2000

1999
Evaluating Architecture Implementation Alternatives Bsed on Adaptability Concerns.
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

Deriving Object-Oriented Frameworks from Domain Knowledge.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
Providing Automatic Support for Heuristic Rules of Methods.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Deriving Design Aspects from Conceptual Models.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Automating the Object-Oriented Development Process: Workshop Report.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Aspect-Oriented Programming Using Composition-Filters.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Applying Fuzzy Logic Techniques in Object-Oriented Software Development.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Active Software Artifacts.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996
Load Balanced Mapping of Distributed Objects to Minimize Network Communication.
J. Parallel Distributed Comput., 1996

Composing Synchronization and Real-Time Constraints.
J. Parallel Distributed Comput., 1996

Separation and Composition of Concerns in the Object-Oriented Model.
ACM Comput. Surv., 1996

Designing Software Architectures as Knowledge Specializations.
Proceedings of the COMPSAC '96, 1996

1994
Real-Time Specification Inheritance Anomalies and Real-Time Filters.
Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1993
Abstracting Object Interactions Using Composition Filters.
Proceedings of the Object-Based Distributed Programming, 1993

1992
The analysis and design of distributed systems (abstract).
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

Obstacles in Object-Oriented Software Development.
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

Issues in Object-Oriented Real-Time Language Design.
Proceedings of the Real Time Computing, 1992

An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach.
Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

1991
Atomic Delegation: Object-Oriented Transactions.
IEEE Softw., 1991

1989
On the Design of the Object-Oriented Language Sina.
PhD thesis, 1989

An Implementation of the Object-oriented Concurrent Programming Language SINA.
Softw. Pract. Exp., 1989

1988
Data Abstraction Mechanisms in SINA/ST.
Proceedings of the Conference on Object-Oriented Programming Systems, 1988


  Loading...