Search - Archive ouverte HAL Access content directly

Filter your results

46 Results
Image document

Moving from Event-B to Probabilistic Event-B

Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix
[Research Report] LINA-University of Nantes. 2016
Reports hal-01316599v1
Image document

D.1.1 – Survey on Weak Consistency Approaches for Large-Scale Systems

Davide Frey , Achour Mostefaoui , Matthieu Perrin , François Taïani
[Technical Report] D1.1, LINA-University of Nantes; IRISA. 2015
Reports hal-01174203v1

Mapping Component Models on Distributed Architectures: Correctness Checking

Christian Attiogbe
13th Workshop on Model-Driven Engineering, Verification and Validation co-located with MODELS-2016, Oct 2016, Saint-Malo, France
Conference papers hal-01686376v1

An approach based on extending the RUP for dealing with anticipated changes in ontogenetic software systems

Kherissi Farida , Djamel Meslati , Dalila Tamzalit
International Journal of Computer Applications in Technology, 2015, pp.294-305
Journal articles hal-01179661v1

A Review of Detecting and Correcting Deviations on Software Processes

Manel Smatti , Mourad Oussalah , Mohamed Ahmed-Nacer
ICSOFT-EA, the 10th International Joint Conference on Software Technologies, 2015, Colmar, France
Conference papers hal-01687606v1
Image document

Discrete Parameters in Petri Nets

Nicolas David , Claude Jard , Didier Lime , Olivier Henri Roux
Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Jun 2015, Bruxelles, Belgium. pp.137-156, ⟨10.1007/978-3-319-19488-2_7⟩
Conference papers hal-01222021v1
Image document

Proof of the Instrumented Semantics for Orc

Matthieu Perrin , Claude Jard , Achour Mostefaoui
[Research Report] LINA-University of Nantes. 2015
Reports hal-01101340v2
Image document

The EPOC project: Energy Proportional and Opportunistic Computing system

Nicolas Beldiceanu , Bárbara Dumas Feris , Philippe Gravey , Md Sabbir Hasan , Claude Jard et al.
International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal
Conference papers hal-01131602v1
Image document

About Probabilistic Event-B

Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix
[Research Report] LINA-University of Nantes. 2015
Reports hal-01151594v2

Evolution style: framework for modeling dynamic evolution of real-time software architecture

Adel Hassan , Audrey Queudet , Mourad Oussalah
Conference papers hal-01685155v1
Image document

Distributed Implementation of Message Sequence Charts

Rouwaida Abdallah , Loïc Hélouët , Claude Jard
Software and Systems Modeling, 2015, 14, pp.10-32. ⟨10.1007/s10270-013-0357-1⟩
Journal articles hal-00840372v1

SArEM: A SPEM extension for software architecture extraction process

Mira Abboud , Hala Naja , Mourad Oussalah , Mohamed Dbouk
International Journal of Computer Systems Science & Engineering, 2016, 8 (4)
Journal articles hal-01684472v1

Introducing a Multiview Software Architecture Process by Example

Ahmed Kheir , Hala Naja , Mourad Oussalah
European Journal of Computer Science and Information technology , 2016, 4 (1)
Journal articles hal-01684497v1

SArEM: Un méta-modèle pour la spécification des processus d'extraction d'architectures logicielles

Mira Abboud , Hala Naja , Mourad Oussalah , Mohamed Dbouk
16ème Journées Francophones Extraction et Gestion des Connaissances, EGC, 2016, Reims, France
Conference papers hal-01685172v1

A Generic Model for Managing Software Architectures Reconfiguration,

Abdelfetah Saadi , Mourad Oussalah , Abderezak Henni , Djamal Bennouar
30th InternationalConference on Computers and Their Applications CATA-2015 ,, 2015, Honolulu,, United States
Conference papers hal-01687614v1
Image document

D.1.2 – Modular quasi-causal data structures

Davide Frey , Roy Friedman , Achour Mostefaoui , Matthieu Perrin , Michel Raynal et al.
[Research Report] D1.2, LINA-University of Nantes; IRISA. 2015
Reports hal-01223119v1