Luca Tesei

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 14

Top Topics

Formal Verification

Complex Systems

Top Venues

Publications

Michela Quadrini, Luca Tesei, Emanuela Merelli
Automatic generation of pseudoknotted RNAs taxonomy. BMC Bioinform. (6) (2022)
Michela Quadrini, Luca Tesei, Emanuela Merelli
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots. Bioinform. 36 (11) (2020)
Marco Piangerelli, Luca Tesei, Emanuela Merelli
A Persistent Entropy Automaton for the Dow Jones Stock Market. FSEN (2019)
Matteo Rucco, Luca Tesei, Emanuela Merelli
Topological Run-time Monitoring for Complex Systems. CoRR (2019)
Michela Quadrini, Luca Tesei, Emanuela Merelli
An algebraic language for RNA pseudoknots comparison. BMC Bioinform. (4) (2019)
Stan Matwin, Luca Tesei, Roberto Trasarti
Computational modelling and data-driven techniques for systems analysis. J. Intell. Inf. Syst. 52 (3) (2019)
Jeffrey H. Johnson, Luca Tesei, Marco Piangerelli, Emanuela Merelli, Riccardo Paci, Nenad Stojanovic, Paulo Leitão, José Barbosa, Marco Amador
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium). Ubiquity 2018 (July) (2018)
Michela Quadrini, Luca Tesei, Emanuela Merelli
An algebraic representation for tree alignment of RNA pseudoknotted structures. PeerJ Prepr. 5 (2017)
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
Uniformity in Multiscale Models: From Complex Automata to BioShape. J. Cell. Autom. 12 (5) (2017)
Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei
A Formal Model for Event-Condition-Action Rules in Intelligent Environments. Intelligent Environments (Workshops) (2016)
Marco Bernardo, Flavio Corradini, Luca Tesei
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. Theor. Comput. Sci. 629 (2016)
Emanuela Merelli, Matteo Rucco, Luca Tesei, Marco Piangerelli, Adane Letta Mamuye, Michela Quadrini
Survey of TOPDRIM Applications of Topological Data Analysis. KDWeb (2016)
Adane Letta Mamuye, Emanuela Merelli, Luca Tesei
A Graph Grammar for Modelling RNA Folding. GaM@ETAPS (2016)
Emanuela Merelli, Nicola Paoletti, Luca Tesei
Adaptability checking in complex systems. Sci. Comput. Program. (2016)
Adane Letta Mamuye, Emanuela Merelli, Luca Tesei
Towards a Shape Language for Interpreting RNA Folding. BICT (2015)
Emanuela Merelli, Matteo Rucco, Peter M. A. Sloot, Luca Tesei
Topological characterization of S[B] systems: From data to models of complexity. CoRR (2015)
Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi
A Constrained ECA Language Supporting Formal Verification of WSNs. AINA Workshops (2015)
Emanuela Merelli, Matteo Rucco, Peter M. A. Sloot, Luca Tesei
Topological Characterization of Complex Systems: Using Persistent Entropy. Entropy 17 (10) (2015)
Chiara Cini, Luca Tesei, Giuseppe Scarcella, Cesar Augusto Nieto Coria, Emanuela Merelli
Probabilistic Modelling and Analysis of a Fish Population. SEFM Workshops (2015)
Cesar Augusto Nieto Coria, Luca Tesei, Giuseppe Scarcella, Tommaso Russo, Emanuela Merelli
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea. SEFM Workshops (2014)
Emanuela Merelli, Nicola Paoletti, Luca Tesei
Adaptability Checking in Multi-Level Complex Systems. CoRR (2014)
Marco Bernardo, Flavio Corradini, Luca Tesei
Timed process calculi: from durationless actions to durational ones. ICTCS (2014)
Marco Bernardo, Luca Tesei
Encoding Timed Models as Uniform Labeled Transition Systems. EPEW (2013)
Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli
DISPAS: An Agent-Based Tool for the Management of Fishing Effort. SEFM Workshops (2013)
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
Towards Abstraction-Based Verification of Shape Calculus. Electron. Notes Theor. Comput. Sci. 284 (2012)
Emanuela Merelli, Nicola Paoletti, Luca Tesei
A multi-level model for self-adaptive systems FOCLASA (2012)
Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. SIMULTECH (2012)
Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei
BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems. IS-EUD (2011)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei
Spatial P systems. Nat. Comput. 10 (1) (2011)
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
A Uniform Multiscale Meta-model of BioShape. Electron. Notes Theor. Comput. Sci. 277 (2011)
Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People. ERCIM News 2011 (87) (2011)
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei
Multiscale Modelling: A Mobile Membrane Approach CoRR (2011)
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
A Testing Framework for P Systems CoRR (2011)
Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei
An Individual-based Probabilistic Model for Fish Stock Simulation AMCA-POP (2010)
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani
Bone Remodelling in BioShape. Electron. Notes Theor. Comput. Sci. 268 (2010)
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53 (6) (2010)
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Comput. Sci. 20 (2010)
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
BioShape: a spatial shape-based scale-independent simulation environment for biological systems. ICCS (1) (2010)
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
Shape Calculus: Timed Operational Semantics and Well-formedness CoRR (2010)
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
Multiscale Bone Remodelling with Spatial P Systems MeCBIC (2010)
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411 (20) (2010)
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comput. Sci. 20 (2010)
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
Model Checking Biological Oscillators. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
Timed P Automata. Electron. Notes Theor. Comput. Sci. 227 (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
Timed P Automata. Fundam. Informaticae 94 (1) (2009)
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
A Shape Calculus for Biological Processes. ICTCS (2009)
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito
A model-prover for constrained dynamic conversations. iiWAS (2008)
Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei
Quality of service in e-government underlines the role of information usability. Int. J. Inf. Qual. 2 (2) (2008)
Roberto Barbuti, Stefano Cataudella, Luca Tesei
Abstract Interpretation Against Races. Fundam. Informaticae 60 (1-4) (2004)
Roberto Barbuti, Luca Tesei
Timed automata with urgent transitions. Acta Informatica 40 (5) (2004)
Nicoletta De Francesco, Antonella Santone, Luca Tesei
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. Fundam. Informaticae 54 (2-3) (2003)
Roberto Barbuti, Luca Tesei
A Decidable Notion of Timed Non-Interference. Fundam. Informaticae 54 (2-3) (2003)
Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco
Fixing the Java bytecode verifier by a suitable type domain. SEKE (2002)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei
A Notion of Non-Interference for Timed Automata. Fundam. Informaticae 51 (1-2) (2002)
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
Timed Automata with non-Instantaneous Actions. Fundam. Informaticae 47 (3-4) (2001)