Elie Najm

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 24

Top Topics

Queueing Systems

Rule Extraction

Database Updates

Top Venues

IEEE Trans. Inf. Theory

Models, Languages, and Tools for Concurrent and Distributed Programming

Publications

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 (2024)
Elie Najm, Emre Telatar, Rajai Nasser
Optimal Age Over Erasure Channels. IEEE Trans. Inf. Theory 68 (9) (2022)
Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson
PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services. CoRR (2022)
Elie Najm, Jean-François Baget, Marie-Laure Mugnier
Rule-Based Data Access: A Use-case in Agroecology. RuleML+RR (Companion) (2022)
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)
Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson
Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services. ICMLA (2022)
Elie Najm, Rajai Nasser, Emre Telatar
Content Based Status Updates. IEEE Trans. Inf. Theory 66 (6) (2020)
Elie Najm, Emre Telatar, Rajai Nasser
Optimal Age over Erasure Channels. ISIT (2019)
Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani
From Behavioural Contracts to Session Types. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Elie Najm, Emre Telatar, Rajai Nasser
Optimal Age over Erasure Channels. CoRR (2019)
Elie Najm, Emre Telatar
Status updates in a multi-stream M/G/1/1 preemptive queue. INFOCOM Workshops (2018)
Elie Najm, Rajai Nasser, Emre Telatar
Content Based Status Updates. ISIT (2018)
Elie Najm, Rajai Nasser, Emre Telatar
Content Based Status Updates. CoRR (2018)
Mehmet Fatih Aktas, Elie Najm, Emina Soljanin
Simplex Queues for Hot-Data Download. CoRR (2018)
Elie Najm, Emre Telatar
Status Updates in a multi-stream M/G/1/1 preemptive queue. CoRR (2018)
Rayhana Baghli, Elie Najm, Bruno Traverson
Defining Services and Service Orchestrators Acting on Shared Sensors and Actuators. MODELSWARD (2018)
Elie Najm, Roy D. Yates, Emina Soljanin
Status updates through M/G/1/1 queues with HARQ. ISIT (2017)
Mehmet Fatih Aktas, Elie Najm, Emina Soljanin
Simplex Queues for Hot-Data Download. SIGMETRICS (Abstracts) (2017)
Elie Najm, Roy D. Yates, Emina Soljanin
Status updates through M/G/1/1 queues with HARQ. CoRR (2017)
Roy D. Yates, Elie Najm, Emina Soljanin, Jing Zhong
Timely Updates over an Erasure Channel. CoRR (2017)
Roy D. Yates, Elie Najm, Emina Soljanin, Jing Zhong
Timely updates over an erasure channel. ISIT (2017)
Elie Najm, Rajai Nasser
Age of Information: The Gamma Awakening. CoRR (2016)
Rayhana Baghli, Elie Najm, Bruno Traverson
Towards a Multi-Leveled Architecture for the Internet of Things. EDOC Workshops (2016)
Elie Najm, Rajai Nasser
Age of information: The gamma awakening. ISIT (2016)
Jonathan Michaux, Emmanuel Buu, Jiri Hlavacek, Elie Najm
An open-source platform for converged services. IPTComm (2013)
Jonathan Michaux, Elie Najm, Alessandro Fantechi
Safe Session-Based Service Orchestration with Unreliable Communication. WS-FM (2013)
Jonathan Michaux, Elie Najm, Alessandro Fantechi
Session types for safe Web service orchestration. J. Log. Algebraic Methods Program. 82 (8) (2013)
Jonathan Michaux, Elie Najm, Alessandro Fantechi
Adding Sessions to BPEL WWV (2012)
Gerard Nicolas, Karim Sbata, Elie Najm
Websocket enabler: achieving IMS and web services end-to-end convergence. IPTComm (2011)
Gerard Nicolas, Karim Sbata, Elie Najm
Architecting end-to-end convergence of web and Telco services. iiWAS (2011)
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) (2010)
Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues
Automatic framework generation for hard real-time applications. Innov. Syst. Softw. Eng. 4 (1) (2008)
Irfan Hamid, Elie Najm
Operational Semantics of Ada Ravenscar. Ada-Europe (2008)
Alessandro Fantechi, Elie Najm
Session Types for Orchestration Charts. COORDINATION (2008)
Irfan Hamid, Elie Najm
Real-time Connectors for Deterministic Data-flow. RTCSA (2007)
Irfan Hamid, Elie Najm, Jérôme Hugues
A Generative Approach to Building a Framework for Hard Real-Time Applications. SEW (2007)
Cyril Carrez, Alessandro Fantechi, Elie Najm
Assembling components with behavioural contracts. Ann. des Télécommunications 60 (7-8) (2005)
Cyril Carrez, Alessandro Fantechi, Elie Najm
Behavioural Contracts for a Sound Assembly of Components. FORTE (2003)
Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni
SPIN Model Checking: An Introduction. Int. J. Softw. Tools Technol. Transf. 2 (4) (2000)
Jean-Bernard Stefani, Florence Germain, Elie Najm
Elements of an object-based model for distributed and mobile computation. FMOODS (2000)
Stanislaw Budkowski, Elie Najm
Protocol engineering. Ann. des Télécommunications 55 (1-2) (2000)
Jean Claude Samou, Drissa Houatra, Philippe Godlewski, Elie Najm
IMT-2000 wireless terminal mobility over object-oriented distributed platforms. Comput. Networks 34 (5) (2000)
Stanislaw Budkowski, Elie Najm
Protocol engineering. Ann. des Télécommunications 54 (11-12) (1999)
Elie Najm, Abdelkrim Nimour
Explicit Behavioral Typing for Object Interfaces. ECOOP Workshops (1999)
Elie Najm, Frank Olsen, Sylvie Vignes
From SIBS to Distributed Objects: A Transformation Approach for Service Creation. SMARTNET (1999)
Elie Najm
Service Feature Interaction. SMARTNET (1999)
Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
Guaranteeing liveness in an object calculus through behavioural typing. FORTE (1999)
Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
Infinite types for distributed object interfaces. FMOODS (1999)
Christophe Logé, Elie Najm, Ken Chen
An ODP computational model of a cooperative binding object. Distributed Syst. Eng. 4 (4) (1997)
Joubine Dustzadeh, Elie Najm
Consistent Semantics for ODP Information and Computational Models. FORTE (1997)
Arnaud Février, Elie Najm, Jean-Bernard Stefani
Contracts for ODP. ARTS (1997)
Elie Najm, Frank Olsen
Protocol verification with reactive Promela/Rspin. The Spin Verification System (1996)
Tania R. Tronco Fidoli, Elie Najm
Exercise of TINA Concepts for a Video Broadcast Service over ATM Networks. TreDS (1996)
Elie Najm, Frank Olsen
Reactive EFSMs - Reactive Promela/RSPIN. TACAS (1996)
Elie Najm, Jean-Bernard Stefani
A Formal Semantics for the ODP Computational Model. Comput. Networks ISDN Syst. 27 (8) (1995)
Elie Najm, Jean-Bernard Stefani, Arnaud Février
Towards a Mobile LOTOS. FORTE (1995)
Tommaso Bolognesi, Elie Najm, Paul A. J. Tilanus
G-LOTOS: A Graphical Language for Concurrent Systems. Comput. Networks ISDN Syst. 26 (9) (1994)
Ole Christian Dahl, Elie Najm
Specification & Detection of IN Service Interference Using LOTOS. FORTE (1993)
Elie Najm, Jean-Bernard Stefani
Object-Based Concurrency: A Process Calculus Analysis. TAPSOFT, Vol.1 (1991)
Elie Najm, Jean-Bernard Stefani
Dynamic Configuration in LOTOS. FORTE (1991)
J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm
PIL: A Tool for Pre-implementation of LOTOS. FORTE (1990)
Elie Najm
A Verification Oriented Specification in LOTOS of the Transport Protocol. PSTV (1987)
Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso
General presentation of SCAN. A distributed systems modelling and validation tool. PSTV (1985)
Elie Najm
Verification of Distributed Systems Using Structured Communicating Agents Nets. PSTV (1984)
Stanislaw Budkowski, Elie Najm
Structured Finite State Automata - A new approach for modelling distributed communications systems. Protocol Specification, Testing, and Verification (1983)