Skip to Main content Skip to Navigation
New interface


...
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-01326849v1  Journal articles
Marin BertierMatthieu PerrinCédric Tedeschi. On the Complexity of Concurrent Multiset Rewriting
International Journal of Foundations of Computer Science, World Scientific Publishing, 2016, 27 (1), ⟨10.1142/S0129054116500052⟩
...
hal-01590892v1  Conference papers
Etienne AndréBenoit Delahaye. Consistency in Parametric Interval Probabilistic Timed Automata
23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark
hal-01687624v1  Conference papers
Abdelfetah SaadiMourad OussalahAbderazzak HenniDjamal Bennouar. Handling the Dynamic Reconfiguration of Software Architectures using Intelligent Agents,
International conference on Intelligent Information Processing, Security and Advanced Communication (IPAC'2015), published by ACM, 2015, Batna, Algeria
hal-01687646v1  Conference papers
Afrah DjeddarHakim BendjennaAbdelkrim AmiratMourad Oussalah. New approach for smart composition of mobile applications,
CompSIC Conference Program : Symposium on Complex Systems and Intelligent Computing (CompSIC), 2015, Souk Ahras, Algeria
hal-01684425v1  Journal articles
Hamid KhemissaMourad Oussalah. Adaptive Configuration Meta-Model of a Guidance Process
International journal of computer science & information technology (IJCSIT), 2016
hal-01685168v1  Conference papers
Adel HassanMourad Oussalah. Meta-Evolution Style for Software Architecture Evolution
SOFSEM 42th International Conference on Current Trends in Theory and Practice of Computer Science-LNCS, 2016, Harrachov, Czech Republic
hal-01140752v1  Conference papers
Benoit Delahaye. Consistency for Parametric Interval Markov Chains
2nd International Workshop on Synthesis of Complex Parameters, Apr 2015, London, United Kingdom
hal-01684563v1  Journal articles
Manel SmattiMourad OussalahAhmed-Nacer Mohamed. Supporting deviations on software processes : A literature overview, in Software technologies
Communications in Computer and Information Science, Springer Verlag, 2016
hal-01684449v1  Journal articles
Saida BoukhedoumaMourad OussalahZaia Alimazighi. Restructuration and Interconnection for Adaptation and Evolution Support: the “Loosely Coupled” Architecture’
International Journal of Information Systems and Change Management, Inderscience, 2016, 8
...
hal-01590900v1  Conference papers
Yrvann EmzivatBenoit DelahayeDidier LimeOlivier Henri Roux. Probabilistic Time Petri Nets
37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, Jun 2016, Torun, Poland. pp.261-280
...
hal-01590884v1  Conference papers
Benoit DelahayeDidier LimeLaure Petrucci. Parameter Synthesis for Parametric Interval Markov Chains
17th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2016, Saint Petersburg, Forida, United States. pp.372 - 390, ⟨10.1007/978-3-662-49122-5_18⟩
...
hal-01219823v1  Reports
Benoit DelahayeDidier LimeLaure Petrucci. Parameter Synthesis for Parametric Interval Markov Chains
[Research Report] LINA-University of Nantes; Ecole Centrale de Nantes (ECN); LIPN. 2015
hal-01687651v1  Conference papers
Manel GherariAbdelkrim AmiratMourad Oussalah. Towards a Mobile Cloud Context Aware middelware
, CompSIC Conference Program : Symposium on Complex Systems and Intelligent Computing (CompSIC), 2015, souk ahras, Algeria
hal-01687603v1  Conference papers
Manel SmattiMourad OussalahAhmed-Nacer Mohamed. Supporting Deviations on Software Processes: A Literature Overview
the 10th International Joint Conference on Software Technologies,, 2015, Colmar, France
hal-01685164v1  Conference papers
Gasmallah NoureddineMourad OussalahAmirat Abdelkrim. Evolution taxonomy for software architecture evolution
ENASE 11th Evaluation of Novel Approaches to Software Engineering, 2016, Rome, Italy
...
hal-01379431v1  Journal articles
Sundararaman AkshayLoïc HélouëtClaude JardPierre-Alain Reyniers. Robustness of Time Petri Nets under Guard Enlargement
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2016, 143 (3-4), ⟨10.3233/FI-2016-1312⟩
...
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
...
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-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
hal-01684442v1  Journal articles
Lynda Ait OubelliMourad Oussalah. Design and Development of Business Rules Management System (BRMS) Using ATL and Eclipse Sirius
International journal of computer science & information technology (IJCSIT), 2016
hal-01686322v1  Journal articles
Jonathan PepinPascal AndreChristian AttiogbéErwan Breton. An Improved Model Facet Method to Support EA Alignment
Complex Systems Informatics and Modeling Quarterly, 2016, 9, pp.1 - 27. ⟨10.7250/csimq.2016-9.01⟩
hal-01684508v1  Journal articles
Saida BoukhedoumaMourad OussalahZaia AlimazighiDalila Tamzalit. A pattern-based approach for workflow interconnection and flexibility support.
International Journal of Business Information Systems, Inderscience, 2015, 19 (3)
hal-01685175v1  Conference papers
Gasmallah NoureddineMourad OussalahAbdelkrim Amirat. Towards a classification for software architecture evolution studies
CAL (Conference sur les Architectures Logicielles), 2016, Besançon, France