|
Search the dblp DataBase
Elie Najm:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Arnaud Février, Elie Najm, Jean-Bernard Stefani
Contracts for ODP. [Citation Graph (0, 0)][DBLP] ARTS, 1997, pp:216-232 [Conf]
- Elie Najm, Abdelkrim Nimour
Explicit Behavioral Typing for Object Interfaces. [Citation Graph (0, 0)][DBLP] ECOOP Workshops, 1999, pp:321- [Conf]
- Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
Infinite types for distributed object interfaces. [Citation Graph (0, 0)][DBLP] FMOODS, 1999, pp:- [Conf]
- Jean-Bernard Stefani, Florence Germain, Elie Najm
Elements of an object-based model for distributed and mobile computation. [Citation Graph (0, 0)][DBLP] FMOODS, 2000, pp:23-44 [Conf]
- Cyril Carrez, Alessandro Fantechi, Elie Najm
Behavioural Contracts for a Sound Assembly of Components. [Citation Graph (0, 0)][DBLP] FORTE, 2003, pp:111-126 [Conf]
- Ole Christian Dahl, Elie Najm
Specification & Detection of IN Service Interference Using LOTOS. [Citation Graph (0, 0)][DBLP] FORTE, 1993, pp:53-69 [Conf]
- Joubine Dustzadeh, Elie Najm
Consistent Semantics for ODP Information and Computational Models. [Citation Graph (0, 0)][DBLP] FORTE, 1997, pp:107-126 [Conf]
- Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
Guaranteeing liveness in an object calculus through behavioural typing. [Citation Graph (0, 0)][DBLP] FORTE, 1999, pp:203-221 [Conf]
- Elie Najm, Jean-Bernard Stefani
Dynamic Configuration in LOTOS. [Citation Graph (0, 0)][DBLP] FORTE, 1991, pp:201-216 [Conf]
- Elie Najm, Jean-Bernard Stefani, Arnaud Février
Towards a Mobile LOTOS. [Citation Graph (0, 0)][DBLP] FORTE, 1995, pp:127-142 [Conf]
- J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm
PIL: A Tool for Pre-implementation of LOTOS. [Citation Graph (0, 0)][DBLP] FORTE, 1990, pp:567-570 [Conf]
- Stanislaw Budkowski, Elie Najm
Structured Finite State Automata - A new approach for modelling distributed communications systems. [Citation Graph (0, 0)][DBLP] Protocol Specification, Testing, and Verification, 1983, pp:95-110 [Conf]
- Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso
General presentation of SCAN. A distributed systems modelling and validation tool. [Citation Graph (0, 0)][DBLP] PSTV, 1985, pp:103-118 [Conf]
- Elie Najm
Verification of Distributed Systems Using Structured Communicating Agents Nets. [Citation Graph (0, 0)][DBLP] PSTV, 1984, pp:295-308 [Conf]
- Elie Najm
A Verification Oriented Specification in LOTOS of the Transport Protocol. [Citation Graph (0, 0)][DBLP] PSTV, 1987, pp:181-203 [Conf]
- Elie Najm, Frank Olsen, Sylvie Vignes
From SIBS to Distributed Objects: A Transformation Approach for Service Creation. [Citation Graph (0, 0)][DBLP] SMARTNET, 1999, pp:403-417 [Conf]
- Elie Najm
Service Feature Interaction. [Citation Graph (0, 0)][DBLP] SMARTNET, 1999, pp:77-80 [Conf]
- Elie Najm, Frank Olsen
Reactive EFSMs - Reactive Promela/RSPIN. [Citation Graph (0, 0)][DBLP] TACAS, 1996, pp:349-368 [Conf]
- Elie Najm, Jean-Bernard Stefani
Object-Based Concurrency: A Process Calculus Analysis. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.1, 1991, pp:359-380 [Conf]
- Tania R. Tronco Fidoli, Elie Najm
Exercise of TINA Concepts for a Video Broadcast Service over ATM Networks. [Citation Graph (0, 0)][DBLP] TreDS, 1996, pp:122-135 [Conf]
- Cyril Carrez, Alessandro Fantechi, Elie Najm
Assembling components with behavioural contracts. [Citation Graph (0, 0)][DBLP] Annales des Télécommunications, 2005, v:60, n:7-8, pp:989-1022 [Journal]
- Tommaso Bolognesi, Elie Najm, Paul A. J. Tilanus
G-LOTOS: A Graphical Language for Concurrent Systems. [Citation Graph (0, 0)][DBLP] Computer Networks and ISDN Systems, 1994, v:26, n:9, pp:1101-1127 [Journal]
- Elie Najm, Jean-Bernard Stefani
A Formal Semantics for the ODP Computational Model. [Citation Graph (0, 0)][DBLP] Computer Networks and ISDN Systems, 1995, v:27, n:8, pp:1305-1329 [Journal]
- Jean Claude Samou, Drissa Houatra, Philippe Godlewski, Elie Najm
IMT-2000 wireless terminal mobility over object-oriented distributed platforms. [Citation Graph (0, 0)][DBLP] Computer Networks, 2000, v:34, n:5, pp:717-743 [Journal]
- Christophe Logé, Elie Najm, Ken Chen
An ODP computational model of a cooperative binding object. [Citation Graph (0, 0)][DBLP] Distributed Systems Engineering, 1997, v:4, n:4, pp:214-228 [Journal]
- Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni
SPIN Model Checking: An Introduction. [Citation Graph (0, 0)][DBLP] STTT, 2000, v:2, n:4, pp:321-327 [Journal]
- Irfan Hamid, Elie Najm
Real-time Connectors for Deterministic Data-flow. [Citation Graph (0, 0)][DBLP] RTCSA, 2007, pp:173-182 [Conf]
Operational Semantics of Ada Ravenscar. [Citation Graph (, )][DBLP]
Session Types for Orchestration Charts. [Citation Graph (, )][DBLP]
A Generative Approach to Building a Framework for Hard Real-Time Applications. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.282secs
|