Robert B. Allen, Rémi Douence & David Garlan (1998):
Specifying and Analyzing Dynamic Software Architectures.
In: E. Astesiano: Proc. fase 1998,
lncs 1382.
Springer,
pp. 21–37,
doi:10.1007/BFb0053581.
Jean Bézivin (2006):
Model Driven Engineering: an Emerging Technical Space.
In: Ralf Lämmel, Jo ao Saraiva & Joost Visser: International Summer School gttse 2005, revised papers,
lncs 4143.
Springer,
Braga, Portugal,
pp. 36–64,
doi:10.1007/11877028_2.
Marius Bozga, Mohamad Jaber, Nikolaos Maris & Joseph Sifakis (2012):
Modelling Dynamic Architectures Using Dy-BIP.
In: Thomas Gschwind, Flavio De Paoli, Volker Gruhn & Matthias Book: Proc. sc 2012,
lncs 7306.
Springer,
pp. 1–16,
doi:10.1007/978-3-642-30564-1_1.
Éric Bruneton, Thierry Coupaye, Matthieu Leclercq, Vivien Quéma & Jean-Bernard Stefani (2006):
The Fractal Component Model and its Support in Java.
Software Practice and Experience, special issue on Experiences with Auto-adaptive and Reconfigurable Systems 36(11-12),
pp. 1257–1284,
doi:10.1002/spe.767.
Roberto Bruni & Ivan Lavanese (2006):
prisma: a Mobile Calculus with Parametric Synchronization.
In: Ugo Montanari, Don Sannella & Roberto Bruni: Proc. tgc 2006,
lncs 4661,
Lucca,
pp. 132–149,
doi:10.1007/978-3-540-75336-0_9.
Franck Chauvel, Olivier Barais, Isabelle Borne & Jean-Marc Jézéquel (2008):
Composition of Qualitative Adaptation Policies.
In: Proc. ASE'08,
L'Aquila, Italy,
pp. 455–458,
doi:10.1109/ASE.2008.72.
Edmund M. Clarke, E. Allen Emerson & A. Prasad Sistla (1986):
Automatic Verification of Finite-State Concurrent System Using Temporal Logic Specifications.
acm Transactions on Programming Languages and Systems 8(2),
pp. 244–263,
doi:10.1145/5397.5399.
Edmund M. Clarke, Orna Grumberg & David E. Long (1994):
Verification Tools for Finite-State Concurrent Systems.
In: Jacobus Willem de Bakker, Willem-Paul de Roever & Grzegorz Rozenberg: A Decade of Concurrency, Proc. rex School/Symp.,
lncs 803.
Springer-Verlag,
Noordwijkerhout, The Netherlands,
pp. 124–175,
doi:10.1007/3-540-58043-3_19.
Julien Dormoy, Olga Kouchnarenko & Arnaud Lanoix (2010):
Using Temporal Logic for Dynamic Reconfigurations of Components.
In: Luís Soares Barbosa & Markus Lumpe: Proc. facs 2010,
Guimaraes, Portugal,
pp. 200–217,
doi:10.1007/978-3-642-27269-1_12.
Julien Dormoy, Olga Kouchnarenko & Arnaud Lanoix (2011):
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.
In: Farhad Arbab & Peter Csaba Ölveczky: Proc. facs 2011,
LNCS 7253,
Oslo, Norway,
pp. 115–132,
doi:10.1007/978-3-642-35743-5_8.
Julien Dormoy, Olga Kouchnarenko & Arnaud Lanoix (2012):
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations.
In: Dimitra Giannakopoulou & Dominique Méry: Proc. fm 2012,
LNCS 7436,
pp. 171–186,
doi:10.1007/978-3-642-32759-9_16.
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga & Saddek Bensalem (2011):
Runtime Verification of Component-Based Systems.
In: Gilles Barthe, Alberto Pardo & Gerardo Schneider: Proc. sefm 2011,
Lecture Notes in Computer Science 7041.
Springer,
Montevideo, Uruguay,
pp. 204–220,
doi:10.1007/978-3-642-24690-6_15.
Jean-Michel Hufflen (2013):
A Framework for Handling Non-Functional Properties within a Component-Based Approach.
In: José Luiz Fiadero, Zhiming Liu & Jiyun Xue: Proc. facs 2013,
lncs 8348,
Nánchāng, China,
pp. 196–214,
doi:10.1007/978-3-319-07602-7_13.
Jean-Michel Hufflen (2015):
Using Model-Checking Techniques for Component-Based Systems with Reconfigurations.
In: Bara Buhnova, Lucia Happe & Jan Kofroň: Proc. fesca 2015,
eptcs 178,
London, United Kingdom,
pp. 33–46,
doi:10.4204/EPTCS.178.4.
Jean-Michel Hufflen (2017):
Checking Properties of Component-Based Systems Reconfigured by Means of Adaptation Policies—The Programs,
http://members.femto-st.fr/jean-michel-hufflen/en/tacos-plus.
Jean-Michel Hufflen (2017):
Using Model-Checking Techniques for Studying Reconfiguration Policies of Component-Based Systems.
Working paper.
Olga Kouchnarenko & Jean-François Weber (2013):
Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns.
In: José Luiz Fiadeiro, Zhiming Liu & Jinyun Xue: Proc. facs 2013,
lncs 8348.
Springer,
Nánchāng, China,
pp. 234–253,
doi:10.1007/978-3-319-07602-7_15.
Olga Kouchnarenko & Jean-François Weber (2014):
Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime.
In: Ivan Lavanese & Éric Madelaine: Proc. facs 2014,
Bertinoro, Italy,
pp. 108–126,
doi:10.1007/978-3-319-15317-9_7.
Christian Krause, Ziyan Maraikar, Alexander Lazovik & Farhad Arbab (2011):
Modeling Dynamic Reconfigurations in Reo Using High-Level Replacement Systems.
scp 76,
pp. 23–36,
doi:10.1016/j.scico.2009.10.006.
Arnaud Lanoix & Olga Kouchnarenko (2014):
Component Substitution through Dynamic Reconfigurations.
In: Barbara Buhnova, Lucia Happe & Jan Kofron: Proc. fesca 2014,
eptcs 147,
Grenoble, France,
pp. 32–46,
doi:10.4204/EPTCS.147.3.
Marc Léger, Thomas Ledoux & Thierry Coupaye (2010):
Reliable Dynamic Reconfigurations in a Reflective Component Model.
In: Lars Grunske, Ralf Reussner & Frantisek Plasil: Proc. cbse 2010,
lncs 6092.
Springer,
pp. 74–92,
doi:10.1007/978-3-642-13238-4_5.
Simon Marlow (2010):
Haskell 2010 Language Report,
https://www.haskell.org/onlinereport/haskell2010/.
Lawrence C. Paulson (1996):
ml for the Working Programmer,
2 edition.
Cambridge University Press,
doi:10.1017/CBO9780511811326.
Jean-Pierre Queille & Joseph Sifakis (1982):
Specification and Verification of Concurrent Systems in cesar.
In: M. Dezani-Cianaglini & Ugo Montanari: Proc. 5th International Symposium on Programming,
lncs 137,
Turin, Italy,
pp. 337–351,
doi:10.1007/3-540-11494-7_22.
Alejandro Sanchez, Alexandre Madeira & Luís S. Barbosa (2015):
On the Verification of Architectural Reconfigurations.
Computer Languages, Systems & Structures 44,
pp. 218–237,
doi:10.1016/j.cl.2015.07.001.
W3C (2007):
xsl Transformations (xslt). Version 2.0,
http://www.w3.org/TR/2007/WD-xslt20-20070123.
w3c Recommendation. Edited by Michael H. Kay.
W3C (2008):
XQuery 1.1,
http://www.w3.org/TR/xquery-11-20081203.
w3c Working Draft. Edited by Don Chamberlin and Jonathan Siméon.