Travelled to:1 × Brazil
1 × Greece
1 × Sweden
1 × USA
Collaborated with:C.Ghezzi P.Spoletini S.Nejati K.Gaaloul L.C.Briand P.Pelliccione T.Berger L.Pasquale B.Nuseibeh A.M.Sharifloo M.Chechik C.Tsigkanos S.García T.Bures Sergio García 0002 R.Wohlrab M.Salehie L.Cavallaro I.Omoronyia S.Foster D.Wolfe
Talks about:model (5) requir (3) simulink (2) violat (2) verif (2) secur (2) robot (2) engin (2) adapt (2) test (2)
Person: Claudio Menghi
DBLP: Menghi:Claudio
Contributed to:
20142013
2012
2019
2019
2018
2018Wrote 8 papers:
- RE-2014-TsigkanosPMGN #adaptation #requirements #runtime #security
- Engineering topology aware adaptive security: Preventing requirements violations at runtime (CT, LP, CM, CG, BN), pp. 203–212.
- RE-2013-GhezziMSS #on the #requirements #verification
- On requirements verification for model refinements (CG, CM, AMS, PS), pp. 62–71.
- FSE-2012-PasqualeMSCON #adaptation #named #security
- SecuriTAS: a tool for engineering adaptive security (LP, CM, MS, LC, IO, BN), p. 19.
- ESEC-FSE-2019-MenghiNGB #automation #behaviour #generative #modelling #nondeterminism #online #testing
- Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors (CM, SN, KG, LCB), pp. 27–38.
- ESEC-FSE-2019-NejatiGMBFW #model checking #modelling #requirements #testing
- Evaluating model testing and model checking for finding requirements violations in Simulink models (SN, KG, CM, LCB, SF, DW), pp. 1015–1025.
- SLE-2019-GPMBB #multi #specification
- High-level mission specification for multiple robots (SG, PP, CM, TB, TB), pp. 127–140.
- FASE-2018-MenghiSCG #component #design #distributed #incremental
- Supporting Verification-Driven Incremental Distributed Design of Components (CM, PS, MC, CG), pp. 169–188.
- ICSA-2018-GarciaMPBW #architecture #collaboration #distributed
- An Architecture for Decentralized, Collaborative, and Autonomous Robots (SG0, CM, PP, TB, RW), pp. 75–84.