default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElie Najm
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with the same name
- Elie Najm 0001 — University of Montpellier, France
- Elie Najm 0002
![[0000-0002-3911-3382]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0002-3911-3382")
— EPFL, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2013
[j11]Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Session types for safe Web service orchestration. J. Log. Algebraic Methods Program. 82(8): 282-310 (2013)- 2010
- [j10]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. Innov. Syst. Softw. Eng. 6(1-2): 1-3 (2010) - 2008
- [j9]Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues:
Automatic framework generation for hard real-time applications. Innov. Syst. Softw. Eng. 4(1): 107-122 (2008) - 2005
- [j8]Cyril Carrez, Alessandro Fantechi, Elie Najm:
Assembling components with behavioural contracts. Ann. des Télécommunications 60(7-8): 989-1022 (2005) - 2000
- [j7]Stanislaw Budkowski, Elie Najm:
Protocol engineering. Ann. des Télécommunications 55(1-2): 3 (2000) - [j6]Jean Claude Samou, Drissa Houatra, Philippe Godlewski, Elie Najm:
IMT-2000 wireless terminal mobility over object-oriented distributed platforms. Comput. Networks 34(5): 717-743 (2000) - [j5]Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni:
SPIN Model Checking: An Introduction. Int. J. Softw. Tools Technol. Transf. 2(4): 321-327 (2000) - 1999
- [j4]Stanislaw Budkowski, Elie Najm:
Protocol engineering. Ann. des Télécommunications 54(11-12): 507 (1999) - 1997
- [j3]Christophe Logé, Elie Najm, Ken Chen:
An ODP computational model of a cooperative binding object. Distributed Syst. Eng. 4(4): 214-228 (1997) - 1995
- [j2]Elie Najm, Jean-Bernard Stefani:
A Formal Semantics for the ODP Computational Model. Comput. Networks ISDN Syst. 27(8): 1305-1329 (1995) - 1994
- [j1]Tommaso Bolognesi, Elie Najm, Paul A. J. Tilanus:
G-LOTOS: A Graphical Language for Concurrent Systems. Comput. Networks ISDN Syst. 26(9): 1101-1127 (1994)
Conference and Workshop Papers
- 2022
- [c35]Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson:
PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services. DEXA (2) 2022: 158-173 - [c34]Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson:
Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services. ICMLA 2022: 7-14 - 2019
- [c33]Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani:
From Behavioural Contracts to Session Types. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 278-297 - 2018
- [c32]Rayhana Baghli, Elie Najm, Bruno Traverson:
Defining Services and Service Orchestrators Acting on Shared Sensors and Actuators. MODELSWARD 2018: 237-246 - 2016
- [c31]Rayhana Baghli, Elie Najm, Bruno Traverson:
Towards a Multi-Leveled Architecture for the Internet of Things. EDOC Workshops 2016: 1-6 - 2013
- [c30]Jonathan Michaux, Emmanuel Buu, Jiri Hlavacek, Elie Najm:
An open-source platform for converged services. IPTComm 2013: 6 - [c29]Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Safe Session-Based Service Orchestration with Unreliable Communication. WS-FM 2013: 106-126 - 2012
- [c28]Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Adding Sessions to BPEL. WWV 2012: 60-76 - 2011
- [c27]Gerard Nicolas, Karim Sbata, Elie Najm:
Architecting end-to-end convergence of web and Telco services. iiWAS 2011: 98-105 - [c26]Gerard Nicolas, Karim Sbata, Elie Najm:
Websocket enabler: achieving IMS and web services end-to-end convergence. IPTComm 2011: 3:1-3:3 - 2008
- [c25]Irfan Hamid, Elie Najm:
Operational Semantics of Ada Ravenscar. Ada-Europe 2008: 44-58 - [c24]Alessandro Fantechi, Elie Najm:
Session Types for Orchestration Charts. COORDINATION 2008: 117-134 - 2007
- [c23]Irfan Hamid, Elie Najm:
Real-time Connectors for Deterministic Data-flow. RTCSA 2007: 173-182 - [c22]Irfan Hamid, Elie Najm, Jérôme Hugues:
A Generative Approach to Building a Framework for Hard Real-Time Applications. SEW 2007: 269-278 - 2003
- [c21]Cyril Carrez, Alessandro Fantechi, Elie Najm:
Behavioural Contracts for a Sound Assembly of Components. FORTE 2003: 111-126 - 2000
- [c20]Jean-Bernard Stefani, Florence Germain, Elie Najm:
Elements of an object-based model for distributed and mobile computation. FMOODS 2000: 23-43 - 1999
- [c19]Elie Najm, Abdelkrim Nimour:
Explicit Behavioral Typing for Object Interfaces. ECOOP Workshops 1999: 321 - [c18]Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani:
Infinite types for distributed object interfaces. FMOODS 1999 - [c17]Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani:
Guaranteeing liveness in an object calculus through behavioural typing. FORTE 1999: 203-221 - [c16]Elie Najm:
Service Feature Interaction. SMARTNET 1999: 77-80 - [c15]Elie Najm, Frank Olsen, Sylvie Vignes:
From SIBS to Distributed Objects: A Transformation Approach for Service Creation. SMARTNET 1999: 403-417 - 1997
- [c14]Arnaud Février, Elie Najm, Jean-Bernard Stefani:
Contracts for ODP. ARTS 1997: 216-232 - [c13]Joubine Dustzadeh, Elie Najm:
Consistent Semantics for ODP Information and Computational Models. FORTE 1997: 107-126 - 1996
- [c12]Elie Najm, Frank Olsen:
Protocol verification with reactive Promela/Rspin. The Spin Verification System 1996: 111-131 - [c11]Elie Najm, Frank Olsen:
Reactive EFSMs - Reactive Promela/RSPIN. TACAS 1996: 349-368 - [c10]Tania R. Tronco Fidoli, Elie Najm:
Exercise of TINA Concepts for a Video Broadcast Service over ATM Networks. TreDS 1996: 122-135 - 1995
- [c9]Elie Najm, Jean-Bernard Stefani, Arnaud Février:
Towards a Mobile LOTOS. FORTE 1995: 127-142 - 1993
- [c8]Ole Christian Dahl, Elie Najm:
Specification & Detection of IN Service Interference Using LOTOS. FORTE 1993: 53-69 - 1991
- [c7]Elie Najm, Jean-Bernard Stefani:
Dynamic Configuration in LOTOS. FORTE 1991: 201-216 - [c6]Elie Najm, Jean-Bernard Stefani:
Object-Based Concurrency: A Process Calculus Analysis. TAPSOFT, Vol.1 1991: 359-380 - 1990
- [c5]J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm:
PIL: A Tool for Pre-implementation of LOTOS. FORTE 1990: 567-570 - 1987
- [c4]Elie Najm:
A Verification Oriented Specification in LOTOS of the Transport Protocol. PSTV 1987: 181-203 - 1985
- [c3]Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso:
General presentation of SCAN. A distributed systems modelling and validation tool. PSTV 1985: 103-118 - 1984
- [c2]Elie Najm:
Verification of Distributed Systems Using Structured Communicating Agents Nets. PSTV 1984: 295-308 - 1983
- [c1]Stanislaw Budkowski, Elie Najm:
Structured Finite State Automata - A new approach for modelling distributed communications systems. Protocol Specification, Testing, and Verification 1983: 95-110
Editorship
- 2007
- [e4]Emmanuel Gaudin, Elie Najm, Rick Reed:
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 [contents] - 2006
- [e3]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. Lecture Notes in Computer Science 4229, Springer 2006, ISBN 3-540-46219-8 [contents] - 2003
- [e2]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. Lecture Notes in Computer Science 2884, Springer 2003, ISBN 3-540-20491-1 [contents] - 1998
- [e1]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. IFIP Conference Proceedings 135, Kluwer 1998, ISBN 0-412-84760-4 [contents]
Informal and Other Publications
- 2024
- [i2]Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson:
HKD-SHO: A hybrid smart home system based on knowledge-based and data-driven services. CoRR abs/2402.15521 (2024) - 2022
- [i1]Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson:
PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services. CoRR abs/2207.08814 (2022)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
