Khalil Drira
Orcid: 0000-0002-4770-1563
According to our database1,
Khalil Drira
authored at least 239 papers
between 1990 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Introduction to special issue on software architectures for smart and adaptive systems (SASAS).
Inf. Softw. Technol., May, 2023
Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications.
J. Syst. Softw., 2023
Unlocking the Power of Reinforcement Learning: Investigating Optimal Q-Learning Parameters for Routing in Flying Ad Hoc Networks.
Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023
Optimizing network slice placement using Deep Reinforcement Learning (DRL) on a real platform operated by Open Source MANO (OSM).
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023
2022
IEEE Trans. Netw. Serv. Manag., December, 2022
Coordination-Free Multi-Domain NFV Orchestration for Consistent VNF Forwarding Graph Reconfiguration.
IEEE Trans. Netw. Serv. Manag., December, 2022
Int. J. Commun. Networks Distributed Syst., 2022
A model transformation approach for multiscale modeling of software architectures applied to smart cities.
Concurr. Comput. Pract. Exp., 2022
A Survey on Distributed NFV Multi-Domain Orchestration from an Algorithmic Functional Perspective.
IEEE Commun. Mag., 2022
QoS-aware Network Self-management Architecture based on DRL and SDN for remote areas.
Proceedings of the 11th IEEE IFIP International Conference on Performance Evaluation and Modeling in Wireless and Wired Networks, 2022
Distributed deep reinforcement learning architecture for task offloading in autonomous IoT systems.
Proceedings of the 12th International Conference on the Internet of Things, 2022
Proceedings of the 5th Conference on Cloud and Internet of Things, 2022
2021
ACM Trans. Cyber Phys. Syst., 2021
VNF-based network service consistent reconfiguration in multi-domain federations: A distributed approach.
J. Netw. Comput. Appl., 2021
A Cost-Effective Approach for End-to-End QoS Management in NFV-Enabled IoT Platforms.
IEEE Internet Things J., 2021
Future Gener. Comput. Syst., 2021
A semantic-enabled and context-aware monitoring system for the internet of medical things.
Expert Syst. J. Knowl. Eng., 2021
A co-training-based approach for the hierarchical multi-label classification of research papers.
Expert Syst. J. Knowl. Eng., 2021
ACM Comput. Surv., 2021
Comput. Networks, 2021
Task Offloading in Autonomous IoT Systems using Deep Reinforcement Learning and ns3-gym.
Proceedings of the IoT '21: 11th International Conference on the Internet of Things, St. Gallen, Switzerland, November 8, 2021
Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021
Towards Consistent VNF Forwarding Graph Reconfiguration in Multi-domain Environments.
Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021
2020
Report of the 2nd International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2018).
ACM SIGSOFT Softw. Eng. Notes, 2020
EDR: A generic approach for the distribution of rule-based reasoning in a Cloud-Fog continuum.
Semantic Web, 2020
Concurr. Comput. Pract. Exp., 2020
Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2020
Proceedings of the 6th IEEE Conference on Network Softwarization, 2020
Proceedings of the 7th International Conference on Internet of Things: Systems, 2020
2019
An Autonomic Cognitive Pattern for Smart IoT-Based System Manageability: Application to Comorbidity Management.
ACM Trans. Internet Techn., 2019
Experimental comparison of the diagnostic capabilities of classification and clustering algorithms for the QoS management in an autonomic IoT platform.
Serv. Oriented Comput. Appl., 2019
Pervasive Mob. Comput., 2019
Int. J. Serv. Technol. Manag., 2019
Proceedings of the New Knowledge in Information Systems and Technologies, 2019
DOCKERANALYZER : Towards Fine Grained Resource Elasticity for Microservices-Based Applications Deployed with Docker.
Proceedings of the 20th International Conference on Parallel and Distributed Computing, 2019
Automating the Generation of Comparison Weights for Enhancing the AHP Decision-Making Process.
Proceedings of the Computational Science - ICCS 2019, 2019
2018
Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017).
ACM SIGSOFT Softw. Eng. Notes, 2018
Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017).
ACM SIGSOFT Softw. Eng. Notes, 2018
A performance analysis of Orchestra scheduling for time-slotted channel hopping networks.
Internet Technol. Lett., 2018
Int. J. Semantic Web Inf. Syst., 2018
AFIRM: Adaptive forwarding based link recovery for mobility support in NDN/IoT networks.
Future Gener. Comput. Syst., 2018
Comput. J., 2018
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018
A Distributed Scalable Approach for Rule Processing: Computing in the Fog for the SWoT.
Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018
Toward a Formal Multiscale Architectural Framework for Emerging Properties Analysis in Systems of Systems.
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018
Correctness by construction and style preserving reconfigurations of system of systems.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Towards Cooperative Semantic Computing: A Distributed Reasoning Approach for Fog-Enabled SWoT.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
Enhancing Middleware-based IoT Applications through Run-Time Pluggable QoS Management Mechanisms. Application to a oneM2M compliant IoT Middleware.
Proceedings of the 9th International Conference on Ambient Systems, 2018
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018
Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, 2018
2017
Wireless Sensor Network Based Smart Grid Communications: Challenges, Protocol Optimizations, and Validation Platforms.
Wirel. Pers. Commun., 2017
A Model-Driven Methodology for the Design of Autonomic and Cognitive IoT-Based Systems: Application to Healthcare.
IEEE Trans. Emerg. Top. Comput. Intell., 2017
An M2M gateway-centric architecture for autonomic healing and optimising of machine-to-machine overlay networks.
Int. J. Ad Hoc Ubiquitous Comput., 2017
Automated and flexible composition based on abstract services for a better adaptation to user intentions.
Future Gener. Comput. Syst., 2017
Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems.
Comput. Electr. Eng., 2017
Comput. Electr. Eng., 2017
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017
Proceedings of the IEEE International Conference on AI & Mobile Services, 2017
Proceedings of the Second Workshop on Semantic Web Technologies for the Internet of Things co-located with 16th International Semantic Web Conference (ISWC 2017), 2017
Multiscale and Multiobjective modelling: A perspective for mastering the design and operation complexity of IoT systems.
Proceedings of the 40th International Convention on Information and Communication Technology, 2017
Proceedings of the 9th International Conference on Management of Digital EcoSystems, 2017
Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture.
Proceedings of the Enterprise Information Systems - 19th International Conference, 2017
Feature Model based on Design Pattern for the Service Provider in the Service Oriented Architecture.
Proceedings of the ICEIS 2017, 2017
Proceedings of the 8th International Conference on Ambient Systems, 2017
Proceedings of the 8th International Conference on Ambient Systems, 2017
Proceedings of the 8th International Conference on Ambient Systems, 2017
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017
2016
Diameter-Constrained Overlays With Faulty Links: Equilibrium, Stability, and Upper Bounds.
IEEE Trans. Circuits Syst. II Express Briefs, 2016
Enhanced graph rewriting systems for complex software domains - Dynamic software architecture, non-functional requirements, and correctness by construction.
Softw. Syst. Model., 2016
J. Syst. Softw., 2016
A GPS-less Framework for Localization and Coverage Maintenance in Wireless Sensor Networks.
KSII Trans. Internet Inf. Syst., 2016
Int. J. Auton. Adapt. Commun. Syst., 2016
Int. J. Auton. Adapt. Commun. Syst., 2016
A collaborative methodology for tacit knowledge management: Application to scientific research.
Future Gener. Comput. Syst., 2016
Electron. Notes Discret. Math., 2016
Concurr. Comput. Pract. Exp., 2016
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016
Autonomy Through Knowledge: How IoT-O Supports the Management of a Connected Apartment.
Proceedings of the Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 17th - to, 2016
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Holistic link quality estimation-based routing metric for RPL networks in smart grids.
Proceedings of the 27th IEEE Annual International Symposium on Personal, 2016
Rôle d'une base de connaissance dans SemIoTics, un système autonome contrôlant un appartement connecté.
Proceedings of the IC 2016 : 27es Journées francophones d'Ingénierie des Connaissances (Proceedings of the 27th French Knowledge Engineering Conference), 2016
Proceedings of the Knowledge Engineering and Knowledge Management, 2016
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016
2015
A Semantic Big Data Platform for Integrating Heterogeneous Wearable Data in Healthcare.
J. Medical Syst., 2015
J. Comput. Syst. Sci., 2015
Int. J. Cloud Comput., 2015
Int. J. Auton. Adapt. Commun. Syst., 2015
Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems.
Future Gener. Comput. Syst., 2015
ERCIM News, 2015
International conference on enabling technologies: Infrastructure for collaborative enterprises (WETICE).
Concurr. Comput. Pract. Exp., 2015
Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the 40th IEEE Conference on Local Computer Networks, 2015
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015
3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2015
An efficient resource naming for enabling constrained devices in SmartM2M architecture.
Proceedings of the IEEE International Conference on Industrial Technology, 2015
Proceedings of the ICEIS 2015, 2015
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015
2014
A Dynamic Random Graph Model for Diameter-Constrained Topologies in Networked Systems.
IEEE Trans. Circuits Syst. II Express Briefs, 2014
A context and application-aware framework for resource management in dynamic collaborative wireless M2M networks.
J. Netw. Comput. Appl., 2014
Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014).
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
Proceedings of the 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, 2014
Proceedings of the e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31, 2014
An integrated framework for localization and coverage maintenance in wireless sensor networks.
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2014
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014
Proceedings of the 5th International Conference on Ambient Systems, 2014
Proceedings of the 5th International Conference on Ambient Systems, 2014
Proceedings of the 5th International Conference on Ambient Systems, 2014
Proceedings of the 5th International Conference on Ambient Systems, 2014
OM2M: Extensible ETSI-compliant M2M Service Platform with Self-configuration Capability.
Proceedings of the 5th International Conference on Ambient Systems, 2014
Proceedings of the 5th International Conference on Ambient Systems, 2014
Proceedings of the Web Services Foundations, 2014
2013
IEICE Trans. Inf. Syst., 2013
Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems.
Concurr. Comput. Pract. Exp., 2013
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013
Semantic Matching to Achieve Software Component Discovery and Composition.
Proceedings of the WEBIST 2013, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
A model driven methodology for enabling autonomic reconfiguration of service oriented architecture.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 2013
Proceedings of the ICEIS 2013, 2013
Proceedings of the 10th International Conference on Autonomic Computing, 2013
Proceedings of the Graph-Based Representations in Pattern Recognition, 2013
Proceedings of the 4th International Conference on Ambient Systems, 2013
New Strategies and Extensions in Weighted Clustering Algorithms for Mobile Ad Hoc Networks.
Proceedings of the 4th International Conference on Ambient Systems, 2013
Proceedings of the 4th International Conference on Ambient Systems, 2013
Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013
2012
FADYRCOS, a semantic interoperability framework for collaborative model-based dynamic reconfiguration of networked services.
Comput. Ind., 2012
The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012
Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012
Autonomic framework based on semantic models for self-management of ubiquitous systems.
Proceedings of the 2012 ACM Conference on Ubiquitous Computing, 2012
2011
Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures Track Report - AROSA 2011.
Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011
Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011
Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011
2010
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration.
J. Syst. Softw., 2010
ODACE SLA: Ontology Driven Approach for Automatic Establishment of Service Level Agreements.
Int. J. Syst. Serv. Oriented Eng., 2010
A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars.
Int. J. Auton. Comput., 2010
A large-scale monitoring and measurement campaign for web services-based applications.
Concurr. Comput. Pract. Exp., 2010
A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures.
Proceedings of the Business System Management and Engineering, 2010
A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications.
Proceedings of the Software Engineering Research, 2010
Proceedings of the Sixth International Conference on Autonomic and Autonomous Systems, 2010
Proceedings of the Software Architecture, 4th European Conference, 2010
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010
Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010
2009
A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009
Experiments results and large scale measurement data for web services performance assessment.
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009
An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures.
Proceedings of the Fundamentals of Software Engineering, 2009
2008
An experimental evaluation of SEC+, an enhanced search engine for component-based software development.
ACM SIGSOFT Softw. Eng. Notes, 2008
Context-aware adaptation for group communication support applications with dynamic architecture
CoRR, 2008
A framework of models for QoS-oriented adaptive deployment of multi-layer communication services in group cooperative activities.
Comput. Commun., 2008
Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism.
Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008
Towards modelling and analysis of a coordination protocol for dynamic software adaptation.
Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008
Proceedings of the Wireless and Mobile Networking, IFIP Joint Conference on Mobile and Wireless Communications Networks (MWCN'2008) and Personal Wireless Communications (PWC'2008), Toulouse, France, September 30, 2008
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008
Graphical Representations of Message Exchanges into Web Service-Based Applications.
Proceedings of the ICEIS 2008, 2008
A Framework for Monitoring and Runtime Recovery of Web Service-Based Applications.
Proceedings of the ICEIS 2008, 2008
Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008
Proceedings of the Business Process Management Workshops, 2008
A UML rule-based approach for describing and checking dynamic software architectures.
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008
2007
ACM SIGSOFT Softw. Eng. Notes, 2007
Interact. Technol. Smart Educ., 2007
A Framework for the Dynamic Configuration of Adaptive Transport Protocols: Application to QoS Requirements.
Proceedings of the WINSYS 2007, 2007
A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties.
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007
Modeling Architectural Level Repair in Web Services.
Proceedings of the WEBIST 2007, 2007
Proceedings of the 2007 International Conference on Multimedia and Ubiquitous Engineering (MUE 2007), 2007
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007
Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles.
Proceedings of the Software Architecture, First European Conference, 2007
2006
Towards Autonomous Management of QoS through Model-Driven Adaptability in Communication-Centric Systems.
Int. Trans. Syst. Sci. Appl., 2006
Using graph grammars for interaction style description: applications for service-oriented architectures.
Comput. Syst. Sci. Eng., 2006
Proceedings of the Trends in Enterprise Application Architecture, 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
A model-based coordinated adaptability framework for QoS management in cooperative mobile and wireless applications.
Proceedings of the 9th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2006
Architecture Transformation and Refinement for Model-Driven Adaptability Management: Application to QoS Provisioning in Group Communication.
Proceedings of the Software Architecture, Third European Workshop, 2006
Maintien de la cohérence des intentions de communication dans la rédaction coopérative.
Proceedings of the CIDE.9: 9<sup>e</sup> Colloque International sur le Document Électronique, 2006
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006
2005
Graphical simulation of the dynamic evolution of the software architectures specified in Z.
Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 2005
Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005
Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005
Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures.
Proceedings of the ICEIS 2005, 2005
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005
Proceedings of the Component-Oriented Enterprise Applications, 2005
Contribution à la conception des architectures logicielles et des protocoles de coordination pour les systèmes distribués coopératifs.
, 2005
2004
Proceedings of the Advanced Distributed Systems: Third International School and Symposium, 2004
The Internal-Local-Remote Dependency Model for Generic Coordination in Distributed Collaboration Sessions.
Proceedings of the Advanced Distributed Systems: Third International School and Symposium, 2004
Proceedings of the Virtual Enterprises and Collaborative Networks, IFIP 18th World Computer Congress, TC5 / WG5.5, 2004
Proceedings of the Artificial Intelligence Applications and Innovations, 2004
Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z.
Proceedings of the IEEE/ACS International Conference on Pervasive Services (ICPS'04), 2004
Abstract Channels as Connectors for Software Components in Group Communication Services.
Proceedings of the 5th Mexican International Conference on Computer Science (ENC 2004), 2004
2003
Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003
2002
Formal design and development of a Corba-based application for cooperative HTML group editing support.
J. Syst. Softw., 2002
A multi-modal coordination service model for cooperative distributed systems engineering.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002
A design framework for collaborative authoring environments applied to Web using SEdit.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002
Managing Dependencies in Dynamic Collaborations using Coordination Diagrams.
Proceedings of the Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, 2002
2001
Interact. Learn. Environ., 2001
An integrated approach to coordination description in distributed multimedia applications.
Integr. Comput. Aided Eng., 2001
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001
Services, Methodologies and Platforms for Cooperative Environments.
Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001
Causal Broadcast Protocol for Very Large Group Communication Systems.
Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001
Proceedings of the Cooperative Environments for Distributed Systems Engineering, 2001
Proceedings of the Cooperative Environments for Distributed Systems Engineering, 2001
2000
A Reference Design Model for Group Communication Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Proceedings of the 26th EUROMICRO 2000 Conference, 2000
1999
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999
Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
1995
Quantified reduced views of state graphs using Markovian and timed observational equivalence.
Proceedings of the Protocol Specification, 1995
On the definition and representation of the quality of service for multimedia systems.
Proceedings of the High Performance Networking VI, 1995
1994
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994
1993
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
The Refusal Graph: a Tradeoff between Verification and Test.
Proceedings of the Protocol Test Systems, 1993
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework.
Proceedings of the Protocol Specification, 1993
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993
Verifying Communication Protocols Via Testing-Projection.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
1992
Characterizing and Ordering Errors Detected by Conformance Testing.
Proceedings of the Protocol Test Systems, V, 1992
1990
A Bus Instrumentation Protocol Specified in LOTOS.
Proceedings of the Formal Description Techniques, 1990