A First-Order Complete Temporal Logic for Structured Context-Free Languages von Chiari, Michele, Mandrioli, Dino, Pradella, Matteo

Volltext

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages von Mandrioli, Dino, Pradella, Matteo, Reghizzi, Stefano Crespi

Volltext

Temporal Logic and Model Checking for Operator Precedence Languages von Chiari, Michele, Mandrioli, Dino, Pradella, Matteo

Volltext

Operator precedence temporal logic and model checking von Chiari, Michele, Mandrioli, Dino, Pradella, Matteo

Volltext

Generalizing input-driven languages: Theoretical and practical benefits von Mandrioli, Dino, Pradella, Matteo

Volltext

Formal model of human erroneous behavior for safety analysis in collaborative robotics von Askarpour, Mehrnoosh, Mandrioli, Dino, Rossi, Matteo, Vicentini, Federico

Volltext

Safety Assessment of Collaborative Robotics Through Automated Formal Verification von Vicentini, Federico, Askarpour, Mehrnoosh, Rossi, Matteo G., Mandrioli, Dino

Volltext

FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings von Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Volltext

A Model Checker for Operator Precedence Languages von Chiari, Michele, Mandrioli, Dino, Pontiggia, Francesco, Pradella, Matteo

Volltext

Weighted operator precedence languages von Droste, Manfred, Dück, Stefan, Mandrioli, Dino, Pradella, Matteo

Volltext

Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization von Lonati, Violetta, Mandrioli, Dino, Panella, Federica, Pradella, Matteo

Volltext

Operator precedence and the visibly pushdown property von Crespi Reghizzi, Stefano, Mandrioli, Dino

Volltext

Cyclic Operator Precedence Grammars for Improved Parallel Parsing von Chiari, Michele, Mandrioli, Dino, Pradella, Matteo

Volltext

Formal Methods in Designing Critical Cyber-Physical Systems von Askarpour, Mehrnoosh, Ghezzi, Carlo, Mandrioli, Dino, Rossi, Matteo, Tsigkanos, Christos

Volltext

ProB: A Model Checker for B von Leuschel, Michael, Butler, Michael

Volltext

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications von Rossi, Matteo, Mandrioli, Dino, Morzenti, Angelo, Ferrucci, Luca

Volltext

Parallel parsing made practical von Barenghi, Alessandro, Crespi Reghizzi, Stefano, Mandrioli, Dino, Panella, Federica, Pradella, Matteo

Volltext

Toward a theory of input-driven locally parsable languages von Crespi Reghizzi, Stefano, Lonati, Violetta, Mandrioli, Dino, Pradella, Matteo

Volltext

Syntactic-semantic incrementality for agile verification von Bianculli, Domenico, Filieri, Antonio, Ghezzi, Carlo, Mandrioli, Dino

Volltext

Modeling Time in Computing: A Taxonomy and a Comparative Survey von FURIA, Carlo A, MANDRIOLI, Dino, MORZENTI, Angelo, ROSSI, Matteo

Volltext