Nasreddine Aoumeur

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

22EENasreddine Aoumeur, Kamel Barkaoui, Gunter Saake: Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. ECBS 2009: 138-146
21EENasreddine Aoumeur, Kamel Barkaoui, Gunter Saake: Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. ITNG 2008: 1305-1307
20EENasreddine Aoumeur, Gunter Saake: A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS. UNISCON 2008: 393-404
19EESyed 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: 240-247
18EENasreddine Aoumeur: Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets. Enterprise IS 2(2): 121-156 (2008)
17EENasreddine Aoumeur, Kamel Barkaoui, Gunter Saake: Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems. CSMR 2007: 123-136
16 Nasreddine Aoumeur, Gunter Saake, Kamel Barkaoui: Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets. ICEIS (3) 2007: 152-158
15 Nasreddine Aoumeur, Gunter Saake: UML-driven Information Systems and their Formal Integration Validation and Distribution. MSVVEIS 2007: 63-73
14 Nasreddine Aoumeur, Gunter Saake: Features Interaction in Adaptive Service-driven Environments: A Reflective Petri Nets-Based Approach. RCIS 2007: 297-308
13EENasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira: Distribution concerns in service-oriented modelling. IJIPT 1(3): 144-158 (2006)
12EENasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira: Towards an Architectural Approach to Location-Aware Business Processes. WETICE 2004: 147-152
11EENasreddine Aoumeur, Gunter Saake: Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal. Data Knowl. Eng. 50(2): 117-173 (2004)
10EENasreddine Aoumeur, Gunter Saake: Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components. OOIS 2003: 60-70
9EENasreddine Aoumeur, Gunter Saake: Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic. CAiSE 2002: 296-310
8EENasreddine Aoumeur, Gunter Saake: A component-based Petri net model for specifying and validating cooperative information systems. Data Knowl. Eng. 42(2): 143-187 (2002)
7EENasreddine Aoumeur: Distributed Systems specification and Adaptation: A Petri-net Based Proposal. Grundlagen von Datenbanken 2001: 3-7
6EENasreddine Aoumeur, Gunter Saake: Consistency Management in Runtime Evolving Concurrent Information Systems: A CO-NETS-Based Approach. FMLDO 2000: 33-67
5EENasreddine Aoumeur, Stefan Conrad, Gunter Saake: Prototyping Object Specifications Using the CO-Nets Approach. AWPN 1999
4EENasreddine Aoumeur, Gunter Saake: Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. CAiSE 1999: 381-395
3 Nasreddine Aoumeur: Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach. FMLDO 1999: 23-41
2EENasreddine Aoumeur: Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach. FMLDO - Selected Papers 1999: 91-111
1 Nasreddine Aoumeur, Gunter Saake: Towards a New Semantics for Mondel Specifications Based on the CO-Net Approach. Modellierung 1999: 107-122

Coauthor Index

1Kamel Barkaoui [16] [17] [21] [22]
2Stefan Conrad [5]
3José Luiz Fiadeiro [12] [13]
4Cristóvão Oliveira [12] [13]
5Syed Saif ur Rahman [19]
6Gunter Saake [1] [4] [5] [6] [8] [9] [10] [11] [14] [15] [16] [17] [19] [20] [21] [22]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)