The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Matteo Rossi" ( http://dblp.L3S.de/Authors/Matteo_Rossi )

  Author page on DBLP  Author page in RDF  Community of Matteo Rossi in ASPL-2

Publication years (Num. hits)
1999-2007 (19) 2008-2010 (20) 2011-2013 (20) 2014-2016 (21) 2017-2019 (18)
Publication types (Num. hits)
article(38) book(1) incollection(1) inproceedings(57) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 46 occurrences of 28 keywords

Results
Found 99 publication records. Showing 98 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Matteo Rossi, Matteo Bianchi 0002, Edoardo Battaglia, Manuel G. Catalano, Antonio Bicchi HapPro: A Wearable Haptic Device for Proprioceptive Feedback. Search on Bibsonomy IEEE Trans. Biomed. Engineering The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michele Maimeri, Cosimo Della Santina, Cristina Piazza, Matteo Rossi, Manuel G. Catalano, Giorgio Grioli Design and Assessment of Control Maps for Multi-Channel sEMG-Driven Prostheses and Supernumerary Limbs. Search on Bibsonomy Front. Neurorobot. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hassan Nazeer Chaudhry, Alessandro Margara, Matteo Rossi Temporal Pattern Recognition in Large Scale Graphs. Search on Bibsonomy DEBS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos Formal Methods in Designing Critical Cyber-Physical Systems. Search on Bibsonomy From Software Engineering to Formal Methods and Tools, and Back The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marjan Hosseini, Safia Kalwar, Matteo Rossi, Mersedeh Sadeghi Automated Mapping for Semantic-based Conversion of Transportation Data Formats. Search on Bibsonomy SEM4TRA-AMAR@SEMANTICS The full citation details ... 2019 DBLP  BibTeX  RDF
1Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi (eds.) Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2019 DBLP  BibTeX  RDF
1Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro A Flexible Approach for Checking Timed Automata on Continuous Time Semantics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marcello M. Bersani, Francesco Marconi, Matteo Rossi Trace Checking of Streaming Applications through DICE-TraCT. Search on Bibsonomy ICPE Companion The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi On the Timed Analysis of Big-Data Applications. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro A logical characterization of timed regular languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raphaël Troncy, Giuseppe Rizzo 0002, Anthony Jameson, Óscar Corcho, Julien Plu, Enrico Palumbo, Juan Carlos Ballesteros Hermida, Adrian Spirescu, Kai-Dominik Kuhn, Catalin-Mihai Barbu, Matteo Rossi, Irene Celino, Rachit Agarwal 0002, Christian Scanu, Massimo Valla, Timber Haaker 3cixty: Building comprehensive knowledge bases for city exploration. Search on Bibsonomy J. Web Semant. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi A Logic-Based Approach for the Verification of UML Timed Models. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cristina Piazza, Manuel G. Catalano, Sasha B. Godfrey, Matteo Rossi, Giorgio Grioli, Matteo Bianchi 0002, Kristin Zhao, Antonio Bicchi The SoftHand Pro-H: A Hybrid Body-Controlled, Electrically Powered Hand Prosthesis for Daily Living and Working. Search on Bibsonomy IEEE Robot. Automat. Mag. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications. Search on Bibsonomy Ershov Informatics Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Marconi, Marcello M. Bersani, Matteo Rossi Formal verification of storm topologies through D-VerT. Search on Bibsonomy SAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi Formal verification of data-intensive applications through model checking modulo theories. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matteo Rossi, Cosimo Della Santina, Cristina Piazza, Giorgio Grioli, Manuel G. Catalano, Antonio Bicchi Preliminary results toward a naturally controlled multi-synergistic prosthetic hand. Search on Bibsonomy ICORR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro A tool for deciding the satisfiability of continuous-time metric temporal logic. Search on Bibsonomy Acta Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Luca Ferrucci A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arash Ajoudani, Elif Hocaoglu, Alessandro Altobelli, Matteo Rossi, Edoardo Battaglia, Nikos G. Tsagarakis, Antonio Bicchi Reflex control of the Pisa/IIT SoftHand during object slippage. Search on Bibsonomy ICRA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi How bit-vector logic can help improve the verification of LTL specifications over infinite domains. Search on Bibsonomy SAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maryam Ehsanpour, Luciano Baresi, Matteo Rossi, Ernesto Damiani Analysis of Energy-Efficient Buildings through Simulation and Formal Methods. Search on Bibsonomy SIMPDA The full citation details ... 2016 DBLP  BibTeX  RDF
1Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu A tool for verification of big-data applications. Search on Bibsonomy QUDOS@ISSTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi Formal verification and validation of embedded systems: the UML-based MADES approach. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gabriele Manoli, Matteo Rossi, Damiano Pasetto, Rita Deiana, Stefano Ferraris, Giorgio Cassiani, Mario Putti An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment. Search on Bibsonomy J. Comput. Physics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Galardini, Matteo Brilli, Giulia Spini, Matteo Rossi, Bianca Roncaglia, Alessia Bani, Manuela Chiancianesi, Marco Moretto, Kristof Engelen, Giovanni Bacci 0002, Francesco Pini, Emanuele G. Biondi, Marco Bazzicalupo, Alessio Mengoni Evolution of Intra-specific Regulatory Networks in a Multipartite Bacterial Genome. Search on Bibsonomy PLoS Computational Biology The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro An SMT-based approach to satisfiability checking of MITL. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sasha B. Godfrey, Alessandro Altobelli, Matteo Rossi, Antonio Bicchi Effect of homogenous object stiffness on tri-digit grasp properties. Search on Bibsonomy EMBC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matteo Rossi, Simone Benatti, Elisabetta Farella, Luca Benini Hybrid EMG classifier based on HMM and SVM for hand gesture recognition in prosthetics. Search on Bibsonomy ICIT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi Efficient Scalable Verification of LTL Specifications. Search on Bibsonomy ICSE (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giuliano Casale, Danilo Ardagna, Matej Artac, Franck Barbier, Elisabetta Di Nitto, Alexis Henry, Gabriel Iuhasz, Christophe Joubert, José Merseguer, Victor Ion Munteanu, Juan Fernando Pérez, Dana Petcu, Matteo Rossi, Craig Sheridan, Ilias Spais, Daniel Vladuic DICE: Quality-Driven Development of Data-Intensive Cloud Applications. Search on Bibsonomy MiSE@ICSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi Automated formal verification for flexible manufacturing systems. Search on Bibsonomy J. Intelligent Manufacturing The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrea G. Bianchessi, Gianpaolo Cugola, Simone Formentin, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, Sergio M. Savaresi, Fabio A. Schreiber, Letizia Tanca, Edoardo G. Vannutelli Depoli Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing. Search on Bibsonomy IEEE Intell. Transport. Syst. Mag. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro Constraint LTL satisfiability checking without automata. Search on Bibsonomy J. Applied Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro A Logical Characterization of Timed (non-)Regular Languages. Search on Bibsonomy MFCS (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi Flexible modular formalization of UML sequence diagrams. Search on Bibsonomy FormaliSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrea G. Bianchessi, Carlo Ongini, S. Rotondi, Mara Tanelli, Matteo Rossi, Gianpaolo Cugola, Sergio M. Savaresi A Flexible Architecture for Managing Vehicle Sharing Systems. Search on Bibsonomy Embedded Systems Letters The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yu Zhou, Luciano Baresi, Matteo Rossi Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro On the Satisfiability of Metric Temporal Logics over the Reals. Search on Bibsonomy ECEASST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro Deciding the Satisfiability of MITL Specifications. Search on Bibsonomy GandALF The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro Deciding Continuous-Time Metric Temporal Logic with Counting Modalities. Search on Bibsonomy RP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Palazzo, Matteo Rossi, Aldo Franco Dragoni, Andrea Claudi, Gianluca Dolcini, Paolo Sernani A Multi-Agent Architecture for Health Information Systems. Search on Bibsonomy KES-AMSTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi A logic-based semantics for the verification of multi-diagram UML models. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro Constraint LTL Satisfiability Checking without Automata Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nicolò Maria Calcavecchia, Elisabetta Di Nitto, Daniel J. Dubois, Carlo Ghezzi, Valentina Mazza, Matteo Rossi Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches. Search on Bibsonomy ArtDeco The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi Modeling Time in Computing. Search on Bibsonomy 2012   DOI  RDF
1Imran Rafiq Quadri, Etienne Brosse, Ian Gray, Nikolas Drivalos Matragkas, Leandro Soares Indrusiak, Matteo Rossi, Alessandra Bagnato, Andrey Sadovykh MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems. Search on Bibsonomy ReCoSoC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. Search on Bibsonomy FMICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Giovanni Alli, Luciano Baresi, Andrea G. Bianchessi, Gianpaolo Cugola, Alessandro Margara, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, S. Rotondi, Sergio M. Savaresi, Fabio A. Schreiber, Alessandro Sivieri, Letizia Tanca, Edoardo G. Vannutelli Depoli Green Move: Towards next generation sustainable smartphone-based vehicle sharing. Search on Bibsonomy SustainIT The full citation details ... 2012 DBLP  BibTeX  RDF
1Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi A Metric Temporal Logic for Dealing with Zero-Time Transitions. Search on Bibsonomy TIME The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Gianni Ferretti, Alberto Leva, Matteo Rossi Flexible logic-based Co-simulation of Modelica models. Search on Bibsonomy INDIN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. Search on Bibsonomy ECMFA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro Completeness of the Bounded Satisfiability Problem for Constraint LTL. Search on Bibsonomy RP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matteo Rossi, Michal Young SCORE 2011: the second student contest on software engineering. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Matteo Rossi A theory of sampling for continuous-time metric temporal logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young SCORE: the first student contest on software engineering. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro Bounded Reachability for Temporal Logic over Constraint Systems Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Marcello 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 Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi Modeling time in computing: A taxonomy and a comparative survey. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi Towards the UML-Based Formal Verification of Timed Systems. Search on Bibsonomy FMCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi From Interaction Overview Diagrams to Temporal Logic. Search on Bibsonomy MoDELS Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro Bounded Reachability for Temporal Logic over Constraint Systems. Search on Bibsonomy TIME The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. Search on Bibsonomy ICECCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. Search on Bibsonomy SEFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Matteo Rossi A Theory of Sampling for Continuous-time Metric Temporal Logic Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Carlo A. Furia, Matteo Pradella, Matteo Rossi Comments on temporal logics for real-time system specification. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Temporal logic
1Stefania Pacifici, Matteo Rossi Towards a formal model of autonomic services based on SelfLets. Search on Bibsonomy PESOS@ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. Search on Bibsonomy SEFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Matteo Pradella, Matteo Rossi Practical Automated Partial Verification of Multi-Paradigm Real-Time Models Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi Modeling Time in Computing: A Taxonomy and a Comparative Survey Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Carlo A. Furia, Matteo Pradella, Matteo Rossi Practical Automated Partial Verification of Multi-paradigm Real-Time Models. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF timed automata, discretization, bounded model checking, Metric temporal logic, dense time
1Carlo A. Furia, Matteo Pradella, Matteo Rossi Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF real-time, sampling, discretization, metric temporal logic, verification techniques, dense time
1Carlo A. Furia, Matteo Rossi MTL with Bounded Variability: Decidability and Complexity. Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti Automated compositional proofs for real-time systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Matteo Rossi No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2007 DBLP  BibTeX  RDF
1Andrea 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. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal Methods, Formal Verification, Temporal Logics, Experience, System Design, Production Systems, Finite-State Models
1Carlo A. Furia, Matteo Rossi, Dino Mandrioli Modeling the Environment in Software-Intensive Systems. Search on Bibsonomy MiSE@ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Matteo Rossi On the Expressiveness of MTL Variants over Dense Time. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi Comments on "An Interval Logic for Real-Time System Specification'. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF real-time systems, Formal methods, temporal logic
1Pietro Colombo, Matteo Pradella, Matteo Rossi A UML 2-compatible language and tool for formal modeling real-time system architectures. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF real-time systems, formal methods, system architectures
1Marco Rolando, Matteo Rossi, Niccolò Sanarico, Dino Mandrioli A formal approach to sensor placement and configuration in a network intrusion detection system. Search on Bibsonomy SESS@ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Matteo Rossi Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Matteo Rossi A Compositional Framework for Formally Verifying Modular Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matteo Pradella, Matteo Rossi, Dino Mandrioli ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML, real-time, software architecture, formal methods
1Matteo Pradella, Matteo Rossi, Dino Mandrioli A UML-Compatible Formal Language for System Architecture Description. Search on Bibsonomy SDL Forum The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti Automated Compositional Proofs for Real-Time Systems. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Andrea Matta, Carlo A. Furia, Matteo Rossi Semi-formal and Formal Models Applied to Flexible Manufacturing Systems. Search on Bibsonomy ISCIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matteo Rossi, Dino Mandrioli A formal approach for modeling and verification of RTCORBA-based applications. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF real-time, middleware, formal verification, CORBA, distributed applications
1Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli A formal approach for designing CORBA-based applications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal methods, object orientation, frameworks, temporal logic, CORBA, control systems, architectural design, supervision
1Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini A formal approach for designing CORBA based applications. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF supervision and control system, design, formal methods, temporal logic, CORBA, CORBA
1Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. Search on Bibsonomy PDSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #98 of 98 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license