Elie Najm - RankMe

52 papers A 1B 1C 14Misc 1Journal 13Unranked 20

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	HKD-SHO: A hybrid smart home system based on knowledge-based and data-driven services. CoRR Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson
2022	—	`conf`	PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services. DEXA (2) Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson
2022	J	`jnl`	PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services. CoRR Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson
2022	C	`conf`	Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services. ICMLA Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson
2019	—	`conf`	From Behavioural Contracts to Session Types. Models, Languages, and Tools for Concurrent and Distributed Programming Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani
2018	C	`conf`	Defining Services and Service Orchestrators Acting on Shared Sensors and Actuators. MODELSWARD Rayhana Baghli, Elie Najm, Bruno Traverson
2016	—	`conf`	Towards a Multi-Leveled Architecture for the Internet of Things. EDOC Workshops Rayhana Baghli, Elie Najm, Bruno Traverson
2013	—	`conf`	An open-source platform for converged services. IPTComm Jonathan Michaux, Emmanuel Buu, Jiri Hlavacek, Elie Najm
2013	—	`conf`	Safe Session-Based Service Orchestration with Unreliable Communication. WS-FM Jonathan Michaux, Elie Najm, Alessandro Fantechi
2013	J	`jnl`	Session types for safe Web service orchestration. J. Log. Algebraic Methods Program. Jonathan Michaux, Elie Najm, Alessandro Fantechi
2012	—	`conf`	Adding Sessions to BPEL WWV Jonathan Michaux, Elie Najm, Alessandro Fantechi
2011	C	`conf`	Architecting end-to-end convergence of web and Telco services. iiWAS Gerard Nicolas, Karim Sbata, Elie Najm
2011	—	`conf`	Websocket enabler: achieving IMS and web services end-to-end convergence. IPTComm Gerard Nicolas, Karim Sbata, Elie Najm
2010	J	`jnl`	Introduction to special issue: papers from UML&FM'2009. Innov. Syst. Softw. Eng. Isabelle Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, Elie Najm
2008	J	`jnl`	Automatic framework generation for hard real-time applications. Innov. Syst. Softw. Eng. Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues
2008	Misc	`conf`	Operational Semantics of Ada Ravenscar. Ada-Europe Irfan Hamid, Elie Najm
2008	C	`conf`	Session Types for Orchestration Charts. COORDINATION Alessandro Fantechi, Elie Najm
2007	C	`conf`	A Generative Approach to Building a Framework for Hard Real-Time Applications. SEW Irfan Hamid, Elie Najm, Jérôme Hugues
2007	B	`conf`	Real-time Connectors for Deterministic Data-flow. RTCSA Irfan Hamid, Elie Najm
2007	—	`ed.`	SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings SDL Forum Emmanuel Gaudin, Elie Najm, Rick Reed
2006	C	`ed.`	Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. FORTE Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge
2005	J	`jnl`	Assembling components with behavioural contracts. Ann. des Télécommunications Cyril Carrez, Alessandro Fantechi, Elie Najm
2003	C	`conf`	Behavioural Contracts for a Sound Assembly of Components. FORTE Cyril Carrez, Alessandro Fantechi, Elie Najm
2003	—	`ed.`	Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings FMOODS Elie Najm, Uwe Nestmann, Perdita Stevens
2000	—	`conf`	Elements of an object-based model for distributed and mobile computation. FMOODS Jean-Bernard Stefani, Florence Germain, Elie Najm
2000	J	`jnl`	IMT-2000 wireless terminal mobility over object-oriented distributed platforms. Comput. Networks Jean Claude Samou, Drissa Houatra, Philippe Godlewski, Elie Najm
2000	J	`jnl`	Protocol engineering. Ann. des Télécommunications Stanislaw Budkowski, Elie Najm
2000	J	`jnl`	SPIN Model Checking: An Introduction. Int. J. Softw. Tools Technol. Transf. Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni
1999	—	`conf`	Explicit Behavioral Typing for Object Interfaces. ECOOP Workshops Elie Najm, Abdelkrim Nimour
1999	—	`conf`	From SIBS to Distributed Objects: A Transformation Approach for Service Creation. SMARTNET Elie Najm, Frank Olsen, Sylvie Vignes
1999	C	`conf`	Guaranteeing liveness in an object calculus through behavioural typing. FORTE Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
1999	—	`conf`	Infinite types for distributed object interfaces. FMOODS Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
1999	J	`jnl`	Protocol engineering. Ann. des Télécommunications Stanislaw Budkowski, Elie Najm
1999	—	`conf`	Service Feature Interaction. SMARTNET Elie Najm
1998	C	`ed.`	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 FORTE Stanislaw Budkowski, Ana R. Cavalli, Elie Najm
1997	J	`jnl`	An ODP computational model of a cooperative binding object. Distributed Syst. Eng. Christophe Logé, Elie Najm, Ken Chen
1997	C	`conf`	Consistent Semantics for ODP Information and Computational Models. FORTE Joubine Dustzadeh, Elie Najm
1997	—	`conf`	Contracts for ODP. ARTS Arnaud Février, Elie Najm, Jean-Bernard Stefani
1996	—	`conf`	Exercise of TINA Concepts for a Video Broadcast Service over ATM Networks. TreDS Tania R. Tronco Fidoli, Elie Najm
1996	—	`conf`	Protocol verification with reactive Promela/Rspin. The Spin Verification System Elie Najm, Frank Olsen
1996	A	`conf`	Reactive EFSMs - Reactive Promela/RSPIN. TACAS Elie Najm, Frank Olsen
1995	J	`jnl`	A Formal Semantics for the ODP Computational Model. Comput. Networks ISDN Syst. Elie Najm, Jean-Bernard Stefani
1995	C	`conf`	Towards a Mobile LOTOS. FORTE Elie Najm, Jean-Bernard Stefani, Arnaud Février
1994	J	`jnl`	G-LOTOS: A Graphical Language for Concurrent Systems. Comput. Networks ISDN Syst. Tommaso Bolognesi, Elie Najm, Paul A. J. Tilanus
1993	C	`conf`	Specification & Detection of IN Service Interference Using LOTOS. FORTE Ole Christian Dahl, Elie Najm
1991	C	`conf`	Dynamic Configuration in LOTOS. FORTE Elie Najm, Jean-Bernard Stefani
1991	—	`conf`	Object-Based Concurrency: A Process Calculus Analysis. TAPSOFT, Vol.1 Elie Najm, Jean-Bernard Stefani
1990	C	`conf`	PIL: A Tool for Pre-implementation of LOTOS. FORTE J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm
1987	—	`conf`	A Verification Oriented Specification in LOTOS of the Transport Protocol. PSTV Elie Najm
1985	—	`conf`	General presentation of SCAN. A distributed systems modelling and validation tool. PSTV Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso
1984	—	`conf`	Verification of Distributed Systems Using Structured Communicating Agents Nets. PSTV Elie Najm
1983	—	`conf`	Structured Finite State Automata - A new approach for modelling distributed communications systems. Protocol Specification, Testing, and Verification Stanislaw Budkowski, Elie Najm