By Type (with techcnical reports)
DBLP
C. A. Furia, D. Mandrioli, A. Morzenti, M. Rossi, Modeling Time in Computing: a taxonomy and a comparative survey, accepted for publication in ACM Computing Surveys. (A preliminary version of the paper can be found here)
C. A. Furia, M. Pradella, M. Rossi,
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models,
International Conference on Formal Engineering Methods (ICFEM'08), Lecture Notes in Computer Science, vol. 5256/-1, October 2008, pp. 298-317,
doi:10.1007/978-3-540-88194-0_19
C. A. Furia, M. Rossi,
MTL with Bounded Variability: Decidability and Complexity,
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'08), Lecture Notes in Computer Science, vol. 5215, September 2008, pp. 109-123,
doi:10.1007/978-3-540-85778-5_9
C. A. Furia, M. Pradella, M. Rossi, Comments on "Temporal Logics for Real-Time System Specification", accepted for publication in ACM Computing Surveys
C. A. Furia, M. Pradella, M. Rossi,
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation,
International Symposium on Formal Methods (FM'08), Lecture Notes in Computer Science, vol. 5014, May 2008, pp. 132-147,
doi:10.1007/978-3-540-68237-0_11
C. A. Furia, M. Rossi,
On the Expressiveness of MTL Variants over Dense Time,
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'07),
Lecture Notes in Computer Science, vol. 4763, October 2007, pp. 163-178
doi:10.1007/978-3-540-75454-1_13
A. Matta, M. Rossi, P. Spoletini, D. Mandrioli, Q. Semeraro, T. Tolio,
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems,
International Colloquium on Theoretical Aspects of Computing (ICTAC'07),
Lecture Notes in Computer Science, vol. 4711, September 2007, pp. 366-380
doi:10.1007/978-3-540-75292-9_25
C. A. Furia, M. Rossi,
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators,
Bulletin of the European Association for Theoretical Computer Science, n. 92, June 2007, pp. 150-160
C. A. Furia, M. Rossi, D. Mandrioli,
Modeling the Environment in Software-Intensive Systems,
International Workshop on Modeling in Software Engineering (MISE07), May 2007
doi:10.1109/MISE.2007.11
C. A. Furia, M. Rossi, D. Mandrioli, A. Morzenti,
Automated Compositional Proofs for Real-Time Systems,
Theoretical Computer Science, special issue on FASE 2004/2005, vol. 376, n. 3, May 2007, pp. 164-184,
doi:10.1016/j.tcs.2007.02.003
C. A. Furia, M. Rossi,
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling,
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'06),
Lecture Notes in Computer Science, vol. 4202, September 2006, pp. 215-229
doi:10.1007/11867340_16
P. Spoletini, M. Tomasella, A. Matta, M. Rossi,
Formal Verification in Analysis and Design of Production Systems,
International Seminar on Intelligent Computation in Manufaturing Engineering (ICME06), July 2006, pp. 367-372
C. A. Furia, A. Morzenti, M. Pradella, M. Rossi,
Comments on "A Temporal Logic for Real-Time System Specification",
IEEE Transactions on Software Engineering, vol. 32, n. 6, June 2006, pp. 424-427,
doi:10.1109/TSE.2006.50
M. Rolando, M. Rossi, N. Sanarico, D. Mandrioli,
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System,
Workshop on Software Engineering for Secure Systems (SESS06), May 2006, pp. 65-71
doi:10.1145/1137627.1137638
P. Colombo, M. Pradella, M. Rossi, G. Sassaroli,
A UML 2-compatible language and tool for formal modeling real-time system architectures,
Symposium on Applied Computing, Software Engineering Track (SAC-SE 2006), April 2006, pp. 1785-1790
doi:10.1145/1141277.1141696
M. Pradella, M. Rossi, D. Mandrioli,
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics,
Formal Techniques for Networked and Distributed Systems (FORTE 2005),
Lecture Notes in Computer Science, vol. 3731, October 2005, pp. 381-395
doi:10.1007/11562436_28
M. Pradella, M. Rossi, D. Mandrioli,
A UML-compatible formal language for system architecture description,
12th SDL Forum, Lecture Notes in Computer Science, vol. 3530, June 2005, pp. 234-246
doi:10.1007/11506843_17
C. A. Furia, M. Rossi, D. Mandrioli, A. Morzenti,
Automated Compositional Proofs for Real-Time Systems,
Fundamental Approaches to Software Engineering (FASE'05), Lecture Notes in Computer Science, vol. 3442, April 2005, pp 326-340
A. Matta, C. A. Furia, M. Rossi,
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems,
19th International Symposium on Computer and Information Sciences (ISCIS'04),
Lecture Notes in Computer Science, vol. 3280, October 2004, pp. 718-728
M. Rossi, D. Mandrioli, A
Formal Approach for Modeling and Verification of RTCORBA-based
Applications, International Symposium on Software Testing and
Analysis, July 2004, pp. 263-273.
doi:10.1145/1007512.1007548
C. A. Furia, M. Rossi, A Compositional Framework for Formally
Verifying Modular Systems, 2nd International
Workshop on Test and Analysis of Component Based Systems (TACoS 2004),
Barcelona, Spain, March 2004, pp. 169-180.
doi:10.1016/j.entcs.2004.02.076
M. Pezze', A. Baldini, G. Denaro, G. Lipari, M. Rossi, D. Rogai, QUACK: a platform for the quality of new
generation integrated embedded systems, 2nd International
International Workshop on Test and Analysis of Component Based Systems (TACoS 2004),
Barcelona, Spain, March 2004, pp. 101-119.
doi:10.1016/j.entcs.2004.02.082
A. Coen-Porisini, M. Pradella, M. Rossi, D. Mandrioli, A
Formal Approach for Designing CORBA-based Applications, ACM
Transactions On Software Engineering and Methodology, vol. 12, n. 2,
April 2003, pp. 107-151,
doi:10.1145/941566.941567
M. Rossi, M. Lovera, A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits, Proc. of the International ESA Conference on Guidance, Navigation and Control Systems, Frascati, Italia, October 2002.
M. Rossi, M. Lovera, A
Multirate Predictive Approach to Orbit Control of Small Spacecraft,
Proc. of the American Control Conference (ACC2002), Anchorage, Alaska, USA, May 2002, pp. 1843-1848.
doi:10.1109/ACC.2002.1023835
A. Coen-Porisini, M. Pradella, M. Rossi, D. Mandrioli, A
Formal Approach for Designing CORBA based Applications, Proc.
of the 22nd International Conference on Software Engineering (ICSE
2000), Limerick (IR), June 4-11, 2000, pp. 188-197.
doi:10.1145/337180.337202
A. Coen-Porisini, M. Pradella, M. Rossi, An Evolutionary Approach to the Design of
Supervision and Control Systems, Proc. of the International
Workshop on Principles of Software Evolution (IWPSE'99), Fukuoka City (JP), July 1999, pp. 37-42.
A. Morzenti, M. Pradella, M. Rossi, S. Russo, A. Sergio, A
Case Study in Object-oriented modeling and Design of Distributed
Multimedia Applications, Proc. of 2nd Symposium on Software
Engineering for Parallel and Distributed Systems (PDSE'99), Los Angeles (USA),
May 1999, IEEE Computer Society Press, pp. 217 - 223.
doi:10.1109/PDSE.1999.779755