Mehmet Aksit

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

2017

Availability analysis of software architecture decomposition alternatives for local recovery.

[BibT_eX]

[DOI]

Softw. Qual. J., 2017

A Model-Derivation Framework for Software Analysis.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

A Java Bytecode Metamodel for Composable Program Analyses.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

Models, More Models, and Then a Lot More.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

An MDE Approach for Modular Program Analyses.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Wolfgang Lohmann

Sustain. Comput. Informatics Syst., 2015

Trace-based debugging for advanced-dispatching programming languages.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Implementation, 2015

On liberating programs from the von neumann architecture via event-based modularization.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

2014

Event Modules - Modularizing Domain-Specific Crosscutting RV Concerns.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2014

Composing domain-specific physical models with general-purpose software modules in embedded control software.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

A communication-channel-based representation system for software.

[BibT_eX]

[DOI]

Integr. Comput. Aided Eng., 2014

A tool-supported approach for modular design of energy-aware software.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

Instance pointcuts: selecting object sets based on their usage history.

[BibT_eX]

[DOI]

Kardelen Hatun

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.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming: Concepts and Experiences, 2014

Event-based modularization: how emergent behavioral patterns must be modularized?

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, 2014

Event-Based Modularization of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Concurrent Objects and Beyond, 2014

2013

Vibes: A visual language for specifying behavioral requirements of algorithms.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2013

A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming.

[BibT_eX]

[DOI]

Haihan Yin

LNCS Trans. Aspect Oriented Softw. Dev., 2013

Optimizing decomposition of software architecture for local recovery.

[BibT_eX]

[DOI]

Softw. Qual. J., 2013

MOO: An architectural framework for runtime optimization of multiple system objectives in embedded control software.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

A design method for modular energy-aware software.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A pointcut language for setting advanced breakpoints.

[BibT_eX]

[DOI]

Haihan Yin

Proceedings of the Aspect-Oriented Software Development, 2013

Deriving minimal models for resource utilization.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Wilke Havinga

LNCS Trans. Aspect Oriented Softw. Dev., 2012

An In-Depth Look at ALIA4J.

[BibT_eX]

[DOI]

J. Object Technol., 2012

Verification and analysis of domain-specific models of physical characteristics in embedded control software.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2012

Feature-Based Rationale Management System for Supporting Software Architecture Adaptation.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2012

Aspect-Oriented Language Mechanisms for Component Binding.

[BibT_eX]

[DOI]

Kardelen Hatun

Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, 2012

Evolution of composition filters to event composition.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Free Composition Instead of Language Dictatorship.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Haihan Yin

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

An Overview of ALIA4J - An Execution Model for Advanced-Dispatching Languages.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Execution Constraint Verification of Exception Handling on UML Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Runtime Verification of Component-Based Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences II, 2011

Guiding Architects in Selecting Architectural Evolution Alternatives.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 5th European Conference, 2011

The Third Workshop on Behaviour Modelling - Foundations and Applications.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.

[BibT_eX]

[DOI]

Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

A feature model and development approach for schedulers.

[BibT_eX]

[DOI]

Proceedings of the 1st workshop on Modularity in systems software, 2011

Making aspects natural: events and composition.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

Knowledge-Based Graph Exploration Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2010

Graph-based verification of static program constraints.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Checking the Correspondence between UML Models and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

Increasing System Availability with Local Recovery Based on Fault Localization.

[BibT_eX]

[DOI]

Rui Abreu

Arjan J. C. van Gemund

Proceedings of the 10th International Conference on Quality Software, 2010

A model for variability design rationale in SPL.

[BibT_eX]

[DOI]

Ismênia Galvão

Proceedings of the Software Architecture, 4th European Conference, 2010

A model for composable composition operators: expressing object and aspect compositions with first-class operators.

[BibT_eX]

[DOI]

Wilke Havinga

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009

FLORA: a framework for decomposing software architecture to introduce local recovery.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2009

Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2009

An architectural style for optimizing system qualities in adaptive embedded systems using Multi-Objective Optimization.

[BibT_eX]

[DOI]

Lyrene Fernandes da Silva

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.

[BibT_eX]

[DOI]

Thaís Vasconcelos Batista

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.

[BibT_eX]

[DOI]

Proceedings of the ISSRE 2009, 2009

Concern-oriented analysis and refactoring of software architectures using dependency structure matrices.

[BibT_eX]

[DOI]

Proceedings of the 15th workshop on Early aspects, 2009

A graph-transformation-based simulation approach for analysing aspect interference on shared join points.

[BibT_eX]

[DOI]

Arend Rensink

Tom Staijen

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

Software development with imperfect information.

[BibT_eX]

[DOI]

Joost Noppen

Soft Comput., 2008

Elsevier special issue on foundations and applications of model driven architecture.

[BibT_eX]

[DOI]

Ivan Kurtev

Sci. Comput. Program., 2008

Software architecture reliability analysis using failure scenarios.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Prototyping and Composing Aspect Languages.

[BibT_eX]

[DOI]

Wilke Havinga

Proceedings of the ECOOP 2008, 2008

Framework for Computer-Aided Evolution of Object-Oriented Designs.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A Taxonomy for a Constructive Approach to Software Evolution.

[BibT_eX]

[DOI]

J. Softw., 2007

Modeling Traceability of Concerns for Synchronizing Architectural Views.

[BibT_eX]

[DOI]

Christian Hofmann

J. Object Technol., 2007

Static and Dynamic Detection of Behavioral Conflicts Between Aspects.

[BibT_eX]

[DOI]

Pascal Durr

Proceedings of the Runtime Verification, 7th International Workshop, 2007

Imperfect Requirements in Software Development.

[BibT_eX]

[DOI]

Joost Noppen

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007

Metamodel for Tracing Concerns Across the Life Cycle.

[BibT_eX]

[DOI]

Proceedings of the Early Aspects: Current Challenges and Future Directions, 2007

Modeling traceability of concerns in architectural views.

[BibT_eX]

[DOI]

Christian Hofmann

Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, 2007

A graph-based approach to modeling and detecting composition conflicts related to introductions.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007

2006

Editorial: Experiences with Auto-adaptive and Reconfigurable Systems (Application Level Adaptation).

[BibT_eX]

[DOI]

Tzilla Elrad

Softw. Pract. Exp., 2006

Editorial: Experiences with Auto-adaptive and Reconfigurable Systems (System Level Adaptation).

[BibT_eX]

[DOI]

Tzilla Elrad

Softw. Pract. Exp., 2006

Integrating the Concept of Synthesis in the Software Architecture Design Process.

[BibT_eX]

[DOI]

Trans. SDPS, 2006

Impact of Evolution of Concerns in the Model-Driven Architecture Design Approach.

[BibT_eX]

[DOI]

Francis Henninger

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005

Dealing with imprecise quality factors in software design.

[BibT_eX]

[DOI]

Joost Noppen

ACM SIGSOFT Softw. Eng. Notes, 2005

Preface.

[BibT_eX]

[DOI]

Ella E. Roubtsova

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.

[BibT_eX]

[DOI]

Proceedings of the NODe 2005, 2005

Composing Aspects at Shared Join Points.

[BibT_eX]

[DOI]

Istvan Nagy

Proceedings of the NODe 2005, 2005

2004

Market-driven approach based on Markov decision theory for optimal use of resources in software development.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2004

Editorial.

[BibT_eX]

[DOI]

Witold Pedrycz

Fuzzy Sets Syst., 2004

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

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2004

Principles of aspect-oriented programming languages, design dimensions and the composition filters approach.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2004

2003

Dynamic, Adaptive and Reconfigurable Systems Overview and Prospective Vision.

[BibT_eX]

[DOI]

Zièd Choukair

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.

[BibT_eX]

[DOI]

Ivan Kurtev

Klaas van den Berg

Proceedings of the Forum on specification and Design Languages, 2003

2001

Leaving inconsistency using fuzzy logic.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2001

Deferring elimination of design alternatives in object-oriented methods.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2001

Discussing aspects of AOP.

[BibT_eX]

[DOI]

Commun. ACM, 2001

Composing crosscutting concerns using composition filters.

[BibT_eX]

[DOI]

Commun. ACM, 2001

2000

Developing object-oriented framworks using domain models.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2000

A QoS-Control Architecture for Object Middleware.

[BibT_eX]

[DOI]

Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 2000

1999

Evaluating Architecture Implementation Alternatives Bsed on Adaptability Concerns.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

Deriving Object-Oriented Frameworks from Domain Knowledge.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Providing Automatic Support for Heuristic Rules of Methods.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Deriving Design Aspects from Conceptual Models.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Automating the Object-Oriented Development Process: Workshop Report.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Aspect-Oriented Programming Using Composition-Filters.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Applying Fuzzy Logic Techniques in Object-Oriented Software Development.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Active Software Artifacts.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996

Load Balanced Mapping of Distributed Objects to Minimize Network Communication.

[BibT_eX]

[DOI]

Alexander D. Stoyenko

Jan Bosch

Thomas J. Marlowe

J. Parallel Distributed Comput., 1996

Composing Synchronization and Real-Time Constraints.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1996

Separation and Composition of Concerns in the Object-Oriented Model.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Designing Software Architectures as Knowledge Specializations.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '96, 1996

1994

Real-Time Specification Inheritance Anomalies and Real-Time Filters.

[BibT_eX]

[DOI]

Jan Bosch

William van der Sterren

Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1993

Abstracting Object Interactions Using Composition Filters.

[BibT_eX]

[DOI]

Proceedings of the Object-Based Distributed Programming, 1993

1992

The analysis and design of distributed systems (abstract).

[BibT_eX]

[DOI]

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

Obstacles in Object-Oriented Software Development.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

Issues in Object-Oriented Real-Time Language Design.

[BibT_eX]

[DOI]

Jan Bosch

Proceedings of the Real Time Computing, 1992

An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach.

[BibT_eX]

[DOI]

Sinan Vural

Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

1991

Atomic Delegation: Object-Oriented Transactions.

[BibT_eX]

[DOI]

Jan Willem Dijkstra

Anand R. Tripathi

IEEE Softw., 1991

1989

On the Design of the Object-Oriented Language Sina.

[BibT_eX]

[DOI]

PhD thesis, 1989

An Implementation of the Object-oriented Concurrent Programming Language SINA.

[BibT_eX]

[DOI]

Anand R. Tripathi

Eric Berge

Softw. Pract. Exp., 1989

1988

Data Abstraction Mechanisms in SINA/ST.

[BibT_eX]

[DOI]