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-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-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-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-00918590v1  Conference papers
Olivier FinotJean-Marie MottuGerson SunyéJ. Christian Attiogbe. Filtered Comparison for Oracle in ModelTransformation Testing
ICTSS 2012 Ph.D. Workshop, Nov 2012, Aalborg, Denmark. pp.1601-0590
...
hal-00752412v1  Conference papers
Jean-Marie MottuSagar SenMassimo TisiJordi Cabot. Static Analysis of Model Transformations for Effective Test Generation
ISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, United States
...
hal-01101657v1  Conference papers
Matthieu PerrinAchour MostefaouiClaude Jard. Update Consistency for Wait-free Concurrent Objects
IPDPS - IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India
...
hal-00840368v1  Journal articles
Claude JardDidier LimeOlivier Henri RouxLouis-Marie Traonouez. Symbolic Unfolding of Parametric Stopwatch Petri Nets
Formal Methods in System Design, Springer Verlag, 2013, 43 (3), pp.493-519. ⟨10.1007/s10703-013-0188-2⟩
...
inria-00542747v1  Journal articles
Benoit BaudrySudipto GhoshFranck FleureyRobert FranceYves Le Traon et al.  Barriers to Systematic Model Transformation Testing
Communications of the ACM, Association for Computing Machinery, 2010, 53 (6), pp.0-0
...
tel-00488132v1  Theses
Gautier Bastide. Scorpio : une Approche d'Adaptation Structurelle de Composants Logiciels - Application aux Environnements Ubiquitaires
Génie logiciel [cs.SE]. Université de Nantes; Ecole Centrale de Nantes (ECN), 2007. Français
...
hal-01064444v1  Conference papers
Fadila AoussatMourad Chabane OussalahAhmed-Nacer Mohamed. SPEM Extension with software process architectural concepts
The 35th Annual International Computer, Software & Applications Conference, Jul 2011, Munich, Germany
...
hal-00470280v1  Journal articles
Christian AttiogbePascal PoizatGwen Salaün. A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩
...
hal-00840344v1  Preprints, Working Papers, ...
Thomas ChatainClaude Jard. Back in Time Petri Nets
2013
...
hal-00261630v1  Conference papers
Samuel ColinArnaud LanoixOlga KouchnarenkoJeanine Souquières. Towards Validating a Platoon of Cristal Vehicles using CSP||B
12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p
...
hal-00823231v1  Conference papers
Olivier FinotJean-Marie MottuGerson SunyéJ. Christian Attiogbe. Partial Test Oracle in Model Transformation Testing
International Conference on Model Transformation (ICMT), Jun 2013, Budapest, Hungary. pp.978-3-642-38882-8, ⟨10.1007/978-3-642-38883-5⟩
...
hal-01069112v1  Conference papers
Saida BoukhedoumaZaia AlimazighiMourad Chabane OussalahDalila Tamzalit. Interconnecting Workflows Using Services: An Approach for "Case Transfer" with Centralized Control
6th International Conference on Information Systems and Technology Management - ICISTM'2012, Mar 2012, Grenoble, France. pp.396 - 401
...
hal-00813675v1  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-00420051v1  Conference papers
Christian Attiogbe. Can Component/Service-Based Systems Be Proved Correct?
Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, Jan 2009, Spindleruv Mlýn,, Czech Republic. pp.3-18, ⟨10.1007/978-3-540-95891-8_2⟩
...
hal-01064194v1  Conference papers
Saida BoukhedoumaMourad Chabane OussalahZaia AlimazighiDalila Tamzalit. SERVICE BASED APPROACH FOR ADAPTABILITY OF WORKFLOW MODELS: THE SUBCONTRACTING ARCHITECTURE
International Conference on Enterprise Information Systems ICEIS'2012, Jun 2012, Wroclaw, Poland. pp.224-231
...
hal-00655017v1  Reports
Christian Attiogbé. Dynamic Composition of Evolving Process Types
[Research Report] LINA-University of Nantes. 2011, pp.24
...
hal-00423665v1  Conference papers
Pascal AndreGilles ArdourelChristian Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia
1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118
...
hal-00699997v1  Conference papers
Arnaud LanoixOlga KouchnarenkoSamuel ColinVincent Poirriez. Relaxing B Sharing Restrictions within CSP||B
International Conference on Software Composition 2012, May 2012, Prague, Czech Republic. pp.35-50