Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDElie Najm
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j12]Elie Najm
, Rajai Nasser, Emre Telatar:
Content Based Status Updates. IEEE Trans. Inf. Theory 66(6): 3846-3863 (2020)
2010 – 2019
- 2019
- [c39]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 - [c38]Elie Najm, Emre Telatar, Rajai Nasser:
Optimal Age over Erasure Channels. ISIT 2019: 335-339 - [i7]Elie Najm, Emre Telatar, Rajai Nasser:
Optimal Age over Erasure Channels. CoRR abs/1901.01573 (2019) - 2018
- [c37]Elie Najm, Emre Telatar:
Status updates in a multi-stream M/G/1/1 preemptive queue. INFOCOM Workshops 2018: 124-129 - [c36]Elie Najm, Rajai Nasser, Emre Telatar:
Content Based Status Updates. ISIT 2018: 2266-2270 - [c35]Rayhana Baghli, Elie Najm, Bruno Traverson:
Defining Services and Service Orchestrators Acting on Shared Sensors and Actuators. MODELSWARD 2018: 237-246 - [i6]Elie Najm, Rajai Nasser, Emre Telatar:
Content Based Status Updates. CoRR abs/1801.04067 (2018) - [i5]Elie Najm, Emre Telatar:
Status Updates in a multi-stream M/G/1/1 preemptive queue. CoRR abs/1801.04068 (2018) - [i4]Mehmet Fatih Aktas, Elie Najm, Emina Soljanin:
Simplex Queues for Hot-Data Download. CoRR abs/1804.06489 (2018) - 2017
- [c34]Elie Najm, Roy D. Yates, Emina Soljanin:
Status updates through M/G/1/1 queues with HARQ. ISIT 2017: 131-135 - [c33]Roy D. Yates, Elie Najm, Emina Soljanin, Jing Zhong:
Timely updates over an erasure channel. ISIT 2017: 316-320 - [c32]Mehmet Fatih Aktas, Elie Najm, Emina Soljanin:
Simplex Queues for Hot-Data Download. SIGMETRICS (Abstracts) 2017: 35-36 - [i3]Elie Najm, Roy D. Yates, Emina Soljanin:
Status updates through M/G/1/1 queues with HARQ. CoRR abs/1704.03937 (2017) - [i2]Roy D. Yates, Elie Najm, Emina Soljanin, Jing Zhong:
Timely Updates over an Erasure Channel. CoRR abs/1704.04155 (2017) - 2016
- [c31]Rayhana Baghli, Elie Najm, Bruno Traverson:
Towards a Multi-Leveled Architecture for the Internet of Things. EDOC Workshops 2016: 1-6 - [c30]Elie Najm, Rajai Nasser:
Age of information: The gamma awakening. ISIT 2016: 2574-2578 - [i1]Elie Najm, Rajai Nasser:
Age of Information: The Gamma Awakening. CoRR abs/1604.01286 (2016) - 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) - [c29]Jonathan Michaux, Emmanuel Buu, Jiri Hlavacek, Elie Najm:
An open-source platform for converged services. IPTComm 2013: 6 - [c28]Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Safe Session-Based Service Orchestration with Unreliable Communication. WS-FM 2013: 106-126 - 2012
- [c27]Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Adding Sessions to BPEL. WWV 2012: 60-76 - 2011
- [c26]Gerard Nicolas, Karim Sbata, Elie Najm:
Architecting end-to-end convergence of web and Telco services. iiWAS 2011: 98-105 - 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)
2000 – 2009
- 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) - [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 - [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] - 2005
- [j8]Cyril Carrez, Alessandro Fantechi, Elie Najm:
Assembling components with behavioural contracts. Ann. des Télécommunications 60(7-8): 989-1022 (2005) - 2003
- [c21]Cyril Carrez, Alessandro Fantechi, Elie Najm:
Behavioural Contracts for a Sound Assembly of Components. FORTE 2003: 111-126 - [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] - 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) - [c20]Jean-Bernard Stefani, Florence Germain, Elie Najm:
Elements of an object-based model for distributed and mobile computation. FMOODS 2000: 23-43
1990 – 1999
- 1999
- [j4]Stanislaw Budkowski, Elie Najm:
Protocol engineering. Ann. des Télécommunications 54(11-12): 507 (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 - 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] - 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) - [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
- [j2]Elie Najm, Jean-Bernard Stefani:
A Formal Semantics for the ODP Computational Model. Comput. Networks ISDN Syst. 27(8): 1305-1329 (1995) - [c9]Elie Najm, Jean-Bernard Stefani, Arnaud Février:
Towards a Mobile LOTOS. FORTE 1995: 127-142 - 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) - 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
1980 – 1989
- 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
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-08-01 02:33 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 has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
