Travelled to:1 × Denmark
1 × Finland
1 × France
1 × Ireland
1 × United Kingdom
1 × Vietnam
2 × Italy
Collaborated with:M.Pradella C.A.Furia L.Baresi D.Mandrioli M.M.Bersani M.M.P.Kallehbasti P.Colombo A.Radjenovic R.F.Paige A.Motta D.S.Kolovos A.Morzenti A.Coen-Porisini L.Cavallaro A.Frigeri N.D.Matragkas G.Blohm N.D.Matragkas
Talks about:verif (6) system (5) time (5) specif (3) formal (3) model (3) autom (3) real (3) base (3) uml (3)
Person: Matteo Rossi
DBLP: Rossi:Matteo
Contributed to:
2015
20122015
20102009
2008
2006
20052000Wrote 9 papers:
- ICSE-v1-2015-BaresiKR #ltl #performance #scalability #specification #verification
- Efficient Scalable Verification of LTL Specifications (LB, MMPK, MR), pp. 711–721.
- ECMFA-2012-RadjenovicMPRMBK #automation #embedded #modelling #named #uml #verification
- MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems (AR, NDM, RFP, MR, AM, LB, DSK), pp. 340–351.
- ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #validation #verification
- Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
- SEFM-2010-BersaniCFPR #constraints #integer #ltl #runtime #smt #specification #verification
- SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability (MMB, LC, AF, MP, MR), pp. 244–254.
- SEFM-2009-BersaniFPR #modelling #multi #paradigm #realtime #verification
- Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (MMB, CAF, MP, MR), pp. 13–22.
- FM-2008-FuriaPR #approximate #automation #specification #verification
- Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation (CAF, MP, MR), pp. 132–147.
- SAC-2006-ColomboPR #architecture #formal method #modelling #realtime #uml
- A UML 2-compatible language and tool for formal modeling real-time system architectures (PC, MP, MR), pp. 1785–1790.
- FASE-2005-FuriaRMM #automation #composition #proving #realtime
- Automated Compositional Proofs for Real-Time Systems (CAF, MR, DM, AM), pp. 326–340.
- ICSE-2000-PradellaRMC #approach #corba #design #formal method
- A formal approach for designing CORBA based applications (MP, MR, DM, ACP), pp. 188–197.