СТ |
Generation of Execution Sequences for Modular Time Critical Systems |
2000 |
Pietro P. S., Morzenti A., Morasca S. |
|
|
|
IEEE Trans. on Software Engineering |
02.04.2002 |
СТ |
From Formal Models to Formally Based Methods: An Industrial Experience |
1999 |
Ciapessoni E., Coen-Porisini A., Crivelli E., Mandrioli D., Mirandola P., Morzenti A. |
|
|
|
ACM Trans. on Software Engineering and Methodology |
26.05.1999 |
СТ |
Proving Automated Support to Deductive Analysis of Time Critical Systems |
1997 |
Alborghetti A., Gargantini A., Morzenti A. |
|
|
|
Lecture Notes in Computer Science |
03.10.1997 |
СТ |
On the Approximability of some Maximum Spanning Tree Problems |
1995 |
Galbiati G., Morzenti A., Maffioli F. |
|
|
|
Lecture Notes in Computer Science |
13.04.1995 |
СТ |
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets |
1994 |
Felder M., Morzenti A. |
|
|
|
Lecture Notes in Artificial Intelligence |
12.08.1994 |
СТ |
Object-Oriented Logical Specification of Time-Critical Systems |
1994 |
Morzenti A., San Pietro P. |
|
|
|
ACM Trans. Software Engineering and Methodology |
29.04.1994 |
СТ |
A Model Parametric Real-Time Logic |
1992 |
Morzenti A., Mandrioli D., Ghezzi C. |
|
|
|
ACM Trans. Programming Languages and Systems |
10.12.1992 |
СТ |
Validating Real-Time Systems by Executing Logic Specifications |
1992 |
Morzenti A. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |