| 2008 |
|---|
| 34 | EE | Irfan Hamid,
Elie Najm:
Operational Semantics of Ada Ravenscar.
Ada-Europe 2008: 44-58 |
| 33 | EE | Alessandro Fantechi,
Elie Najm:
Session Types for Orchestration Charts.
COORDINATION 2008: 117-134 |
| 2007 |
|---|
| 32 | | Emmanuel Gaudin,
Elie Najm,
Rick Reed:
SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
Springer 2007 |
| 31 | EE | Irfan Hamid,
Elie Najm:
Real-time Connectors for Deterministic Data-flow.
RTCSA 2007: 173-182 |
| 30 | EE | Irfan Hamid,
Elie Najm,
Jérôme Hugues:
A Generative Approach to Building a Framework for Hard Real-Time Applications.
SEW 2007: 269-278 |
| 2006 |
|---|
| 29 | | Elie Najm,
Jean-François Pradat-Peyre,
Véronique Donzeau-Gouge:
Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006.
Springer 2006 |
| 2005 |
|---|
| 28 | | Cyril Carrez,
Alessandro Fantechi,
Elie Najm:
Assembling components with behavioural contracts.
Annales des Télécommunications 60(7-8): 989-1022 (2005) |
| 2003 |
|---|
| 27 | | Elie Najm,
Uwe Nestmann,
Perdita Stevens:
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Springer 2003 |
| 26 | EE | Cyril Carrez,
Alessandro Fantechi,
Elie Najm:
Behavioural Contracts for a Sound Assembly of Components.
FORTE 2003: 111-126 |
| 2000 |
|---|
| 25 | | Jean-Bernard Stefani,
Florence Germain,
Elie Najm:
Elements of an object-based model for distributed and mobile computation.
FMOODS 2000: 23-44 |
| 24 | EE | Jean Claude Samou,
Drissa Houatra,
Philippe Godlewski,
Elie Najm:
IMT-2000 wireless terminal mobility over object-oriented distributed platforms.
Computer Networks 34(5): 717-743 (2000) |
| 23 | EE | Gerard J. Holzmann,
Elie Najm,
Ahmed Serhrouchni:
SPIN Model Checking: An Introduction.
STTT 2(4): 321-327 (2000) |
| 1999 |
|---|
| 22 | | Elie Najm,
Abdelkrim Nimour:
Explicit Behavioral Typing for Object Interfaces.
ECOOP Workshops 1999: 321 |
| 21 | | Elie Najm,
Abdelkrim Nimour,
Jean-Bernard Stefani:
Infinite types for distributed object interfaces.
FMOODS 1999 |
| 20 | | Elie Najm,
Abdelkrim Nimour,
Jean-Bernard Stefani:
Guaranteeing liveness in an object calculus through behavioural typing.
FORTE 1999: 203-221 |
| 19 | | Elie Najm,
Frank Olsen,
Sylvie Vignes:
From SIBS to Distributed Objects: A Transformation Approach for Service Creation.
SMARTNET 1999: 403-417 |
| 18 | | Elie Najm:
Service Feature Interaction.
SMARTNET 1999: 77-80 |
| 1998 |
|---|
| 17 | | Stanislaw Budkowski,
Ana R. Cavalli,
Elie Najm:
Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France
Kluwer 1998 |
| 1997 |
|---|
| 16 | | Arnaud Février,
Elie Najm,
Jean-Bernard Stefani:
Contracts for ODP.
ARTS 1997: 216-232 |
| 15 | | Joubine Dustzadeh,
Elie Najm:
Consistent Semantics for ODP Information and Computational Models.
FORTE 1997: 107-126 |
| 14 | EE | Christophe Logé,
Elie Najm,
Ken Chen:
An ODP computational model of a cooperative binding object.
Distributed Systems Engineering 4(4): 214-228 (1997) |
| 1996 |
|---|
| 13 | | Elie Najm,
Frank Olsen:
Reactive EFSMs - Reactive Promela/RSPIN.
TACAS 1996: 349-368 |
| 12 | | Tania R. Tronco Fidoli,
Elie Najm:
Exercise of TINA Concepts for a Video Broadcast Service over ATM Networks.
TreDS 1996: 122-135 |
| 1995 |
|---|
| 11 | | Elie Najm,
Jean-Bernard Stefani,
Arnaud Février:
Towards a Mobile LOTOS.
FORTE 1995: 127-142 |
| 10 | EE | Elie Najm,
Jean-Bernard Stefani:
A Formal Semantics for the ODP Computational Model.
Computer Networks and ISDN Systems 27(8): 1305-1329 (1995) |
| 1994 |
|---|
| 9 | | Tommaso Bolognesi,
Elie Najm,
Paul A. J. Tilanus:
G-LOTOS: A Graphical Language for Concurrent Systems.
Computer Networks and ISDN Systems 26(9): 1101-1127 (1994) |
| 1993 |
|---|
| 8 | | Ole Christian Dahl,
Elie Najm:
Specification & Detection of IN Service Interference Using LOTOS.
FORTE 1993: 53-69 |
| 1991 |
|---|
| 7 | | Elie Najm,
Jean-Bernard Stefani:
Dynamic Configuration in LOTOS.
FORTE 1991: 201-216 |
| 6 | | Elie Najm,
Jean-Bernard Stefani:
Object-Based Concurrency: A Process Calculus Analysis.
TAPSOFT, Vol.1 1991: 359-380 |
| 1990 |
|---|
| 5 | | J. Queiroz,
Ahmed Serhrouchni,
P. Cunha,
Elie Najm:
PIL: A Tool for Pre-implementation of LOTOS.
FORTE 1990: 567-570 |
| 1987 |
|---|
| 4 | | Elie Najm:
A Verification Oriented Specification in LOTOS of the Transport Protocol.
PSTV 1987: 181-203 |
| 1985 |
|---|
| 3 | | Elie Najm,
Stanislaw Budkowski,
Thierry Gilot,
Leon Lumbroso:
General presentation of SCAN. A distributed systems modelling and validation tool.
PSTV 1985: 103-118 |
| 1984 |
|---|
| 2 | | Elie Najm:
Verification of Distributed Systems Using Structured Communicating Agents Nets.
PSTV 1984: 295-308 |
| 1983 |
|---|
| 1 | | Stanislaw Budkowski,
Elie Najm:
Structured Finite State Automata - A new approach for modelling distributed communications systems.
Protocol Specification, Testing, and Verification 1983: 95-110 |
