Travelled to:1 × Austria
1 × Croatia
1 × France
1 × Italy
1 × Portugal
2 × USA
Collaborated with:A.Lomuscio C.Pecheur G.Brat B.S.Barn R.Barn H.Qu J.Skene W.Emmerich L.Athappian T.Clark R.Calegari M.Musolesi C.Mascolo
Talks about:checker (3) system (3) model (3) test (3) multi (2) mcmas (2) agent (2) opportunist (1) literatur (1) systemat (1)
Person: Franco Raimondi
DBLP: Raimondi:Franco
Contributed to:
2015
2014
2009
2009
2008
2007
2007
2006Wrote 8 papers:
- ICSE-v2-2015-BarnBR #on the #re-engineering
- On the Role of Value Sensitive Concerns in Software Engineering Practice (BSB, RB, FR), pp. 497–500.
- ICEIS-v2-2014-BarnRAC #collaboration #named
- Slrtool: A Tool to Support Collaborative Systematic Literature Reviews (BSB, FR, LA, TC), pp. 440–447.
- CAV-2009-LomuscioQR #model checking #multi #named #verification
- MCMAS: A Model Checker for the Verification of Multi-Agent Systems (AL, HQ, FR), pp. 682–688.
- ISSTA-2009-PecheurRB #analysis #formal method #testing
- A formal analysis of requirements-based testing (CP, FR, GB), pp. 47–56.
- FSE-2008-RaimondiSE #monitoring #online #performance
- Efficient online monitoring of web-service SLAs (FR, JS, WE), pp. 170–180.
- ESEC-FSE-2007-CalegariMRM #generative #mobile #named #performance #testing
- CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems (RC, MM, FR, CM), pp. 415–424.
- MBT-2007-RaimondiPB #model checking #testing
- Testing Planning Domains (without Model Checkers) (FR, CP, GB), pp. 113–125.
- TACAS-2006-LomuscioR #model checking #multi #named
- MCMAS: A Model Checker for Multi-agent Systems (AL, FR), pp. 450–454.