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 × 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 DBLP: Raimondi:Franco

Contributed to:

ICSE 20152015
ICEIS v2 20142014
CAV 20092009
ISSTA 20092009
FSE 20082008
ESEC/FSE 20072007
MBT 20072007
TACAS 20062006

Wrote 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.

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.