Upload File

1 reversible debugging ivan lanese focus research group computer science and engineering department...

  • Home
  • Documents
  • 1 Reversible Debugging Ivan Lanese Focus research group Computer Science and Engineering Department University of Bologna/INRIA Bologna, Italy Joint work
Download 1 Reversible Debugging Ivan Lanese Focus research group Computer Science and Engineering Department University of Bologna/INRIA Bologna, Italy Joint work

If you can't read please download the document

Upload: dwayne-dean

Post on 18-Jan-2016

214 views

Category:

Documents


2 download

Report

Reducing the Scheduling Headache: Lanese Slagle Forsyth Middle School Arena Scheduling

1 Reversibility for Concurrent Interacting Systems Ivan Lanese Focus research group Computer Science and Engineering Department University of Bologna/INRIA

Dynamic Choreographies Safe Runtime Updates of Distributed Applications Ivan Lanese Computer Science Department University of Bologna/INRIA Italy Joint

Towards Global and Local Types for Adaptation Ivan Lanese Computer Science Department University of Bologna/INRIA Italy Joint work with Mario Bravetti,

The EMILIA-ROMAGNA High Technology Networksangio/INRIA/MeetingInriaUnibo... · The EMILIA-ROMAGNA High Technology Network Antonio Corradi DEIS – University of Bologna. Bologna –

20/10/2006ALPAGE1 Ordered slicing of very large scale overlay networks Mark Jelasity University of Bologna, Italy Anne-Marie Kermarrec INRIA Rennes/IRISA,

1 Ivan Lanese Computer Science Department University of Pisa (moved to Bologna) Synchronization strategies for global computing models Ph.D. thesis discussion

1 Joint work with Antonio Bucchiarone (Fondazione Bruno Kessler - IRST, Trento) and Fabrizio Montesi (University of Bologna/INRIA, Bologna) A Framework

1 Ivan Lanese Computer Science Department University of Bologna Italy Managing faults and compensations in SOCK Joint work with Claudio Guidi, Fabrizio

P. Del Moral (INRIA team ALEA) INRIA & Bordeaux ...people.bordeaux.inria.fr/pierre.delmoral/MCQMC-2012-Feb-13.pdf · P. Del Moral (INRIA team ALEA) INRIA & Bordeaux Mathematical Institute

LaNese Harvey Sample Work (Tuscany Campaign)

HEMISFER - Inria

Inria - Strategic Plan 2013-2017 "Towards Inria 2020"

Michel Parent INRIA-IMARA michel.parent@inria€¦ · Michel Parent . INRIA-IMARA . [email protected] . Automated Urban Transport CityMobil Project (2006-2011)

Ivan Lanese Computer Science Department University of Bologna/INRIA Italy On the Expressive Power of Primitives for Compensation Handling Joint work with

1 Programming SAGAs in SOCK Ivan Lanese Computer Science Department University of Bologna Italy Joint work with Gianluigi Zavattaro The SOCK saga

Ivan Lanese Computer Science Department University of Bologna/INRIA Italy Fault in the Future Joint work with Gianluigi Zavattaro and Einar Broch Johnsen

1 Ivan Lanese Computer Science Department University of Bologna Italy From services to ABS With input from Davide Sangiorgi, Fabrizio Montesi, …

Ivan Lanese Computer Science Department University of Bologna/INRIA Italy Decidability Results for Dynamic Installation of Compensation Handlers Joint

1 Ivan Lanese Computer Science Department University of Bologna Italy Types for deadlock avoidance in SSCC

Metalibm - Inria

Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo ...Elena Giachino University of Bologna,Italy & INRIA,France [email protected] Ludovic Henrio Universit´e C ˆote d’Azur,CNRS,I3S,France

1 Ivan Lanese Computer Science Department University of Bologna Italy Exploiting user-definable synchronizations in graph transformation

1 Ivan Lanese Computer Science Department University of Bologna/INRIA Italy Fault Model Design Space for Cooperative Concurrency Joint work with Michael

Ivan LaneseDepartment of Computer Science University of Bologna INRIA research team FOCUS Choreography-driven design Joint work with: Mario Bravetti, Gianluigi

ZEROKIT - Inria

1 Ivan Lanese Computer Science Department University of Bologna Roberto Bruni Computer Science Department University of Pisa A mobile calculus with parametric

Internet of Things A Process Calculus Approach · University of Bologna/INRIA Italy Internet of Things A Process Calculus Approach Joint work with Luca Bedogni and Marco Di Felice

1 Synchronization strategies for global computing models Ivan Lanese Computer Science Department University of Bologna

1 Ivan Lanese Computer Science Department University of Bologna Italy Behavioural Theory for SSCC Joint work with Luis Cruz-Filipe, Francisco Martins,

1 Causal-Consistent Reversible Debugging Ivan Lanese Focus research group Computer Science and Engineering Department University of Bologna/INRIA Bologna,

Optimizationusingsurrogatemodels - Inria

Laurent Castanié (Earth Decision / Paradigm – INRIA Lorraine – Project ALICE) Christophe Mion (INRIA Lorraine – Project ALICE) Xavier Cavin (INRIA Lorraine

Bologna da vivere · Bologna da vivere Magazine.com Bologna da vivere

1 Ivan Lanese Computer Science Department University of Bologna Italy On the Interplay between Fault Handling and Request-response Service Invocations