BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
1 × Greece
2 × Spain
3 × Italy
Collaborated with:
R.D.Nicola R.Pugliese L.Bettini M.Bernardo D.Latella M.Massink F.Tiezzi D.B.Abeywickrama N.B.Serbedzija P.Crescenzi V.Senni E.Gjondrekaj Y.A.Alrahman R.Vigo L.Bortolussi V.Galpin S.Gilmore J.Hillston
Talks about:
base (5) process (3) adapt (3) nondeterminist (2) probabilist (2) stochast (2) communic (2) languag (2) equival (2) autonom (2)

Person: Michele Loreti

DBLP DBLP: Loreti:Michele

Contributed to:

QAPL 20152015
SAC 20152015
QAPL 20142014
QAPL 20132013
FOSSACS 20122012
SAC 20122012
ICALP (2) 20092009
ITiCSE 20062006
SAC 20022002
SAC 20002000

Wrote 12 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.
SAC-2015-AbeywickramaSL #adaptation #monitoring #runtime #visualisation
Monitoring and visualizing adaptation of autonomic systems at runtime (DBA, NBS, ML), pp. 1857–1860.
SAC-2015-AlrahmanNLTV #calculus #communication
A calculus for attribute-based communication (YAA, RDN, ML, FT, RV), pp. 1840–1845.
QAPL-2014-LatellaLMS #communication
Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.
QAPL-2013-BernardoNL #behaviour #nondeterminism #probability #process
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 81–96.
FoSSaCS-2012-BernardoNL #nondeterminism #probability #process #testing
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.
SAC-2012-GjondrekajLPT #adaptation #coordination #modelling
Modeling adaptation with a tuple-based coordination language (EG, ML, RP, FT), pp. 1522–1527.
ICALP-v2-2009-NicolaLLM #calculus #probability #process
Rate-Based Transition Systems for Stochastic Process Calculi (RDN, DL, ML, MM), pp. 435–446.
ITiCSE-2006-CrescenziLP #experience #java
Assessing CS1 java skills: a three-year experience (PC, ML, RP), p. 348.
SAC-2002-BettiniLP #framework
An infrastructure language for open nets (LB, ML, RP), pp. 373–377.
SAC-2002-BettiniNL #mobile #programming
Software update via mobile agent based programming (LB, RDN, ML), pp. 32–36.
SAC-2000-BettiniLP
Structured Nets in KLAIM (LB, ML, RP), pp. 174–180.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.