A deterministic parsing algorithm for ambiguous regular expressions von Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Volltext

Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing von Bianchessi, Andrea G., Cugola, Gianpaolo, Formentin, Simone, Morzenti, Angelo C., Ongini, Carlo, Panigati, Emanuele, Rossi, Matteo, Savaresi, Sergio M., Schreiber, Fabio A., Tanca, Letizia, Vannutelli Depoli, Edoardo G.

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

General parsing with regular expression matching von Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Volltext

Fast GLR parsers for extended BNF grammars and transition networks von Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Volltext

Bounded satisfiability checking of metric temporal logic specifications von Pradella, Matteo, Morzenti, Angelo, Pietro, Pierluigi San

Volltext

Fast deterministic parsers for transition networks von Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Volltext

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

Volltext

A Logic-Based Approach for the Verification of UML Timed Models von Baresi, Luciano, Morzenti, Angelo, Motta, Alfredo, K., Mohammad Mehdi Pourhashem, Rossi, Matteo

Volltext

Constraint LTL satisfiability checking without automata von Bersani, Marcello M., Frigeri, Achille, Morzenti, Angelo, Pradella, Matteo, Rossi, Matteo, San Pietro, Pierluigi

Volltext

Minimizing speculation overhead in a parallel recognizer for regular texts von Borsotti, Angelo, Breveglieri, Luca, Reghizzi, Stefano Crespi, Morzenti, Angelo

Volltext bestellen

Shift-Reduce Parsers for Transition Networks von Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Volltext

A Benchmark Production Tool for Regular Expressions von Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Volltext

A Metric Temporal Logic for Dealing with Zero-Time Transitions von Ferrucci, L., Mandrioli, D., Morzenti, A., Rossi, M.

Volltext

Automated compositional proofs for real-time systems von Furia, Carlo A., Rossi, Matteo, Mandrioli, Dino, Morzenti, Angelo

Volltext

From Ambiguous Regular Expressions to Deterministic Parsing Automata von Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Volltext

Lecture Notes on Monadic First- and Second-Order Logic on Strings von Mandrioli, Dino, Martinenghi, Davide, Morzenti, Angelo, Pradella, Matteo, Rossi, Matteo

Volltext bestellen

Complexity of Extended vs. Classic LR Parsers von Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Volltext

Automated deductive requirements analysis of critical systems von Gargantini, Angelo, Morzenti, Angelo

Volltext

A Metric Encoding for Bounded Model Checking von Pradella, Matteo, Morzenti, Angelo, San Pietro, Pierluigi

Volltext