Search - Archive ouverte HAL Access content directly

Filter your results

42 Results
Image document

Dynamic Choreographies: Theory And Implementation

Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro et al.
Logical Methods in Computer Science, 2017, 13, pp.1 - 57. ⟨10.23638/LMCS-13(2:1)2017⟩
Journal articles hal-01631394v1
Image document

Automatic deployment of component-based applications

Tudor Alexandru Lascu , Jacopo Mauro , Gianluigi Zavattaro
Science of Computer Programming, 2015, ⟨10.1016/j.scico.2015.07.006⟩
Journal articles hal-01233485v1
Image document

Feature Selection for SUNNY: a Study on the Algorithm Selection Library

Roberto Amadini , Fabio Biselli , Maurizio Gabbrielli , Tong Liu , Jacopo Mauro et al.
ICTAI, Nov 2015, Vietri sul Mare, Italy
Conference papers hal-01227600v1
Image document

Optimal and Automated Deployment for Microservices

Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , Gianluigi Zavattaro et al.
FASE 2019 - 22nd International Conference on Held as Part of the European, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-16722-6_21⟩
Conference papers hal-02387483v1
Image document

Component reconfiguration in the presence of conflicts. Technical report of the Aeolus project

Roberto Di Cosmo , Jacopo Mauro , Stefano Zacchiroli , Gianluigi Zavattaro
2013
Reports hal-00816468v1
Image document

Automatic Application Deployment in the Cloud: from Practice to Theory and Back

Roberto Di Cosmo , Michael Lienhardt , Jacopo Mauro , Stefano Zacchiroli , Gianluigi Zavattaro et al.
Proceedings of 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. pp.1--16, ⟨10.4230/LIPIcs.CONCUR.2015.1⟩
Conference papers hal-01233426v1
Image document

Parallelizing Constraint Solvers for Hard RCPSP Instances

Roberto Amadini , Maurizio Gabbrielli , Jacopo Mauro
[Technical Report] Inria Sophia Antipolis. 2016
Reports hal-01295061v1
Image document

SUNNY-CP: a Portfolio Solver for Constraint Programming

Roberto Amadini , Maurizio Gabbrielli , Jacopo Mauro
[Technical Report] Inria Sophia Antipolis. 2016
Reports hal-01336407v1
Image document

Guess Who's Coming: Runtime Inclusion of Participants in Choreographies

Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019, ⟨10.1007/978-3-030-31175-9_8⟩
Book sections hal-02376243v1
Image document

NightSplitter: a scheduling tool to optimize (sub)group activities

Tong Liu , Roberto Di Cosmo , Maurizio Gabbrielli , Jacopo Mauro
CP 2017 - 23rd International Conference on Principles and Practice of Constraint Programming, Aug 2017, Melbourne, Australia. pp.370-386, ⟨10.1007/978-3-319-66158-2_24⟩
Conference papers hal-01648192v1
Image document

SUNNY-CP : a Sequential CP Portfolio Solver

Roberto Amadini , Maurizio Gabbrielli , Jacopo Mauro
SAC, Apr 2015, Salamanca, Spain. ⟨10.1145/2695664.2695741⟩
Conference papers hal-01227589v1
Image document

A Multicore Tool for Constraint Solving

Roberto Amadini , Maurizio Gabbrielli , Jacopo Mauro
IJCAI 2015 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.232-238
Conference papers hal-01227592v1
Image document

On the Complexity of Reconfiguration in Systems with Legacy Components

Jacopo Mauro , Gianluigi Zavattaro
[Technical Report] INRIA Sophia Antipolis. 2015
Reports hal-01160369v1
Image document

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges

Roberto Amadini , Maurizio Gabbrielli , Jacopo Mauro
LOPSTR, Jul 2015, Siena, Italy
Conference papers hal-01227598v1
Image document

On the Integration of Automatic Deployment into the ABS Modeling Language

Stijn de Gouw , Michael Lienhardt , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro et al.
[Technical Report] Inria Sophia Antipolis. 2015
Reports hal-01170926v2
Image document

Component Reconfiguration in the Presence of Conflicts

Roberto Di Cosmo , Jacopo Mauro , Stefano Zacchiroli , Gianluigi Zavattaro
ICALP - International Colloquium on Automata, Languages and Programming - 2013, 2013, Riga, Latvia. pp.187-198, ⟨10.1007/978-3-642-39212-2_19⟩
Conference papers hal-00909336v1

A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing

Roberto Amadini , Imane Sefrioui , Jacopo Mauro , Maurizio Gabbrielli
International Journal of Interactive Multimedia and Artificial Intelligence, 2013, 2 (4), pp.67-75
Journal articles hal-00909296v1

Interface-Based Service Composition with Aggregation

Mila Dalla Preda , Maurizio Gabbrielli , Claudio Guidi , Jacopo Mauro , Fabrizio Montesi et al.
First European Conference on Service-Oriented and Cloud Computing, ESOCC 2012, 2012, Bertinoro, Italy. pp.48--63, ⟨10.1007/978-3-642-33427-6_4⟩
Conference papers hal-00909379v1
Image document

Dynamic Choreographies Safe Runtime Updates of Distributed Applications

Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro et al.
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers hal-01227612v1
Image document

Programming Adaptive Microservice Applications: an AIOCJ Tutorial

Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro , Maurizio Gabbrielli
Simon Gay; António Ravara. Behavioural Types: from Theory to Tools, River Publishers, 2017
Book sections hal-01631422v1
Image document

Self-Reconfiguring Microservices

Maurizio Gabbrielli , Saverio Giallorenzo , Claudio Guidi , Jacopo Mauro , Fabrizio Montesi et al.
Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen. Theory and Practice of Formal Methods, 9660, Springer, pp.194-210, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. ⟨10.1007/978-3-319-30734-3_14⟩
Book sections hal-01336688v1
Image document

On the Expressiveness of Synchronization in Component Deployment

Jacopo Mauro , Gianluigi Zavattaro
Theory and Practice of Formal Methods , 9660 pp.344-359, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-30734-3⟩
Book sections hal-01334772v1
Image document

An Efficient Management of Correlation Sets with Broadcast

Jacopo Mauro , Maurizio Gabbrielli , Claudio Guidi , Fabrizio Montesi
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.80-94, ⟨10.1007/978-3-642-21464-6_6⟩
Conference papers hal-01582988v1
Image document

SUNNY-CP and the MiniZinc challenge

Roberto Amadini , Maurizio Gabbrielli , Jacopo Mauro
Theory and Practice of Logic Programming, 2018, 18 (01), pp.81 - 96. ⟨10.1017/S1471068417000205⟩
Journal articles hal-01931324v1
Image document

Developing correct, distributed, adaptive software

Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro et al.
Science of Computer Programming, 2015, ⟨10.1016/j.scico.2013.11.019⟩
Journal articles hal-01227610v1
Image document

SUNNY with Algorithm Configuration

Tong Liu , Roberto Amadini , Jacopo Mauro
OASC 2017 - Open Algorithm Selection Challenge, Sep 2017, Brussels, Belgium. pp.12-14
Conference papers hal-01674691v1
Image document

On the Complexity of Reconfiguration in Systems with Legacy Components

Jacopo Mauro , Gianluigi Zavattaro
MFCS, Aug 2015, Milan, Italy. pp.382--393, ⟨10.1007/978-3-662-48057-1_30⟩
Conference papers hal-01233482v1
Image document

Portfolio Approaches for Constraint Optimization Problems

Roberto Amadini , Maurizio Gabbrielli , Jacopo Mauro
LION 8, Feb 2014, Gainesville, Florida, United States. pp.21 - 35
Conference papers hal-01088429v1
Image document

A Planning Tool Supporting the Deployment of Cloud Applications

Tudor Alexandru Lascu , Jacopo Mauro , Gianluigi Zavattaro
2013
Other publications hal-00843925v1

The expressive power of CHR with priorities

Maurizio Gabbrielli , Jacopo Mauro , Maria Chiara Meo
Information and Computation, 2013, 228-229, pp.62-82. ⟨10.1016/j.ic.2013.05.001⟩
Journal articles hal-00909295v1