Travelled to:1 × Australia
1 × Croatia
1 × France
1 × Spain
1 × Sweden
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × Switzerland
3 × Italy
Collaborated with:P.S.Pietro M.Pradella L.Breveglieri S.Crespi-Reghizzi S.Morasca A.Borsotti D.Mandrioli M.Felder C.Ghezzi A.Alborghetti A.Gargantini C.A.Furia M.Rossi P.Spoletini P.Armenise S.Bandinelli F.Garzotto
Talks about:system (8) specif (7) time (7) check (4) real (4) model (3) logic (3) autom (3) regular (2) modular (2)
Person: Angelo Morzenti
DBLP: Morzenti:Angelo
Contributed to:
2015
2014
2009
2008
2007
2005200319981997
1996
1992
1992
1991
1987Wrote 15 papers:
- CIAA-2015-BorsottiBCM #ambiguity #automaton #parsing #regular expression
- From Ambiguous Regular Expressions to Deterministic Parsing Automata (AB, LB, SCR, AM), pp. 35–48.
- CIAA-2015-BorsottiBCM15a #ambiguity #named #parsing #regular expression
- BSP: A Parsing Tool for Ambiguous Regular Expressions (AB, LB, SCR, AM), pp. 313–316.
- LATA-2014-BreveglieriCM #network #parsing
- Shift-Reduce Parsers for Transition Networks (LB, SCR, AM), pp. 222–235.
- FM-2009-PradellaMP #bound #encoding #metric #model checking
- A Metric Encoding for Bounded Model Checking (MP, AM, PSP), pp. 741–756.
- ASE-2008-PradellaMP #bound #realtime #satisfiability #specification
- Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking (MP, AM, PSP), pp. 119–127.
- ESEC-FSE-2007-PradellaMP #symmetry #verification
- The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties (MP, AM, PSP), pp. 312–320.
- FASE-2005-FuriaRMM #automation #composition #proving #realtime
- Automated Compositional Proofs for Real-Time Systems (CAF, MR, DM, AM), pp. 326–340.
- FME-2003-MorzentiPPS #model checking #specification
- Model-Checking TRIO Specifications in SPIN (AM, MP, PSP, PS), pp. 542–561.
- ASE-1998-MorzentiPM #analysis #automation #composition #specification
- A Tool for Automated System Analysis based on Modular Specifications (AM, PSP, SM), pp. 2–11.
- ESEC-FSE-1997-AlborghettiGM #analysis #automation #deduction
- Providing Automated Support to Deductive Analysis of Time Critical Systems (AA, AG, AM), pp. 211–226.
- ISSTA-1996-MorascaMP #functional #generative #in the large #specification #testing
- Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications (SM, AM, PSP), pp. 39–52.
- ICSE-1992-FelderM #realtime #specification #validation
- Validating Real-Time Systems by History-Checking TRIO Specifications (MF, AM), pp. 199–211.
- SEKE-1992-ArmeniseBGM #assessment #overview #process #representation
- Software Processes Representation Languages: Survey and Assessment (PA, SB, CG, AM), pp. 455–462.
- ECOOP-1991-MorzentiP #composition #logic #object-oriented #specification
- An Object-Oriented Logic Language for Modular System Specification (AM, PSP), pp. 39–58.
- ESEC-1987-GarzottoGMM #logic programming #on the #realtime #specification #using
- On the Specification of Real-Time Systems Using Logic Programming (FG, CG, DM, AM), pp. 180–190.