Elie Najm

Jonathan Michaux, Elie Najm, Alessandro Fantechi: Adding Sessions to BPEL. WWV 2012: 60-76

Gerard Nicolas, Karim Sbata, Elie Najm: Architecting end-to-end convergence of web and Telco services. iiWAS 2011: 98-105

Isabelle Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, Elie Najm: Introduction to special issue: papers from UML&FM'2009. ISSE 6(1-2): 1-3 (2010)

Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues: Automatic framework generation for hard real-time applications. ISSE 4(1): 107-122 (2008)

Irfan Hamid, Elie Najm: Operational Semantics of Ada Ravenscar. Ada-Europe 2008: 44-58

Alessandro Fantechi, Elie Najm: Session Types for Orchestration Charts. COORDINATION 2008: 117-134

Irfan Hamid, Elie Najm: Real-time Connectors for Deterministic Data-flow. RTCSA 2007: 173-182

Irfan Hamid, Elie Najm, Jérôme Hugues: A Generative Approach to Building a Framework for Hard Real-Time Applications. SEW 2007: 269-278

Emmanuel Gaudin, Elie Najm, Rick Reed (Eds.): SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings. Lecture Notes in Computer Science 4745, Springer 2007, isbn 978-3-540-74983-7

Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Lecture Notes in Computer Science 4229, Springer 2006, isbn 3-540-46219-8

Cyril Carrez, Alessandro Fantechi, Elie Najm: Assembling components with behavioural contracts. Annales des Télécommunications 60(7-8): 989-1022 (2005)

Cyril Carrez, Alessandro Fantechi, Elie Najm: Behavioural Contracts for a Sound Assembly of Components. FORTE 2003: 111-126

Elie Najm, Uwe Nestmann, Perdita Stevens (Eds.): Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science 2884, Springer 2003, isbn 3-540-20491-1

Stanislaw Budkowski, Elie Najm: Protocol engineering. Annales des Télécommunications 55(1-2): 3 (2000)

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)

Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni: SPIN Model Checking: An Introduction. STTT 2(4): 321-327 (2000)

Jean-Bernard Stefani, Florence Germain, Elie Najm: Elements of an object-based model for distributed and mobile computation. FMOODS 2000: 23-44

Stanislaw Budkowski, Elie Najm: Protocol engineering. Annales des Télécommunications 54(11-12): 507 (1999)

Elie Najm, Abdelkrim Nimour: Explicit Behavioral Typing for Object Interfaces. ECOOP Workshops 1999: 321

Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani: Infinite types for distributed object interfaces. FMOODS 1999

Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani: Guaranteeing liveness in an object calculus through behavioural typing. FORTE 1999: 203-221

Elie Najm: Service Feature Interaction. SMARTNET 1999: 77-80

Elie Najm, Frank Olsen, Sylvie Vignes: From SIBS to Distributed Objects: A Transformation Approach for Service Creation. SMARTNET 1999: 403-417

Stanislaw Budkowski, Ana R. Cavalli, Elie Najm (Eds.): 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. IFIP Conference Proceedings 135, Kluwer 1998, isbn 0-412-84760-4

Christophe Logé, Elie Najm, Ken Chen: An ODP computational model of a cooperative binding object. Distributed Systems Engineering 4(4): 214-228 (1997)

Arnaud Février, Elie Najm, Jean-Bernard Stefani: Contracts for ODP. ARTS 1997: 216-232

Joubine Dustzadeh, Elie Najm: Consistent Semantics for ODP Information and Computational Models. FORTE 1997: 107-126

Elie Najm, Frank Olsen: Reactive EFSMs - Reactive Promela/RSPIN. TACAS 1996: 349-368

Tania R. Tronco Fidoli, Elie Najm: Exercise of TINA Concepts for a Video Broadcast Service over ATM Networks. TreDS 1996: 122-135

Elie Najm, Jean-Bernard Stefani: A Formal Semantics for the ODP Computational Model. Computer Networks and ISDN Systems 27(8): 1305-1329 (1995)

Elie Najm, Jean-Bernard Stefani, Arnaud Février: Towards a Mobile LOTOS. FORTE 1995: 127-142

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)

Ole Christian Dahl, Elie Najm: Specification & Detection of IN Service Interference Using LOTOS. FORTE 1993: 53-69

Elie Najm, Jean-Bernard Stefani: Dynamic Configuration in LOTOS. FORTE 1991: 201-216

Elie Najm, Jean-Bernard Stefani: Object-Based Concurrency: A Process Calculus Analysis. TAPSOFT, Vol.1 1991: 359-380

J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm: PIL: A Tool for Pre-implementation of LOTOS. FORTE 1990: 567-570

Elie Najm: A Verification Oriented Specification in LOTOS of the Transport Protocol. PSTV 1987: 181-203

Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso: General presentation of SCAN. A distributed systems modelling and validation tool. PSTV 1985: 103-118

Elie Najm: Verification of Distributed Systems Using Structured Communicating Agents Nets. PSTV 1984: 295-308

Stanislaw Budkowski, Elie Najm: Structured Finite State Automata - A new approach for modelling distributed communications systems. Protocol Specification, Testing, and Verification 1983: 95-110