Travelled to:1 × Italy
1 × Vietnam
Collaborated with:M.Pradella M.Rossi C.A.Furia L.Cavallaro A.Frigeri Francesco Marconi D.A.Tamburri P.Jamshidi Andrea Nodari
Talks about:system (2) verif (2) base (2) constraint (1) substitut (1) architect (1) paradigm (1) multipl (1) continu (1) stream (1)
Person: Marcello M. Bersani
DBLP: Bersani:Marcello_M=
Contributed to:
20102009
2016Wrote 3 papers:
- 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.
- WICSA-2016-BersaniMTJN #architecture
- Continuous Architecting of Stream-Based Systems (MMB, FM, DAT, PJ, AN), pp. 146–151.