Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(71)
Mieke Massink
47
Stefania Gnesi
29
Joost-Pieter Katoen
17
Rocco De Nicola
11
Michele Loreti
10
Conferences
(27)
ICSE
3
TAPSOFT
3
ICALP
2
SAC
2
TACAS
2
Journals
(13)
FMSD
6
JLP
3
FAC
3
ENTCS
3
CN
2
Keywords
(211)
Embed
Subscribe
Academic
Authors
Diego Latella
Edit
Diego Latella
Consiglio Nazionale delle Ricerche
Publications: 89
|
Citations: 890
|
G-Index: 27
|
H-Index: 15
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Distributed & Parallel Computing
View FAQ about top research area and research interests
Collaborated with
71 co-authors
from 1985 to 2011
; Cited by
912 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(89)
BibTeX
|
RIS
|
RefWorks
Download
Modelling Non-linear Crowd Dynamics in Bio-PEPA
Mieke Massink
,
Diego Latella
,
Andrea Bracciali
,
Jane Hillston
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 96-110, 2011
Scalable analysis of collective behaviour in smart service systems
(
Citations: 2
)
Mieke Massink
,
Michael D. Harrison
,
Diego Latella
Conference:
ACM Symposium on Applied Computing - SAC
, pp. 1173-1180, 2010
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis
(
Citations: 2
)
M. Massink
,
D. Latella
,
A. Bracciali
,
M. D. Harrison
Conference:
Conference on Software Engineering and Formal Methods - SEFM
, 2010
MarCaSPiS: a Markovian Extension of a Calculus for Services
(
Citations: 8
)
Rocco De Nicola
,
Diego Latella
,
Michele Loreti
,
Mieke Massink
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 229, no. 4, pp. 11-26, 2009
Rate-Based Transition Systems for Stochastic Process Calculi
(
Citations: 6
)
Rocco De Nicola
,
Diego Latella
,
Michele Loreti
,
Mieke Massink
Conference:
International Colloquium on Automata, Languages and Programming - ICALP
, pp. 435-446, 2009
Order by:
Citations
(890 times by 657 publications)
A state/event-based model-checking approach for the analysis of abstract system properties
(
Citations: 2
)
Maurice H. ter Beek
,
Alessandro Fantechi
,
Stefania Gnesi
,
Franco Mazzanti
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 2, pp. 119-135, 2011
Dependability Concerns in Model-Driven Engineering
(
Citations: 1
)
Leonardo Montecchi
,
Paolo Lollini
,
Andrea Bondavalli
Conference:
International Conference on Environment and Electrical Engineering - ISORCW
, 2011
UML in action: a two-layered interpretation for testing
(
Citations: 1
)
Bernhard K. Aichernig
,
Harald Brandl
,
Elisabeth Jöbstl
,
Willibald Krenn
Published in 2011.
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
Luciano Baresi
,
Carlo Ghezzi
,
Luca Mottola
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 2, pp. 228-246, 2011
Modelling Non-linear Crowd Dynamics in Bio-PEPA
Mieke Massink
,
Diego Latella
,
Andrea Bracciali
,
Jane Hillston
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 96-110, 2011
Comments