2013

titre

Composing Distributed Systems: Overcoming the Interoperability Challenge

auteur

Valérie Issarny, Amel Bennaceur

article

de Boer, F. and Bonsangue, M. and Giachino, E. and Hähnle, R. FMCO 2012, Springer, pp.168-196, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-40615-7_6⟩

Accès au texte intégral et bibtex

titre

Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning

auteur

Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson

article

SEFM - 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Madrid, Spain

Accès au texte intégral et bibtex

titre

Deliverable D6.4: Assessment report: Experimenting with CONNECT in Systems of Systems, and Mobile Environments

auteur

Emil - Mircea Andriescu, Amel Bennaceur, Antonia Bertolino, Antonello Calabrò, Paul Grace, Malte Isberner, Antoine Léger, Maik Merten, Youssouf Mhoma, Pierre Châtel, Charles Morisset, Animesh Pathak, Pierre-Guillaume Raverdy, Rachid Saadi, Roberto Speicys Cardoso, Daniel Sykes

article

[Research Report] 2013

Accès au texte intégral et bibtex

2012

titre

Dynamic connector synthesis: revised prototype implementation

auteur

Amel Bennaceur, Luca Cavallaro, Paola Inverardi, Valerie Issarny, Romina Spalazzese, Daniel Sykes, Massimo Tivoli

article

[Research Report] 2012, pp.81

Accès au texte intégral et bibtex

titre

Achieving Interoperability through Semantics-based Technologies: The Instant Messaging Case

auteur

Amel Bennaceur, Valérie Issarny, Romina Spalazzese, Shashank Tyagi

article

ISWC 2012 - 11th International Semantic Web Conference, Nov 2012, Boston, United States

Accès au texte intégral et bibtex

titre

Consolidated dependability framework

auteur

Antonia Bertolino, Antonello Calabro, Silvano Chiaradonna, Gabriele Costa, Felicita Di Giandomenico, Antinisca Di Marco, Mario Fusani, Valerie Issarny, Massimiliano Itria, Francesca Lonetti, Marta Kwiatkowska, Eda Marchetti, Fabio Martinelli, Paolo Masci, Ilaria Matteucci, Charles Morisset, Nicola Nostro, Hongyang Qu, Rachid Saadi, Anna Vaccarelli, Luca Wiegand

article

[Research Report] 2012, pp.116

Accès au texte intégral et bibtex

titre

Revised CONNECT Architecture

auteur

Emil Andriescu, Amel Bennaceur, Gordon S. Blair, Antonello Calabro, Roberto Speicys Cardoso, Luca Cavallaro, Nikolaos Georgantas, Paul Grace, Valerie Issarny, Yun Ma, Maik Merten, Nicola Nostro, Vatsala Nundloll, Pierre Guillaume Raverdy, Rachid Saadi, Daniel Sykes

article

[Research Report] 2012, pp.121

Accès au texte intégral et bibtex

titre

Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment

auteur

Emil Andriescu, Amel Bennaceur, Paola Inverardi, Valerie Issarny, Romina Spalazzese, Roberto Speicys-Cardoso

article

[Research Report] 2012

Accès au texte intégral et bibtex

titre

Project Final Report Use and Dissemination of Foreground

auteur

Emmanuelle Grousset, Valérie Issarny, Antonia Bertolino, Daniela Mulas, Illaria Matteucci, Paul Grace, Gordon Blair, Youssouf Mhoma, Massimo Tivoli, Maik Merten, Bernhard Steffen, Hongyang Qu, Marta Kwiatkowska, Bengt Jonson, Sofia Cassel, Yun Ma., Pierre Guillaume Raverdy (ambientic)

article

[Research Report] 2012

Accès au texte intégral et bibtex

titre

Experiment scenarios, prototypes and report - Iteration 2

auteur

Emil Andriescu, Amel Bennaceur, Antonia Bertolino, Paul Grace, Trân Huynh, Marta Kwiatkowska, Bengt Jonsson, Antoine Léger, Animesh Pathak, Pierre-Guillaume Raverdy, Rachid Saadi, Roberto Speicys-Cardoso, Daniel Sykes, Massimo Tivoli

article

[Research Report] 2012, pp.117

Accès au texte intégral et bibtex

titre

Project Final Report Final Publishable Summary Report

auteur

Emmanuelle Grousset, Valérie Issarny, Amel Bennaceur, Antonia Bertolino, Daniela Mulas, Illaria Matteucci, Paul Grace, Gordon Blair, Youssouf Mhoma, Paola Inverardi, Romina Spalazzese, Massimo Tivoli, Maik Merten, Bernhard Steffen, Hongyang Qu, Marta Kwiatkowska, Bengt Jonson, Sofia Cassel, Yun Ma, Pierre Guillaume Raverdy, Roberto Speicys-Cardoso, Emil Andriescu

article

[Research Report] 2012

Accès au texte intégral et bibtex

titre

The Role of Models@run.time in Supporting On-the-fly Interoperability

auteur

Nelly Bencomo, Amel Bennaceur, Paul Grace, Gordon Blair, Valérie Issarny

article

Computing, 2012

Accès au texte intégral et bibtex

titre

Emergent Middleware

auteur

Paul Grace, Gordon Blair, Valérie Issarny

article

ERCIM News, 2012, 2012 (88), pp.27-28

Accès au texte intégral et bibtex

titre

Satisfying Requirements for Pervasive Service Compositions

auteur

Luca Cavallaro, Pete Sawyer, Daniel Sykes, Nelly Bencomo, Valérie Issarny

article

7th International Workshop on Models@run.time (MRT 2012), Oct 2012, Innsbruck, Austria

Accès au texte intégral et bibtex

titre

Machine Learning for Emergent Middleware

auteur

Amel Bennaceur, Valérie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Johansson Richard, Moschitti Alessandro

article

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Aug 2012, Montpellier, France. pp.16-29, ⟨10.1007/978-3-642-45260-4_2⟩

Accès au texte intégral et bibtex

titre

Automated Synthesis of CONNECTors to support Software Evolution

auteur

Amel Bennaceur, Paola Inverardi, Valérie Issarny, Romina Spalazzese

article

2012

Accès au texte intégral et bibtex

titre

How the Web of Things Challenges Requirements Engineering

auteur

Pete Sawyer, Animesh Pathak, Nelly Bencomo, Valerie Issarny

article

3rd Workshop on The Web and Requirements Engineering at 12th International Conference on Web Engineering ICWE 20102, Jul 2012, Berlin, Germany

Accès au bibtex

titre

Final CONNECT Architecture

auteur

Emil-Mircea Andriescu, Amel Bennaceur, Gordon S. Blair, Antonello Calabro, Paul Grace, Gang Huang, Valerie Issarny, Massimiliano Itria, Yun Ma, Charles Morisset, Vatsala Nundloll, Pierre-Guillaume Raverdy, Rachid Saadi, Roberto Speicys Cardoso, Daniel Sykes

article

[Research Report] 2012

Accès au texte intégral et bibtex

titre

Finalised dependability framework and evaluation results

auteur

Antonia Bertolino, Antonello Calabro, Silvano Chiaradonna, Felicita Di Giandomenico, Antinisca Di Marco, Valerie Issarny, Massimiliano Itria, Francesca Lonetti, Marta Kwiatkowska, Fabio Martinelli, Ilaria Matteucci, Charles Morisset, Nicola Nostro, Hongyang Qu, Alberto Ribolini, Anna Vaccarelli

article

[Research Report] 2012

Accès au texte intégral et bibtex

2011

titre

Run-time Resolution of Uncertainty

auteur

Nelly Bencomo

article

International Requirements Engineering Conference,, RE 2011, Aug 2011, Trento, Italy

Accès au texte intégral et bibtex

titre

Composing Trust Models towards Interoperable Trust Management

auteur

Rachid Saadi, Mohammad Ashiqur Rahaman,, Valérie Issarny, Alessandra Toninelli

article

5th International Conference on Trust Management (TM), Jun 2011, Copenhagen, Denmark. pp.51-66, ⟨10.1007/978-3-642-22200-9_7⟩

Accès au texte intégral et bibtex

titre

Experiment scenarios, prototypes and report - Iteration 1

auteur

Massimo Paolucci, Bertrand Souville, Rachid Saadi, Gordon S. Blair, Paul Grace, Trân Huynh, Pierre Châtel

article

[Research Report] 2011

Accès au texte intégral et bibtex

titre

Proximity-Based Trust Inference for Mobile Social Networking

auteur

Amir Seyedi, Rachid Saadi, Valérie Issarny

article

Trust Management V, Jun 2011, Copenhagen, Denmark. pp.253-264, ⟨10.1007/978-3-642-22200-9_20⟩

Accès au texte intégral et bibtex

titre

Reasoning about and Harmonizing the Interaction Behavior of Networked Systems at Application- and Middleware- Layer

auteur

Amel Bennaceur, Franck Chauvel, Paola Inverardi, Valerie Issarny, Ilaria Matteucci, Fabio Martinelli, Romina Spalazzese, Massimo Tivoli

article

[Research Report] 2011

Accès au texte intégral et bibtex

titre

Intermediate CONNECT Architecture

auteur

Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Nikolaos Georgantas, Paul Grace, Valérie Issarny, Vatsala Nundloll, Massimo Paolucci, Rachid Saadi, Daniel Sykes

article

[Research Report] 2011

Accès au texte intégral et bibtex

titre

The CONNECT Architecture

auteur

Paul Grace, Nikolaos Georgantas, Amel Bennaceur, Gordon Blair, Franck Chauvel, Valérie Issarny, Massimo Paolucci, Rachid Saadi, Bertrand Souville, Daniel Sykes

article

Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 6659, Springer, pp.27-52, 2011, Lecture notes in computer science, 978-3-642-21454-7. ⟨10.1007/978-3-642-21455-4⟩

Accès au texte intégral et bibtex

titre

Security and Trust

auteur

Gabriele Costa, Fabio Martinelli, Valérie Issarny, Rachid Saadi, Ilaria Matteucci

article

SFM'11 - 11 th International School on Formal Methods for the Design of Computer, Communication and Software, Jun 2011, Bertinoro, Italy. pp.393-416

Accès au bibtex

titre

Middleware-layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability

auteur

Valérie Issarny, Amel Bennaceur, Yérom-David Bromberg

article

Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 6659, Springer, pp.217-255, 2011, Lecture notes in computer science, 978-3-642-21454-7. ⟨10.1007/978-3-642-21455-4⟩

Accès au texte intégral et bibtex

titre

Inferring Affordances Using Learning Techniques

auteur

Amel Bennaceur, Johansson Richard, Moschitti Alessandro, Spalazzese Romina, Daniel Sykes, Rachid Saadi, Valérie Issarny

article

International Workshop on Eternal Systems (EternalS'11), May 2011, Budapest, Hungary. ⟨10.1007/978-3-642-28033-7_7⟩

Accès au texte intégral et bibtex

titre

Automatic Service Categorisation through Machine Learning in Emergent Middleware

auteur

Amel Bennaceur, Valérie Issarny, Johansson Richard, Moschitti Alessandro, Spalazzese Romina, Daniel Sykes

article

FMCO 2011 - 10th International Symposium on Formal Methods for Components and Objects, Oct 2011, Turin, Italy. pp.133-149, ⟨10.1007/978-3-642-35887-6_7⟩

Accès au texte intégral et bibtex

titre

Design of Approaches for Dependability and Initial Prototypes

auteur

Antonia Bertolino, Antonello Calabro, Silvano Chiaradonna, Gabriele Costa, Felicita Di Giandomenico, Antinisca Di Marco, Mario Fusani, Fabrizio Grandoni, Valerie Issarny, Marta Kwiatkowska, Eda Marcheti, Fabio Martinelli, Marco Martinucci, Paolo Masci, Ilaria Matteucci, Hongyang Qu, Rachid Saadi, Antonino Sabetta, Anna Vaccarelli

article

[Research Report] 2011

Accès au texte intégral et bibtex

titre

The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems

auteur

Gordon Blair, Amel Bennaceur, Nikolaos Georgantas, Paul Grace, Valérie Issarny, Vatsala Nundloll, Massimo Paolucci

article

12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.410-430, ⟨10.1007/978-3-642-25821-3_21⟩

Accès au texte intégral et bibtex

titre

Tracing Requirements for Adaptive Systems using Claims

auteur

Nelly Bencomo

article

6th International Workshop on Traceability in Emerging Forms of Software Engineering, May 2011, Honolulu, United States. ⟨10.1145/1987856.1987865⟩

Accès au texte intégral et bibtex

titre

AmbiStream: A Middleware for Multimedia Streaming on Heterogeneous Mobile Devices

auteur

Emil - Mircea Andriescu, Roberto Speicys Cardoso, Valérie Issarny

article

12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.249-268, ⟨10.1007/978-3-642-25821-3_13⟩

Accès au texte intégral et bibtex

titre

Interoperability in Complex Distributed Systems

auteur

Gordon Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas

article

Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, Springer, 2011

Accès au texte intégral et bibtex

2010

titre

Experiment Scenarios

auteur

Massimo Paolucci, Bertrand Souville, Gordon Blair, Paul Grace, Trân Huynh, Guillaume Tuloup, Hugues Vincent, Antoine Léger, Animesh Pathak, Nikolaos Georgantas, Valérie Issarny, Amel Bennaceur, Rachid Saadi, Romina Spallazzese, Massimo Tivoli, Patrizio Pelliccione

article

[Research Report] 2010

Accès au texte intégral et bibtex

titre

On-the-fly Interoperability through Automated Mediator Synthesis and Monitoring?

auteur

Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese

article

ISoLA 2010 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2010, Heraclion, Greece

Accès au texte intégral et bibtex

titre

Initial CONNECT Architecture

auteur

Antonia Bertolino, Gordon Blair, Franck Chauvel, Carlos Flores Cortes, Nikolaos Georgantas, Paul Grace, Falk Howar, Tran Huyn, Bengt Jonsson, Massimo Paolucci, Animesh Pathak, Bertrand Souville, Massimo Tivoli

article

[Technical Report] 2010

Accès au texte intégral et bibtex

titre

Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach

auteur

Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta, Fabio Martinelli, Ilaria Matteucci, Antinisca Di Marco, Valérie Issarny, Rachid Saadi

article

SERENE 2010 - 2nd International Workshop on Software Engineering for Resilient Systems, ERCIM, Apr 2010, London, United Kingdom

Accès au texte intégral et bibtex

titre

A Theory of Mediators for Eternal Connectors

auteur

Paola Inverardi, Valérie Issarny, Romina Spalazzese

article

ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2010, Crete, Greece. pp.236-250

Accès au texte intégral et bibtex

titre

Modeling of application- and middleware-layer interaction protocols

auteur

Amel Bennaceur, Antonia Bertolino, Paul Grace, Paola Inverardi, Valérie Issarny, Massimo Tivoli

article

[Technical Report] 2010

Accès au texte intégral et bibtex

titre

Capturing functional and non-functional connector

auteur

Marco Autili, Chris Chilton, Felicita Di Giandomenico, Paola Inverardi, Bengt Jonsson, Marta Kwiatkowska, Ilaria Matteucci, Hongyang Qu, Antonino Sabetta, Massimo Tivoli

article

[Technical Report] 2010

Accès au texte intégral et bibtex

titre

Towards an architecture for runtime interoperability

auteur

Amel Bennaceur, Gordon Blair, Franck Chauvel, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valérie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, B. Steffen, Bertrand Souville, Huang Gang

article

ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2010, Crete, Greece. pp.206-220

Accès au texte intégral et bibtex

titre

Security-by-Contract-with-Trust for Mobile Devices

auteur

Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Valérie Issarny, Rachid Saadi, Nicola Dragoni, Fabio Massacci

article

Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 2010, 1 (4), pp.75-91

Accès au texte intégral et bibtex

titre

Revisiting the Middleware Paradigm: On-the-fly Interoperability in Highly Complex Distributed Systems

auteur

Amel Bennaceur, Gordon Blair, Nikolaos Georgantas, Paul Grace, Paola Inverardi, Valérie Issarny, Animesh Pathak, Rachid Saadi, Romina Spalazzese

article

[Research Report] 2010

Accès au texte intégral et bibtex

titre

Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World

auteur

Antonia Bertolino, Silvano Chiaradonna, Gabriele Costa, Felicita Di Giandomenico, Antinisca Di Marco, Paul Grace, Valérie Issarny, Marta Kwiatkowska, Fabio Martinelli, Paolo Masci, Ilaria Matteucci, Hongyang Qu, Mark Rouncefield, Rachid Saadi, Antonino Sabetta, Romina Spalazzese, Francois Taiani

article

[Technical Report] 2010

Accès au texte intégral et bibtex

2009

titre

Supporting Heterogeneity in Data Driven Sensor Network Macroprogramming

auteur

Mahanth K. Gowda, Animesh Pathak

article

Second student research symposium on High Performance Computing (HPC 2009), Dec 2009, Kochi, India

Accès au texte intégral et bibtex

titre

Srijan: a graphical toolkit for sensor network macroprogramming

auteur

Animesh Pathak, Mahanth K. Gowda

article

7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, Aug 2009, Amsterdam, Netherlands. pp.301-302, ⟨10.1145/1595696.1595752⟩

Accès au texte intégral et bibtex

titre

Towards a Formalization of Mediating Connectors for on the Fly Interoperability

auteur

Romina Spalazzese, Paola Inverardi, Valérie Issarny

article

Joint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture 2009, Sep 2009, Cambridge, United Kingdom

Accès au texte intégral et bibtex

titre

CONNECT: Emergent Connectors for Eternal Software Intensive Networked Systems

auteur

Valérie Issarny, Consortium Connect

article

FET'09 - The European Future Technologies Conference and Exhibition, European Commission, Apr 2009, Prague, Czech Republic

Accès au texte intégral et bibtex

titre

Service Substitution Revisited

auteur

Dionysis Athanasopoulos, Apostolos Zarras, Valérie Issarny

article

24th IEEE/ACM International Conference on Automated Software Engineering - ASE 2009, IEEE/ACM, Nov 2009, Auckland, New Zealand

Accès au texte intégral et bibtex

titre

A Formalization of Mediating Connectors: Towards on the fly Interoperability

auteur

Romina Spalazzese, Paola Inverardi, Valérie Issarny

article

2009

Accès au texte intégral et bibtex

titre

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems

auteur

Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon Blair, Paul Grace, Marta Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta

article

14th IEEE International Conference on Engineering of Complex Computer Systems, Jun 2009, Postdam, Germany. pp.154-161, ⟨10.1109/ICECCS.2009.44⟩

Accès au texte intégral et bibtex