The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Elie Najm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Arnaud Février, Elie Najm, Jean-Bernard Stefani
    Contracts for ODP. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:216-232 [Conf]
  2. Elie Najm, Abdelkrim Nimour
    Explicit Behavioral Typing for Object Interfaces. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:321- [Conf]
  3. Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
    Infinite types for distributed object interfaces. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  4. 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]
  5. 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]
  6. Ole Christian Dahl, Elie Najm
    Specification & Detection of IN Service Interference Using LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:53-69 [Conf]
  7. Joubine Dustzadeh, Elie Najm
    Consistent Semantics for ODP Information and Computational Models. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:107-126 [Conf]
  8. 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]
  9. Elie Najm, Jean-Bernard Stefani
    Dynamic Configuration in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:201-216 [Conf]
  10. Elie Najm, Jean-Bernard Stefani, Arnaud Février
    Towards a Mobile LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:127-142 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Elie Najm
    Verification of Distributed Systems Using Structured Communicating Agents Nets. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:295-308 [Conf]
  15. Elie Najm
    A Verification Oriented Specification in LOTOS of the Transport Protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:181-203 [Conf]
  16. 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]
  17. Elie Najm
    Service Feature Interaction. [Citation Graph (0, 0)][DBLP]
    SMARTNET, 1999, pp:77-80 [Conf]
  18. Elie Najm, Frank Olsen
    Reactive EFSMs - Reactive Promela/RSPIN. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:349-368 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Irfan Hamid, Elie Najm
    Real-time Connectors for Deterministic Data-flow. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2007, pp:173-182 [Conf]

  28. Operational Semantics of Ada Ravenscar. [Citation Graph (, )][DBLP]


  29. Session Types for Orchestration Charts. [Citation Graph (, )][DBLP]


  30. A Generative Approach to Building a Framework for Hard Real-Time Applications. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.282secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002