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: Corradini:Flavio
Facilitated 1 volumes:
EdContributed to:
2014
200520052004
2000
1999
1994
2017Wrote 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.
- SFM-2004-CacciagranoC
- 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.