| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 38 |      | Gerard Nicolas, Karim Sbata, Elie Najm: Architecting end-to-end convergence of web and Telco services. iiWAS 2011: 98-105 |
| 2010 | ||
| 37 | | 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) |
| 2008 | ||
| 36 | | Irfan Hamid, Elie Najm: Operational Semantics of Ada Ravenscar. Ada-Europe 2008: 44-58 |
| 35 | | Alessandro Fantechi, Elie Najm: Session Types for Orchestration Charts. COORDINATION 2008: 117-134 |
| 34 | | Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues: Automatic framework generation for hard real-time applications. ISSE 4(1): 107-122 (2008) |
| 2007 | ||
| 33 |  | 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 |
| 32 | | Irfan Hamid, Elie Najm: Real-time Connectors for Deterministic Data-flow. RTCSA 2007: 173-182 |
| 31 | | 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 | ||
| 30 | | 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 | ||
| 29 | | Cyril Carrez, Alessandro Fantechi, Elie Najm: Assembling components with behavioural contracts. Annales des Télécommunications 60(7-8): 989-1022 (2005) |
| 2003 | ||
| 28 | | 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 |
| 27 | | Cyril Carrez, Alessandro Fantechi, Elie Najm: Behavioural Contracts for a Sound Assembly of Components. FORTE 2003: 111-126 |
| 2000 | ||
| 26 | | Jean-Bernard Stefani, Florence Germain, Elie Najm: Elements of an object-based model for distributed and mobile computation. FMOODS 2000: 23-44 |
| 25 | | Stanislaw Budkowski, Elie Najm: Protocol engineering. Annales des Télécommunications 55(1-2): 3 (2000) |
| 24 | | 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 | | 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 | | 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 | | 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 |
Colors in the list of coauthors
Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page