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 × Ireland
1 × Israel
1 × South Korea
1 × The Netherlands
1 × USA
2 × Italy
Collaborated with:
P.Inverardi A.Polini J.C.M.Baeten E.Merelli D.Cacciagrano R.D.Nicola C.Attanasio F.Fornari B.R.0001 F.Tiezzi A.Vandin A.Bertolino H.Muccini R.Cognini S.Gnesi B.Re
Talks about:
process (4) time (3) busi (3) express (2) system (2) verif (2) local (2) pro (2) architectur (1) middlewar (1)

Person: Flavio Corradini

DBLP DBLP: Corradini:Flavio

Facilitated 1 volumes:

SFM-RT 2004Ed

Contributed to:

SAC 20142014
LICS 20052005
SFM-Moby 20052005
SFM-RT 20042004
ICSE 20002000
FASE 19991999
ICALP 19941994
ASE 20172017

Wrote 9 papers:

SAC-2014-CogniniCGPR #adaptation #challenge #process #research
Research challenges in business process adaptability (RC, FC, SG, AP, BR), pp. 1049–1054.
LICS-2005-BaetenC #algebra #process #regular expression
Regular Expressions in Process Algebra (JCMB, FC), pp. 12–19.
SFM-2005-CorradiniM #middleware #mobile #named
Hermes: Agent-Based Middleware for Mobile Computing (FC, EM), pp. 234–270.
Expressiveness of Timed Events and Timed Languages (DC, FC), pp. 98–131.
ICSE-2000-BertolinoCIM #architecture #testing
Deriving test plans from architectural descriptions (AB, FC, PI, HM), pp. 220–229.
FASE-1999-AttanasioCI #performance #realtime #specification
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance (CA, FC, PI), pp. 45–59.
ICALP-1994-CorradiniN #concurrent #locality
Distribution and Locality of Concurrent Systems (FC, RDN), pp. 154–165.
ASE-2017-CorradiniFP0TV #framework #modelling #named #process #verification
BProVe: a formal verification framework for business process models (FC, FF, AP, BR0, FT, AV), pp. 217–228.
ASE-2017-CorradiniFP0TV17a #named #process #tool support #verification
BProVe: tool support for business process verification (FC, FF, AP, BR0, FT, AV), pp. 937–942.

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.