Matteo Pradella
Orcid: 0000-0003-3039-1084
According to our database1,
Matteo Pradella
authored at least 90 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Review on <i>Verified Functional Programming in Agda</i>: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016.
Formal Aspects Comput., March, 2024
2023
ACM Trans. Program. Lang. Syst., September, 2023
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages.
Log. Methods Comput. Sci., 2023
2022
Log. Methods Comput. Sci., 2022
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022
2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages.
CoRR, 2020
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020
2019
CoRR, 2019
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019
2018
Comput. Sci. Rev., 2018
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
2017
Theor. Comput. Sci., 2017
Proceedings of the Proceedings 15th International Conference on Automata and Formal Languages, 2017
2015
ACM SIGSOFT Softw. Eng. Notes, 2015
SIAM J. Comput., 2015
Sci. Comput. Program., 2015
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015
Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015
Proceedings of the Computer Science - Theory and Applications, 2015
2014
Proceedings of the Compiler Construction - 23rd International Conference, 2014
2013
ACM Trans. Softw. Eng. Methodol., 2013
ACM Trans. Auton. Adapt. Syst., 2013
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013
Proceedings of the Developments in Language Theory - 17th International Conference, 2013
2012
J. Syst. Softw., 2012
Proceedings of the Software Language Engineering, 5th International Conference, 2012
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012
2011
RAIRO Theor. Informatics Appl., 2011
CoRR, 2011
Proceedings of the Implementation and Application of Automata, 2011
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011
Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011
Proceedings of the Computer Science - Theory and Applications, 2011
2010
Discret. Math. Theor. Comput. Sci., 2010
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
CoRR, 2010
Proceedings of the TIME 2010, 2010
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010
Proceedings of the 2nd International Workshop on Context-Oriented Programming, 2010
2009
ACM Comput. Surv., 2009
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009
Deterministic recognizability of picture languages by Wang automata.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the Algebraic Informatics, Third International Conference, 2009
2008
Pattern Recognit., 2008
Proceedings of the Mathematical Foundations of Computer Science 2008, 2008
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
Proceedings of the Theoretical Aspects of Computing, 2008
Proceedings of the Formal Methods and Software Engineering, 2008
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.
Proceedings of the FM 2008: Formal Methods, 2008
2007
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
2006
IEEE Trans. Software Eng., 2006
Theor. Comput. Sci., 2006
A UML 2-compatible language and tool for formal modeling real-time system architectures.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
2005
Proceedings of the SDL 2005: Model Driven, 2005
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005
2003
ACM Trans. Softw. Eng. Methodol., 2003
Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003
Proceedings of the FME 2003: Formal Methods, 2003
Proceedings of the Developments in Language Theory, 7th International Conference, 2003
Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003
2002
Software procurement and methods for specification and validation in the railway transportation industry.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002
2000
Proceedings of the Agent-Mediated Electronic Commerce III, 2000
1999
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999
1998
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998