Skip to Main content Skip to Navigation
New interface


...
hal-00423658v1  Conference papers
Pascal AndréChristian AttiogbéMohamed Messabihi. Correction d'assemblages de composants impliquant des interfaces paramétrées
3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
...
hal-00813675v2  Journal articles
Annie Authosserre-CavareroFrédéric BertrandMireille FornarinoPhilippe ColletHubert Dubois et al.  Ingénierie dirigée par les modèles : quels supports à l'interopérabilité des systèmes d'information ?
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2013
...
hal-00991591v1  Conference papers
Riad BelkhatirMourad Chabane OussalahArnaud Viguier. SOAQE - Service Oriented Architecture Quality Evaluation
ENASE - International Conference on Evaluation of Novel Approaches to Software Engineering, Jun 2012, Wroclaw, Poland
...
hal-00991580v1  Conference papers
Riad BelkhatirMourad Chabane OussalahArnaud Viguier. A model introducing SOAs quality attributes decomposition
The International Conference on Software Engineering and Knowledge Engineering, Aug 2012, San Francisco, United States
...
hal-01147192v1  Conference papers
Pascal AndreGilles ArdourelMohamed Messabihi. Vérification de contrats logiciels à l'aide de transformations de modèles Application à Kmelia
7ièmes Journées sur l'Ingénierie Dirigée par les Modèles, Ileana Ober, Jun 2011, Toulouse, France
...
hal-00420050v1  Conference papers
Christian Attiogbe. Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).
IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. pp.85-90
...
hal-00642345v1  Conference papers
Julien DormoyOlga KouchnarenkoArnaud Lanoix. Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components
8th International Symposium on Formal Aspects of Component Software - FACS 2011, Sep 2011, Oslo, Norway
...
hal-01087914v1  Conference papers
Nikola BenešBenoît DelahayeUli FahrenbergJan KřetínskýAxel Legay. Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
CONCUR 2013 - 24th International Conference Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.76 - 90, ⟨10.1007/978-3-642-40184-8_7⟩
...
hal-00939239v1  Journal articles
Claude JardDidier LimeOlivier Henri Roux. Blending Timed Formal Models with Clock Transition Systems
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2014, 129 (1-2), pp.85-100
...
hal-01064919v1  Conference papers
Fadila AoussatMourad Chabane OussalahMohamed Ahmed-Nacer. A Domain Ontology for Software Process Architecture Description
7th International Conference on Evaluation of Novel Software Approaches to Software Engineering, Jun 2012, wroclaw, Poland
...
hal-00472321v1  Conference papers
Abdelkrim AmiratMourad OussalahTahar Khammaci. Towards an Approach for Building Reliable Architectures
IEEE International Conference on Information Reuse and Integration (IEEE IRI'07), Aug 2007, United States. pp.467-472
...
hal-01087931v1  Conference papers
Benoît DelahayeUli FahrenbergKim Guldstrand LarsenAxel Legay. Refinement and Difference for Probabilistic Automata
QEST 2013 - 10th International Conference Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.22 - 38, ⟨10.1007/978-3-642-40196-1_3⟩
...
hal-00662875v1  Conference papers
Julien DormoyOlga KouchnarenkoArnaud Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components
FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal
...
hal-01347069v2  Conference papers
Matthieu PerrinMatoula PetroliaAchour MostefaouiClaude Jard. On Composition and Implementation of Sequential Consistency
30th International Symposium on Distributed Computing, Sep 2016, Paris, France
...
hal-00692175v1  Conference papers
Sagar SenJean-Marie MottuMassimo TisiJordi Cabot. Using Models of Partial Knowledge to Test Model Transformations
International Conference on Model Transformation, May 2012, Prague, Czech Republic
...
hal-00397713v1  Conference papers
Pascal AndreGilles ArdourelChristian Attiogbé. Defining Component Protocols with Service Composition: Illustration with the Kmelia Model
Software Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. pp.2-17, ⟨10.1007/978-3-540-77351-1⟩
...
hal-00991611v1  Journal articles
Riad BelkhatirMourad Chabane OussalahArnaud Viguier. An industrial case study on SOA quality evaluation
International Journal on Engineering Applications (IREA), 2013, pp.2281-2881
...
tel-01390700v1  Theses
Matthieu Perrin. Spécification des objets partagés dans les systèmes répartis sans-attente
Calcul parallèle, distribué et partagé [cs.DC]. Université de Nantes (Unam), 2016. Français
...
hal-00423690v1  Conference papers
Pascal AndreGilles ArdourelChristian Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model
ProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25
...
hal-00260577v1  Conference papers
Arnaud Lanoix. Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), Jun 2008, France. 8 p
...
hal-00935129v1  Conference papers
Arnaud LanoixOlga Kouchnarenko. Component Substitution through Dynamic Reconfigurations
11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, Apr 2014, Grenoble, France. 14 p
...
hal-00840364v1  Journal articles
Albert BenvenisteClaude JardSamy Abbes. Application of branching cells to QoS aware service orchestrations
Theoretical Computer Science, Elsevier, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, ⟨10.1016/j.tcs.2014.02.049⟩
...
hal-01152761v1  Conference papers
Matthieu PerrinClaude JardAchour Mostefaoui. Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
NETYS - 3rd International Conference on NETwork sYStems, May 2015, Agadir, Morocco