 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-01425213v1
Communication dans un congrès
Alessandro Berti, Jean-Pierre Merlet, Marco Carricato. Workspace analysis of redundant cable-suspended parallel robots 2nd Int. Conf. on cable-driven parallel robots (CableCon), 2014, Duisburg, Germany. pp.41-54, 2014 |
||
|
hal-01176856v1
Communication dans un congrès
Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi. ELPI: fast, Embeddable, λProlog Interpreter Proceedings of LPAR, Nov 2015, Suva, Fiji. LNCS |
||
|
hal-01227595v1
Communication dans un congrès
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro. SUNNY for Algorithm Selection: A Preliminary Study CILC, Jul 2015, Genova, Italy |
||
|
hal-00909382v1
Communication dans un congrès
Michael Lienhardt, Mario Bravetti, Davide Sangiorgi. An Object Group-Based Component Model Tiziana Margaria and Bernhard Steffe. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.64--78, 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Proceedings, Part I; Lecture Notes in Computer Science. <10.1007/978-3-642-34026-0_6> |
||
|
hal-00909381v1
Communication dans un congrès
Michael Lienhardt, Dave Clarke. Conflict Detection in Delta-Oriented Programming Tiziana Margaria and Bernhard Steffen. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.178--192, 2012, Lecture Notes in Computer Science; Conflict Detection in Delta-Oriented Programming. <10.1007/978-3-642-34026-0_14> |
||
|
tel-00909410v1
Thèse
Paolo Parisen Toldin. ICC and Probabilistic Classes Computational Complexity [cs.CC]. Università degli studi di Bologna, 2013. English |
||
|
hal-00909383v1
Communication dans un congrès
Reiner Hähnle, Michiel Helvenstijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi et al. HATS Abstract Behavioral Specification: The Architectural View Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue. FMCO - Formal Methods for Components and Objects - 2011, Oct 2011, Turin, Italy. Springer Berlin / Heidelberg, 7542, pp.165--185, 2013, Lecture Notes in Computer Science; Formal Methods for Components and Objects. <10.1007/978-3-642-35887-6_6> |
||
|
hal-00909385v1
Communication dans un congrès
Michael Lienhardt, Dave Clarke. Row types for delta-oriented programming VaMoS - Sixth International Workshop on Variability Modeling of Software-Intensive Systems - 2012, 2012, Leipzig, Germany. ACM, pp.121--128, 2012, VaMoS '12. <10.1145/2110147.2110161> |
||
|
hal-00909386v1
Communication dans un congrès
Mila Dalla Preda. The Grand Challenge in Metamorphic Analysis Sumeet Dua and Aryya Gangopadhyay and Parimala Thulasiraman and Umberto Straccia and Michael Shepherd and Benno Stein. ICISTM - Information Systems, Technology and Management - 2012, 2012, Grenoble, France. Springer, 285, pp.439-444, 2012, Communications in Computer and Information Science; Information Systems, Technology and Management. <10.1007/978-3-642-29166-1_42> |
||
|
hal-01410567v1
Pré-publication, Document de travail
Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi. Implementing Type Theory in Higher Order Constraint Logic Programming 2016 |
||
|
hal-01170926v2
Rapport
Stijn De Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro. On the Integration of Automatic Deployment into the ABS Modeling Language [Technical Report] Inria Sophia Antipolis. 2015 |
||
|
hal-01425211v1
Article dans une revue
Alessandro Berti, Jean-Pierre Merlet, Marco Carricato. Solving the direct geometrico-static problem of underconstrained cable-driven parallel robots by interval analysis Int. J. of Robotics Research, 2016, 35 (6), pp.723-739 |
||
|
hal-01227598v1
Communication dans un congrès
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges LOPSTR, Jul 2015, Siena, Italy |
||
|
hal-01227600v1
Communication dans un congrès
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro. Feature Selection for SUNNY: a Study on the Algorithm Selection Library ICTAI, Nov 2015, Vietri sul Mare, Italy |
||
|
hal-01227589v1
Communication dans un congrès
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP : a Sequential CP Portfolio Solver SAC, Apr 2015, Salamanca, Spain. 2015, <10.1145/2695664.2695741> |
||
|
tel-01227582v1
Thèse
Roberto Amadini. Portfolio Approaches in Constraint Programming Computer Science [cs]. University of Bologna, 2015. English |
||
|
hal-01227623v1
Communication dans un congrès
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. The Evolution of Jolie Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Mar 2015, Munich, Germany. Lecture Notes in Computer Science, pp.506-521, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-15545-6_29> |
||
|
hal-01227693v1
Communication dans un congrès
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo De 'Liguoro. Retractable Contracts Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Apr 2015, London, United Kingdom. 2015, Electronic Proceedings in Theoretical Computer Science |
||
|
hal-01227592v1
Communication dans un congrès
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. A Multicore Tool for Constraint Solving IJCAI 2015 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.232-238, IJCAI 2015 |
||
|
hal-01227615v1
Communication dans un congrès
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. Causal-Consistent Reversibility in a Tuple-Based Language PDP 2015 - 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Mar 2015, Turku, Finland. IEEE, pp.467 - 475, 2015, <http://www.pdp2015.org/>. <10.1109/PDP.2015.98> |
||
|
hal-01542595v1
Rapport
Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. Analysis of synchronisation patterns in stateful active objects [Research Report] I3S; Inria - Sophia antipolis. 2017 |
||
|
hal-00780349v1
Communication dans un congrès
Beniamino Accattoli, Ugo Dal Lago. On the Invariance of the Unitary Cost Model for Head Reduction 23rd International Conference on Rewriting Techniques and Applications (RTA'12), May 2012, Nagoya, Japan. 2012 |
||
|
hal-00881630v1
Communication dans un congrès
Mario Bravetti, Cinzia Di Giusto, Jorge A. Perez, Gianluigi Zavattaro. A Calculus for Component Evolvability (Extended Abstract) Formal Aspects of Component Software (FACS 2010), 2010, Guimarães, Portugal. 2010 |
||
|
hal-01336684v1
Article dans une revue
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems International Journal of Interactive Multimedia and Artificial Intelligence, 2016 |
||
|
hal-01088429v1
Communication dans un congrès
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Portfolio Approaches for Constraint Optimization Problems LION 8, Feb 2014, Gainesville, Florida, United States. pp.21 - 35, 2014 |
||
|
hal-01336836v1
Chapitre d'ouvrage
Elena Giachino, Stijn De Gouw, Cosimo Laneve, Behrooz Nobakht. Statically and Dynamically Verifiable SLA Metrics Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 9660, Springer, pp.211-225, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. <10.1007/978-3-319-30734-3_15> |
||
|
hal-01336407v1
Rapport
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP: a Portfolio Solver for Constraint Programming [Technical Report] Inria Sophia Antipolis. 2016 |
||
|
hal-01089270v1
Communication dans un congrès
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina. Causal-Consistent Reversible Debugging FASE 2014, Apr 2014, Grenoble, France. Springer, 8411, pp.370 - 384, 2014, Lecture Notes in Computer Science. <10.1007/978-3-642-54804-8_26> |
||
|
hal-01337423v1
Communication dans un congrès
Alexis Bernadet, Ivan Lanese. A Modular Formalization of Reversibility for Concurrent Models and Languages ICE 2016, Jun 2016, Heraklion, Greece. EPTCS |
||
|
|
||