Travelled to:1 × Denmark
1 × France
1 × Greece
1 × Switzerland
1 × United Kingdom
2 × Germany
2 × USA
3 × Italy
Collaborated with:M.Massink F.Giannotti R.D.Nicola J.Katoen M.Loreti M.D.Harrison A.Bracciali P.Quaglia J.Hillston E.P.d.Vink S.Gnesi C.Baier N.D.Francesco G.Vaglini T.Bolognesi E.Zuppa V.Senni T.C.Ruys R.Langerak M.H.t.Beek A.Forghieri M.Sebastianis G.Lenzini C.Abbaneo A.M.Amendola P.Marmo L.Bortolussi V.Galpin S.Gilmore
Talks about:process (4) analysi (4) system (4) specif (4) base (4) interpret (3) stochast (3) time (3) loto (3) use (3)
Person: Diego Latella
DBLP: Latella:Diego
Facilitated 1 volumes:
EdContributed to:
20152014
2011
2010
2010
2009
200520062005
2002
200120001998
19921985
199119932017Wrote 20 papers:
- QAPL-2015-BortolussiNGGHL #adaptation #markov #named
- CARMA: Collective Adaptive Resource-sharing Markovian Agents (LB, RDN, VG, SG, JH, DL, ML, MM), pp. 16–31.
- QAPL-2015-LatellaMV #bisimulation
- A Definition Scheme for Quantitative Bisimulation (DL, MM, EPdV), pp. 63–78.
- QAPL-2014-LatellaLMS #communication
- Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.
- FASE-2011-MassinkLBH #modelling
- Modelling Non-linear Crowd Dynamics in Bio-PEPA (MM, DL, AB, JH), pp. 96–110.
- SAC-2010-MassinkHL #analysis #behaviour #scalability
- Scalable analysis of collective behaviour in smart service systems (MM, MDH, DL), pp. 1173–1180.
- SEFM-2010-MassinkLBH #algebra #analysis #approach #process #scalability
- A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (MM, DL, AB, MDH), pp. 169–180.
- ICALP-v2-2009-NicolaLLM #calculus #probability #process
- Rate-Based Transition Systems for Stochastic Process Calculi (RDN, DL, ML, MM), pp. 435–446.
- ICSE-2005-BeekMLGFS #automation #case study #protocol #verification
- A case study on the automated verification of groupware protocols (MHtB, MM, DL, SG, AF, MS), pp. 596–603.
- QAPL-2005-NicolaKLM06 #logic #performance #towards
- Towards a Logic for Performance and Mobility (RDN, JPK, DL, MM), pp. 161–175.
- SAC-2005-NicolaLM #analysis #formal method #mobile #modelling
- Formal modeling and quantitative analysis of KLAIM-based mobile systems (RDN, DL, MM), pp. 428–435.
- ISSTA-2002-LatellaM #behaviour #consistency #diagrams #on the #statechart #testing #uml
- On testing and conformance relations for UML statechart diagrams behaviours (DL, MM), pp. 144–153.
- TACAS-2001-RuysLKLM #algebra #analysis #partial order #probability #process #using
- First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders (TCR, RL, JPK, DL, MM), pp. 220–235.
- TACAS-2000-GnesiLLAAM #fault #specification #validation
- A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors (SG, DL, GL, CA, AMA, PM), pp. 535–549.
- ICALP-1998-BaierKL #concurrent #metric #realtime #semantics
- Metric Semantics for True Concurrent Real Time (CB, JPK, DL), pp. 568–579.
- WSA-1992-GiannottiL #abstract interpretation #specification #using
- Using Abstract Interpretation for Gate splitting in LOTOS Specifications (FG, DL), pp. 194–204.
- ICSE-1985-FrancescoLV #concurrent #debugging #interactive
- An Interactive Debugger for a Concurrent Language (NDF, DL, GV), pp. 320–329.
- CCPSD-1991-BolognesiLZ #specification #standard
- Non-standard Interpretations of LOTOS Specifications (TB, DL, EZ), pp. 217–234.
- TAPSOFT-1993-GiannottiL #abstract interpretation #specification #using
- Gate Splitting in LOTOS Specifications Using Abstract Interpretation (FG, DL), pp. 437–452.
- TAPSOFT-1993-LatellaQ #calculus #parallel #process
- A Fully Parallel Calculus of Synchronizing Processes (DL, PQ), pp. 732–745.
- QAPL-2017-LatellaM #coordination #design #optimisation
- Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination (DL, MM), pp. 92–110.