Prototyping Object Specifications Using the CO-Nets Approach. - Nasreddine Aoumeur; Stefan Conrad 001; Gunter Saake (AWPN, 1999)

Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. - Nasreddine Aoumeur; Gunter Saake (CAiSE, 1999)

Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach. - Nasreddine Aoumeur (FMLDO - Selected Papers, 1999)

Towards a New Semantics for Mondel Specifications Based on the CO-Net Approach. - Nasreddine Aoumeur; Gunter Saake (Modellierung, 1999)

Consistency Management in Runtime Evolving Concurrent Information Systems: A CO-NETS-Based Approach. - Nasreddine Aoumeur; Gunter Saake (FMLDO, 2000)

Distributed Systems specification and Adaptation: A Petri-net Based Proposal. - Nasreddine Aoumeur (Grundlagen von Datenbanken, 2001)

Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic. - Nasreddine Aoumeur; Gunter Saake (CAiSE, 2002)

A component-based Petri net model for specifying and validating cooperative information systems. - Nasreddine Aoumeur; Gunter Saake (Data Knowl. Eng., 2002)

Specifying and validating consistent and dynamically evolving concurrent information systems: an object Petri net based approach. - Nasreddine Aoumeur (Shaker, 2002)

Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components. - Nasreddine Aoumeur; Gunter Saake (OOIS, 2003)

Towards an Architectural Approach to Location-Aware Business Processes. - Nasreddine Aoumeur; José Luiz Fiadeiro; Cristóvão Oliveira (WETICE, 2004)

Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal. - Nasreddine Aoumeur; Gunter Saake (Data Knowl. Eng., 2004)

Distribution concerns in service-oriented modelling. - Nasreddine Aoumeur; José Luiz Fiadeiro; Cristóvão Oliveira (Int. J. Internet Protoc. Technol., 2006)

Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems. - Nasreddine Aoumeur; Kamel Barkaoui; Gunter Saake (CSMR, 2007)

Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets. - Nasreddine Aoumeur; Gunter Saake; Kamel Barkaoui (ICEIS (3), 2007)

Features Interaction in Adaptive Service-driven Environments: A Reflective Petri Nets-Based Approach. - Nasreddine Aoumeur; Gunter Saake (RCIS, 2007)

UML-driven Information Systems and their Formal Integration Validation and Distribution. - Nasreddine Aoumeur; Gunter Saake (MSVVEIS, 2007)

An adaptive ECA-centric architecture for agile service-based business processes with compliant aspectual .NET environment. - Syed Saif ur Rahman; Nasreddine Aoumeur; Gunter Saake (iiWAS, 2008)

A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS. - Nasreddine Aoumeur; Gunter Saake (UNISCON, 2008)

Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. - Nasreddine Aoumeur; Kamel Barkaoui; Gunter Saake (ITNG, 2008)

On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework. - Nasreddine Aoumeur; Kamel Barkaoui; Claus Rautenstrauch (SITIS, 2008)

Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets. - Nasreddine Aoumeur (Enterp. Inf. Syst., 2008)

On modelling adaptive service-oriented business processes. - Nasreddine Aoumeur; Kamel Barkaoui; Gunter Saake (AICCSA, 2009)

Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. - Nasreddine Aoumeur; Kamel Barkaoui; Gunter Saake (ECBS, 2009)

Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. - Nasreddine Aoumeur; Kamel Barkaoui (ICIW, 2009)

Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions. - Nasreddine Aoumeur; Kamel Barkaoui; Gunter Saake (IEEE International Workshop on Rapid System Prototyping, 2009)

Stepwise engineering and deployment of dynamically adaptive service-oriented business processes. - Nasreddine Aoumeur; Kamel Barkaoui (SOCA, 2009)