default search action
Matteo G. Rossi
Matteo Rossi 0001
Person information
- affiliation: Politecnico di Milano, Italy
Other persons with the same name
- Matteo Rossi — disambiguation page
- Matteo Rossi 0002
— University of Sannio, Department of Law Economics Management and Quantitative Methods, Benevento, Italy (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [e3]André Platzer
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14933, Springer 2025, ISBN 978-3-031-71161-9 [contents] - [e2]André Platzer
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14934, Springer 2025, ISBN 978-3-031-71176-3 [contents] - 2024
- [j37]Hassan Nazeer Chaudhry
Optimising Queries for Pattern Detection Over Large Scale Temporally Evolving Graphs. IEEE Access 12: 86790-86808 (2024) - [j36]Livia Lestingi
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. Softw. Syst. Model. 23(2): 473-502 (2024) - [j35]Mersedeh Sadeghi, Alessio Carenini, Óscar Corcho, Matteo Rossi, Riccardo Santoro, Andreas Vogelsang:
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture. J. Supercomput. 80(7): 8954-8987 (2024) - [c74]Alberto Tagliaferro
Towards Verifiable Multi-Agent Interaction Pattern Specification. FormaliSE@ICSE 2024: 122-126 - [c73]Luca Padalino
An Educational Module for Temporal Features in Alloy 6. FMTea 2024: 75-90 - [e1]Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney:
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024. ACM 2024, ISBN 979-8-4007-0969-2 [contents] - 2023
- [j34]Safia Kalwar
Automated Creation of Mappings Between Data Specifications Through Linguistic and Structural Techniques. IEEE Access 11: 30324-30339 (2023) - [j33]Livia Lestingi
Specification, stochastic modeling and analysis of interactive service robotic applications. Robotics Auton. Syst. 163: 104387 (2023) - [c72]Marcello M. Bersani, Matteo Camilli
Architecting Explainable Service Robots. ECSA 2023: 153-169 - [c71]Marcello M. Bersani, Matteo Camilli
Towards Better Trust in Human-Machine Teaming through Explainable Dependability. ICSA-C 2023: 86-90 - [c70]Marcello M. Bersani, Matteo Camilli
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. FormaliSE 2023: 18-28 - [c69]Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi:
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids. FormaliSE 2023: 120-129 - [c68]Marcello M. Bersani, Matteo Camilli
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. REW 2023: 309-315 - [c67]Mersedeh Sadeghi
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options. SAC 2023: 741-750 - [i12]Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi:
Lecture Notes on Monadic First- and Second-Order Logic on Strings. CoRR abs/2301.10519 (2023) - 2022
- [j32]Alireza Javadian Sabet
THOR: A Hybrid Recommender System for the Personalized Travel Experience. Big Data Cogn. Comput. 6(4): 131 (2022) - [j31]Livia Lestingi
Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior. IEEE Intell. Syst. 37(6): 48-56 (2022) - [j30]Mohammad Mehdi Pourhashem Kallehbasti
On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. IEEE Trans. Software Eng. 48(4): 1154-1168 (2022) - [c66]Livia Lestingi, Cristian Sbrolli
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings. FormaliSE@ICSE 2022: 80-90 - [c65]Sepehr Samavati, Alexander Nemirovskiy, Matteo Rossi:
Delay Estimation for Shared Rides From GPS Data. ITSC 2022: 2655-2662 - [c64]Mahsa Shekari, Alireza Javadian Sabet, Chaofeng Guan, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca:
Personalized Context-Aware Recommender System for Travelers. SEBD 2022: 497-504 - [i11]Mersedeh Sadeghi, Petr Buchnicek, Alessio Carenini, Óscar Corcho, Stefanos Gogos, Matteo Rossi, Riccardo Santoro:
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport. CoRR abs/2203.14568 (2022) - 2021
- [j29]Livia Lestingi
A Deployment Framework for Formally Verified Human-Robot Interactions. IEEE Access 9: 136616-136635 (2021) - [j28]Mehrnoosh Askarpour
Formally-based Model-Driven Development of Collaborative Robotic Applications. J. Intell. Robotic Syst. 102(3): 59 (2021) - [c63]Pietro Daverio, Hassan Nazeer Chaudhry, Alessandro Margara, Matteo Rossi:
Temporal Pattern Recognition in Graph Data Structures. IEEE BigData 2021: 2753-2763 - [c62]Nicolò Oreste Pinciroli Vago, Mario Sacaj, Mersedeh Sadeghi, Safia Kalwar, Andreas Vogelsang, Matteo G. Rossi:
On the Visualization of Semantic-based Mappings. Sem4Tra@SEMANTiCS 2021 - [c61]Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
Improved Bounded Model Checking of Timed Automata. FormaliSE@ICSE 2021: 97-110 - [c60]Mersedeh Sadeghi, Luca Sartor, Matteo G. Rossi:
A semantic-based access control mechanism for distributed systems. SAC 2021: 1864-1873 - [c59]Mehrnoosh Askarpour
RoboMAX: Robotic Mission Adaptation eXemplars. SEAMS@ICSE 2021: 245-251 - [c58]Safia Kalwar
SMART: Towards Automated Mapping between Data Specifications. SEKE 2021: 429-436 - [i10]Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
Improved Bounded Model Checking of Timed Automata. CoRR abs/2104.12444 (2021) - 2020
- [j27]Luciano Baresi
Using formal verification to evaluate the execution time of Spark applications. Formal Aspects Comput. 32(1): 33-70 (2020) - [j26]Marcello M. Bersani, Matteo Soldo, Claudio Menghi
PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects Comput. 32(2-3): 187-227 (2020) - [j25]Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
On the initialization of clocks in timed formalisms. Theor. Comput. Sci. 813: 175-198 (2020) - [j24]Claudio Menghi
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach. ACM Trans. Comput. Log. 21(3): 26:1-26:44 (2020) - [j23]Federico Vicentini
Safety Assessment of Collaborative Robotics Through Automated Formal Verification. IEEE Trans. Robotics 36(1): 42-61 (2020) - [c57]Mehrnoosh Askarpour
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications. ICHMS 2020: 1-6 - [c56]Alireza Javadian Sabet
Towards Learning Travelers' Preferences in a Context-Aware Fashion. ISAmI 2020: 203-212 - [c55]Alireza Javadian Sabet, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca:
Context Awareness in the Travel Companion of the Shift2Rail Initiative. SEBD 2020: 202-209 - [c54]Livia Lestingi
Formal Verification of Human-Robot Interaction in Healthcare Scenarios. SEFM 2020: 303-324 - [c53]Livia Lestingi
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. SMC 2020: 1907-1914 - [c52]Mehrnoosh Askarpour
Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation. AREA@ECAI 2020: 1-8 - [c51]Livia Lestingi
Statistical Model Checking of Human-Robot Interaction Scenarios. AREA@ECAI 2020: 9-17
2010 – 2019
- 2019
- [c50]Mehrnoosh Askarpour
Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 110-130 - [c49]Hassan Nazeer Chaudhry
Temporal Pattern Recognition in Large Scale Graphs. DEBS 2019: 250-251 - [c48]Marjan Hosseini, Safia Kalwar, Matteo G. Rossi, Mersedeh Sadeghi:
Automated Mapping for Semantic-based Conversion of Transportation Data Formats. SEM4TRA-AMAR@SEMANTiCS 2019 - 2018
- [c47]Francesco Marconi
On the Timed Analysis of Big-Data Applications. NFM 2018: 315-332 - [c46]Marcello M. Bersani, Francesco Marconi, Matteo Rossi:
Trace Checking of Streaming Applications through DICE-TraCT. ICPE Companion 2018: 159-160 - [i9]Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
A Flexible Approach for Checking Timed Automata on Continuous Time Semantics. CoRR abs/1806.08684 (2018) - 2017
- [j22]Marcello M. Bersani, Matteo Rossi
A logical characterization of timed regular languages. Theor. Comput. Sci. 658: 46-59 (2017) - [j21]Luciano Baresi
A Logic-Based Approach for the Verification of UML Timed Models. ACM Trans. Softw. Eng. Methodol. 26(2): 7:1-7:47 (2017) - [j20]Raphaël Troncy
3cixty: Building comprehensive knowledge bases for city exploration. J. Web Semant. 46-47: 2-13 (2017) - [c45]Mehrnoosh Askarpour
A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications. Ershov Informatics Conference 2017: 12-27 - [c44]Francesco Marconi, Marcello M. Bersani, Matteo Rossi:
Formal verification of storm topologies through D-VerT. SAC 2017: 1168-1174 - [c43]Mehrnoosh Askarpour
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. SAFECOMP 2017: 89-104 - [c42]Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
Formal verification of data-intensive applications through model checking modulo theories. SPIN 2017: 98-101 - 2016
- [j19]Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
A tool for deciding the satisfiability of continuous-time metric temporal logic. Acta Informatica 53(2): 171-206 (2016) - [j18]Matteo Rossi
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. Theor. Comput. Sci. 643: 38-64 (2016) - [c41]Francesco Marconi, Marcello M. Bersani, Madalina Erascu
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. ICFEM 2016: 193-209 - [c40]Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
A tool for verification of big-data applications. QUDOS@ISSTA 2016: 44-45 - [c39]Luciano Baresi
How bit-vector logic can help improve the verification of LTL specifications over infinite domains. SAC 2016: 1666-1673 - [c38]Mehrnoosh Askarpour
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. SAFECOMP 2016: 283-295 - [c37]Maryam Ehsanpour, Luciano Baresi, Matteo Rossi, Ernesto Damiani:
Analysis of Energy-Efficient Buildings through Simulation and Formal Methods. SIMPDA 2016: 113-119 - 2015
- [j17]Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
An SMT-based approach to satisfiability checking of MITL. Inf. Comput. 245: 72-97 (2015) - [j16]Luciano Baresi
Formal verification and validation of embedded systems: the UML-based MADES approach. Softw. Syst. Model. 14(1): 343-363 (2015) - [c36]Luciano Baresi
Efficient Scalable Verification of LTL Specifications. ICSE (1) 2015: 711-721 - 2014
- [j15]Andrea G. Bianchessi, Gianpaolo Cugola, Simone Formentin
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing. IEEE Intell. Transp. Syst. Mag. 6(3): 96-108 (2014) - [j14]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella
Constraint LTL satisfiability checking without automata. J. Appl. Log. 12(4): 522-557 (2014) - [j13]Emanuele Carpanzano
Automated formal verification for flexible manufacturing systems. J. Intell. Manuf. 25(5): 1181-1195 (2014) - [c35]Luciano Baresi
Flexible modular formalization of UML sequence diagrams. FormaliSE 2014: 10-16 - [c34]Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
A Logical Characterization of Timed (non-)Regular Languages. MFCS (1) 2014: 75-86 - 2013
- [j12]Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro:
On the Satisfiability of Metric Temporal Logics over the Reals. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [j11]Andrea G. Bianchessi, Carlo Ongini, S. Rotondi, Mara Tanelli
A Flexible Architecture for Managing Vehicle Sharing Systems. IEEE Embed. Syst. Lett. 5(3): 30-33 (2013) - [j10]Yu Zhou, Luciano Baresi
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. J. Comput. Sci. Technol. 28(1): 188-202 (2013) - [c33]Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities. RP 2013: 70-82 - [c32]Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic. TIME 2013: 99-106 - [c31]Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro:
Deciding the Satisfiability of MITL Specifications. GandALF 2013: 64-78 - 2012
- [b1]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling Time in Computing. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2012, ISBN 978-3-642-32331-7, pp. I-XVI, 1-423 - [j9]Luciano Baresi
A logic-based semantics for the verification of multi-diagram UML models. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [c30]Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA 2012: 340-351 - [c29]Luca Ferrucci
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. FMICS 2012: 162-176 - [c28]Giovanni Alli, Luciano Baresi, Andrea G. Bianchessi, Gianpaolo Cugola, Alessandro Margara, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, S. Rotondi, Sergio M. Savaresi, Fabio Alberto Schreiber, Alessandro Sivieri, Letizia Tanca, Edoardo G. Vannutelli Depoli:
Green Move: Towards next generation sustainable smartphone-based vehicle sharing. SustainIT 2012: 1-5 - [c27]Luciano Baresi
Flexible logic-based Co-simulation of Modelica models. INDIN 2012: 635-640 - [c26]Imran Rafiq Quadri, Etienne Brosse, Ian Gray, Nikolas Drivalos Matragkas, Leandro Soares Indrusiak
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems. ReCoSoC 2012: 1-8 - [c25]Luca Ferrucci
A Metric Temporal Logic for Dealing with Zero-Time Transitions. TIME 2012: 81-88 - [p1]Nicolò Maria Calcavecchia, Elisabetta Di Nitto
Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches. ArtDeco 2012: 85-113 - [i8]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Constraint LTL Satisfiability Checking without Automata. CoRR abs/1205.0946 (2012) - [i7]Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach. CoRR abs/1206.0911 (2012) - 2011
- [c24]Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro
Completeness of the Bounded Satisfiability Problem for Constraint LTL. RP 2011: 58-71 - 2010
- [j8]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42(2): 6:1-6:59 (2010) - [j7]Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young:
SCORE: the first student contest on software engineering. ACM SIGSOFT Softw. Eng. Notes 35(4): 24-30 (2010) - [j6]Carlo A. Furia, Matteo Rossi:
A theory of sampling for continuous-time metric temporal logic. ACM Trans. Comput. Log. 12(1): 8:1-8:40 (2010) - [c23]Luciano Baresi
Towards the UML-Based Formal Verification of Timed Systems. FMCO 2010: 267-286 - [c22]Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi:
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. ICECCS 2010: 85-94 - [c21]Luciano Baresi
From Interaction Overview Diagrams to Temporal Logic. MoDELS (Workshops) 2010: 90-104 - [c20]Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. SEFM 2010: 244-254 - [c19]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella
Bounded Reachability for Temporal Logic over Constraint Systems. TIME 2010: 43-50 - [i6]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Bounded Reachability for Temporal Logic over Constraint Systems. CoRR abs/1004.1077 (2010) - [i5]Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi:
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability. CoRR abs/1004.2873 (2010)
2000 – 2009
- 2009
- [j5]Carlo A. Furia, Matteo Pradella
Comments on temporal logics for real-time system specification. ACM Comput. Surv. 41(2): 13:1-13:5 (2009) - [c18]Marcello M. Bersani, Carlo A. Furia, Matteo Pradella
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. SEFM 2009: 13-22 - [i4]Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. CoRR abs/0907.5074 (2009) - [i3]Carlo A. Furia, Matteo Rossi:
A Theory of Sampling for Continuous-time Metric Temporal Logic. CoRR abs/0911.5642 (2009) - 2008
- [c17]Carlo A. Furia, Matteo Pradella
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. FM 2008: 132-147 - [c16]Carlo A. Furia, Matteo Rossi:
MTL with Bounded Variability: Decidability and Complexity. FORMATS 2008: 109-123 - [c15]Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Practical Automated Partial Verification of Multi-paradigm Real-Time Models. ICFEM 2008: 298-317 - [i2]Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models. CoRR abs/0804.4383 (2008) - [i1]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling Time in Computing: A Taxonomy and a Comparative Survey. CoRR abs/0807.4132 (2008) - 2007
- [j4]Carlo A. Furia, Matteo Rossi:
No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. Bull. EATCS 92: 150-160 (2007) - [j3]Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti:
Automated compositional proofs for real-time systems. Theor. Comput. Sci. 376(3): 164-184 (2007) - [c14]Carlo A. Furia, Matteo Rossi:
On the Expressiveness of MTL Variants over Dense Time. FORMATS 2007: 163-178 - [c13]Carlo A. Furia, Matteo Rossi, Dino Mandrioli:
Modeling the Environment in Software-Intensive Systems. MiSE@ICSE 2007: 11 - [c12]Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio:
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. ICTAC 2007: 366-380 - 2006
- [j2]Carlo A. Furia, Angelo Morzenti, Matteo Pradella
Comments on "An Interval Logic for Real-Time System Specification'. IEEE Trans. Software Eng. 32(6): 424-427 (2006) - [c11]Carlo A. Furia, Matteo Rossi:
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. FORMATS 2006: 215-229 - [c10]Marco Rolando, Matteo Rossi, Niccolò Sanarico, Dino Mandrioli:
A formal approach to sensor placement and configuration in a network intrusion detection system. SESS@ICSE 2006: 65-71 - [c9]Pietro Colombo, Matteo Pradella, Matteo Rossi:
A UML 2-compatible language and tool for formal modeling real-time system architectures. SAC 2006: 1785-1790 - 2005
- [c8]Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti:
Automated Compositional Proofs for Real-Time Systems. FASE 2005: 326-340 - [c7]Matteo Pradella
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. FORTE 2005: 381-395 - [c6]Matteo Pradella
A UML-Compatible Formal Language for System Architecture Description. SDL Forum 2005: 234-246 - 2004
- [c5]Andrea Matta, Carlo A. Furia, Matteo Rossi:
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems. ISCIS 2004: 718-728 - [c4]Matteo Rossi, Dino Mandrioli:
A formal approach for modeling and verification of RTCORBA-based applications. ISSTA 2004: 263-273 - [c3]Carlo A. Furia, Matteo Rossi:
A Compositional Framework for Formally Verifying Modular Systems. TACoS 2004: 185-198 - 2003
- [j1]Alberto Coen-Porisini
A formal approach for designing CORBA-based applications. ACM Trans. Softw. Eng. Methodol. 12(2): 107-151 (2003) - 2000
- [c2]Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
A formal approach for designing CORBA based applications. ICSE 2000: 188-197
1990 – 1999
- 1999
- [c1]Angelo Morzenti, Matteo Pradella
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. PDSE 1999: 217-223
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: