2009 |
22 | EE | Nasreddine Aoumeur,
Kamel Barkaoui,
Gunter Saake:
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications.
ECBS 2009: 138-146 |
2008 |
21 | EE | Nasreddine Aoumeur,
Kamel Barkaoui,
Gunter Saake:
Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification.
ITNG 2008: 1305-1307 |
20 | EE | Nasreddine Aoumeur,
Gunter Saake:
A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS.
UNISCON 2008: 393-404 |
19 | EE | 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: 240-247 |
18 | EE | Nasreddine Aoumeur:
Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets.
Enterprise IS 2(2): 121-156 (2008) |
2007 |
17 | EE | Nasreddine 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 |
2006 |
13 | EE | Nasreddine Aoumeur,
José Luiz Fiadeiro,
Cristóvão Oliveira:
Distribution concerns in service-oriented modelling.
IJIPT 1(3): 144-158 (2006) |
2004 |
12 | EE | Nasreddine Aoumeur,
José Luiz Fiadeiro,
Cristóvão Oliveira:
Towards an Architectural Approach to Location-Aware Business Processes.
WETICE 2004: 147-152 |
11 | EE | Nasreddine 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) |
2003 |
10 | EE | Nasreddine Aoumeur,
Gunter Saake:
Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components.
OOIS 2003: 60-70 |
2002 |
9 | EE | Nasreddine Aoumeur,
Gunter Saake:
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.
CAiSE 2002: 296-310 |
8 | EE | Nasreddine Aoumeur,
Gunter Saake:
A component-based Petri net model for specifying and validating cooperative information systems.
Data Knowl. Eng. 42(2): 143-187 (2002) |
2001 |
7 | EE | Nasreddine Aoumeur:
Distributed Systems specification and Adaptation: A Petri-net Based Proposal.
Grundlagen von Datenbanken 2001: 3-7 |
2000 |
6 | EE | Nasreddine Aoumeur,
Gunter Saake:
Consistency Management in Runtime Evolving Concurrent Information Systems: A CO-NETS-Based Approach.
FMLDO 2000: 33-67 |
1999 |
5 | EE | Nasreddine Aoumeur,
Stefan Conrad,
Gunter Saake:
Prototyping Object Specifications Using the CO-Nets Approach.
AWPN 1999 |
4 | EE | Nasreddine 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 |
2 | EE | Nasreddine 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 |