Elie Najm
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Known people with the same name:
Bibliography
2024
HKD-SHO: A hybrid smart home system based on knowledge-based and data-driven services.
CoRR, 2024
2022
Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services.
Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022
PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services.
Proceedings of the Database and Expert Systems Applications, 2022
2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
2016
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016
2013
J. Log. Algebraic Methods Program., 2013
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013
Proceedings of Principles, Systems and Applications on IP Telecommunications, 2013
2012
Proceedings of the Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, 2012
2011
Proceedings of the 5th International Conference on Principles, 2011
Proceedings of the iiWAS'2011, 2011
2010
Innov. Syst. Softw. Eng., 2010
2008
Innov. Syst. Softw. Eng., 2008
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
Proceedings of the Reliable Software Technologies, 2008
2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007
Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007
2005
2003
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
2000
Comput. Networks, 2000
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000
1999
Proceedings of the Intelligence in Networks, 1999
Guaranteeing liveness in an object calculus through behavioural typing.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999
Infinite types for distributed object interfaces.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Explicit Behavioral Typing for Object Interfaces.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
1997
Distributed Syst. Eng., 1997
Consistent Semantics for ODP Information and Computational Models.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997
Proceedings of the Transformation-Based Reactive Systems Development, 1997
1996
Proceedings of the Trends in Distributed Systems: CORBA and Beyond, 1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Proceedings of the Spin Verification System, 1996
1995
Comput. Networks ISDN Syst., 1995
Towards a Mobile LOTOS.
Proceedings of the Formal Description Techniques VIII, 1995
1994
Comput. Networks ISDN Syst., 1994
1993
Specification & Detection of IN Service Interference Using LOTOS.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993
1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Dynamic Configuration in LOTOS.
Proceedings of the Formal Description Techniques, 1991
1990
PIL: A Tool for Pre-implementation of LOTOS.
Proceedings of the Formal Description Techniques, 1990
1987
A Verification Oriented Specification in LOTOS of the Transport Protocol.
Proceedings of the Protocol Specification, 1987
1985
General presentation of SCAN. A distributed systems modelling and validation tool.
Proceedings of the Protocol Specification, 1985
1984
Verification of Distributed Systems Using Structured Communicating Agents Nets.
Proceedings of the Protocol Specification, 1984
1983
Structured Finite State Automata - A new approach for modelling distributed communications systems.
Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983