Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Elie
Last name:	Najm
DBLP:	06/3468
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 31 of 31  

Select a publication
Show	Title	Venue	Rating	Date
	Irfan Hamid, Elie Najm. Operational Semantics of Ada Ravenscar.	Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings 2008	(0)	2008
	Alessandro Fantechi, Elie Najm. Session Types for Orchestration Charts.	Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings 2008	(0)	2008
	Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues. Automatic framework generation for hard real-time applications.	ISSE 2008, Volume 4	(0)	2008
	Irfan Hamid, Elie Najm. Real-time Connectors for Deterministic Data-flow.	13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 21-24 August 2007, Daegu, Korea 2007	(0)	2007
	Irfan Hamid, Elie Najm, Jérôme Hugues. A Generative Approach to Building a Framework for Hard Real-Time Applications.	31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA 2007	(0)	2007
	Cyril Carrez, Alessandro Fantechi, Elie Najm. Assembling components with behavioural contracts.	Annales des Télécommunications 2005, Volume 60	(0)	2005
	Cyril Carrez, Alessandro Fantechi, Elie Najm. Behavioural Contracts for a Sound Assembly of Components.	Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings 2003	(0)	2003
	Jean-Bernard Stefani, Florence Germain, Elie Najm. Elements of an object-based model for distributed and mobile computation.	Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA 2000	(0)	2000
	Jean Claude Samou, Drissa Houatra, Philippe Godlewski, Elie Najm. IMT-2000 wireless terminal mobility over object-oriented distributed platforms.	Computer Networks 2000, Volume 34	(0)	2000
	Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni. SPIN Model Checking: An Introduction.	STTT 1998, Volume 2	(0)	2000
	Elie Najm, Abdelkrim Nimour. Explicit Behavioral Typing for Object Interfaces.	Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings 1999	(0)	1999
	Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani. Infinite types for distributed object interfaces.	Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999	(0)	1999
	Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani. Guaranteeing liveness in an object calculus through behavioural typing.	Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specifica 1999	(0)	1999
	Elie Najm, Frank Olsen, Sylvie Vignes. From SIBS to Distributed Objects: A Transformation Approach for Service Creation.	Intelligence in Networks, IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Networks (SMARTNET '99), November 22-26, 1999, Pathumthani, Thailand 2000	(0)	1999
	Elie Najm. Service Feature Interaction.	Intelligence in Networks, IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Networks (SMARTNET '99), November 22-26, 1999, Pathumthani, Thailand 2000	(0)	1999
	Arnaud Février, Elie Najm, Jean-Bernard Stefani. Contracts for ODP.	Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings 1997	(0)	1997
	Joubine Dustzadeh, Elie Najm. Consistent Semantics for ODP Information and Computational Models.	Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Pr 1998	(0)	1997
	Christophe Logé, Elie Najm, Ken Chen. An ODP computational model of a cooperative binding object.	Distributed Systems Engineering 1997, Volume 4	(0)	1997
	Elie Najm, Frank Olsen. Reactive EFSMs - Reactive Promela/RSPIN.	Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings 1996	(0)	1996
	Tania R. Tronco Fidoli, Elie Najm. Exercise of TINA Concepts for a Video Broadcast Service over ATM Networks.	Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996, Proceedings 1996	(0)	1996
	Elie Najm, Jean-Bernard Stefani, Arnaud Février. Towards a Mobile LOTOS.	Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 1996	(0)	1995
	Elie Najm, Jean-Bernard Stefani. A Formal Semantics for the ODP Computational Model.	Computer Networks and ISDN Systems 1994, Volume 27	(0)	1995
	Tommaso Bolognesi, Elie Najm, Paul A. J. Tilanus. G-LOTOS: A Graphical Language for Concurrent Systems.	Computer Networks and ISDN Systems 1994, Volume 26	(0)	1994
	Ole Christian Dahl, Elie Najm. Specification Detection of IN Service Interference Using LOTOS.	Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993 1994	(0)	1993
	Elie Najm, Jean-Bernard Stefani. Dynamic Configuration in LOTOS.	Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 1992	(0)	1991
	Elie Najm, Jean-Bernard Stefani. Object-Based Concurrency: A Process Calculus Analysis.	TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91) 1991	(0)	1991
	J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm. PIL: A Tool for Pre-implementation of LOTOS.	Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990 1991	(0)	1990
	Elie Najm. A Verification Oriented Specification in LOTOS of the Transport Protocol.	Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987 1987	(0)	1987
	Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso. General presentation of SCAN. A distributed systems modelling and validation tool.	Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985 1985	(0)	1985
	Elie Najm. Verification of Distributed Systems Using Structured Communicating Agents Nets.	Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984 1985	(0)	1984
	Stanislaw Budkowski, Elie Najm. Structured Finite State Automata - A new approach for modelling distributed communications systems.	Protocol Specification, Testing, and Verification 1983	(0)	1983

Your query returned 31 matches in the database.