BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rossi:Matteo

Contributed to:

ICSE 20152015
ECMFA 20122012
ECMFA 20122015
SEFM 20102010
SEFM 20092009
FM 20082008
SAC 20062006
FASE 20052005
ICSE 20002000

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

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.