Concepedia
Statistics
Publications
34
Citations
1.4K
H-Index
19
Active since
1990
Affiliations
Politecnico di Milano(Current)
Institute of Electronics, Computer and Telecommunication Engineering
International Centre for Mechanical Sciences
Enel (Italy)
National Research Council
Angelo Morzenti is an author at Politecnico di Milano specializing in computing, computer science, and formal methods.
Publications per year
1990–2014
TRIO: A logic language for executable specifications of real-time systems
Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti · Journal of Systems and Software · 1990 · 243 citations
Computing, Computer Engineering, Computer Science +16
Generating test cases for real-time systems from logic specifications
Dino Mandrioli, Sandro Morasca, Angelo Morzenti · ACM Transactions on Computer Systems · 1995 · 140 citations · Full text
Computing, Computer Science, Systems Engineering +17
Proving properties of real-time systems through logical specifications and Petri net models
Miguel Felder, Dino Mandrioli, Angelo Morzenti · IEEE Transactions on Software Engineering · 1994 · 93 citations
Computing, Computer Engineering, Computer Science +17
A short note on the approximability of the maximum leaves spanning tree problem
Giulia Galbiati, Francesco Maffioli, Angelo Morzenti · Information Processing Letters · 1994 · 84 citations
Computing, Computer Science, Mathematics +7
A SURVEY AND ASSESSMENT OF SOFTWARE PROCESS REPRESENTATION FORMALISMS
P. Armenise, S. Bandinelli, Carlo Ghezzi et al. · International Journal of Software Engineering and Knowledge Engineering · 1993 · 72 citations
Computing, Computer Science, Formal Methods +10
1–5 of 34