Nasreddine Aoumeur

Publication Activity (10 Years)

Years Active: 1999-2009
Publications (10 Years): 0

Otto-von-Guericke University Magdeburg, Germany (PHD)

Education History

Otto-von-Guericke University Magdeburg, Germany

PHD

Publications

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. ECBS (2009)
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions. IEEE International Workshop on Rapid System Prototyping (2009)
Nasreddine Aoumeur, Kamel Barkaoui
Stepwise engineering and deployment of dynamically adaptive service-oriented business processes. SOCA (2009)
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
On modelling adaptive service-oriented business processes. AICCSA (2009)
Nasreddine Aoumeur, Kamel Barkaoui
Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. ICIW (2009)
Nasreddine Aoumeur, Kamel Barkaoui, Claus Rautenstrauch
On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework. SITIS (2008)
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. ITNG (2008)
Nasreddine Aoumeur
Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets. Enterp. Inf. Syst. 2 (2) (2008)
Nasreddine Aoumeur, Gunter Saake
A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS. UNISCON (2008)
Syed Saif ur Rahman, Nasreddine Aoumeur, Gunter Saake
An adaptive ECA-centric architecture for agile service-based business processes with compliant aspectual .NET environment. iiWAS (2008)
Nasreddine Aoumeur, Gunter Saake
Features Interaction in Adaptive Service-driven Environments: A Reflective Petri Nets-Based Approach. RCIS (2007)
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems. CSMR (2007)
Nasreddine Aoumeur, Gunter Saake
UML-driven Information Systems and their Formal Integration Validation and Distribution. MSVVEIS (2007)
Nasreddine Aoumeur, Gunter Saake, Kamel Barkaoui
Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets. ICEIS (3) (2007)
Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira
Distribution concerns in service-oriented modelling. Int. J. Internet Protoc. Technol. 1 (3) (2006)
Nasreddine Aoumeur, Gunter Saake
Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal. Data Knowl. Eng. 50 (2) (2004)
Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira
Towards an Architectural Approach to Location-Aware Business Processes. WETICE (2004)
Nasreddine Aoumeur, Gunter Saake
Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components. OOIS (2003)
Nasreddine Aoumeur, Gunter Saake
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic. CAiSE (2002)
Nasreddine Aoumeur, Gunter Saake
A component-based Petri net model for specifying and validating cooperative information systems. Data Knowl. Eng. 42 (2) (2002)
Nasreddine Aoumeur
Distributed Systems specification and Adaptation: A Petri-net Based Proposal. Grundlagen von Datenbanken (2001)
Nasreddine Aoumeur, Gunter Saake
Consistency Management in Runtime Evolving Concurrent Information Systems: A CO-NETS-Based Approach. FMLDO (2000)
Nasreddine Aoumeur, Gunter Saake
Towards a New Semantics for Mondel Specifications Based on the CO-Net Approach. Modellierung (1999)
Nasreddine Aoumeur, Gunter Saake
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. CAiSE (1999)
Nasreddine Aoumeur, Stefan Conrad, Gunter Saake
Prototyping Object Specifications Using the CO-Nets Approach. AWPN (1999)
Nasreddine Aoumeur
Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach. FMLDO (1999)
Nasreddine Aoumeur
Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach. FMLDO - Selected Papers (1999)

Nasreddine Aoumeur.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Nasreddine Aoumeur