BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
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.
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.