MANDRIOLI, DINO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Watchdog Transformations for Property-Oriented Model-Checking

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 196 KB

english, 2003

52

[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - Syntax-Driven Program Verification of Matching Logic Properties

Bianculli, Domenico, Filieri, Antonio, Ghezzi, Carlo, Mandrioli, Dino, Rizzi, Alessandro Maria

Year:

2015

Language:

english

File:

PDF, 185 KB

english, 2015

53

Toward a theory of input-driven locally parsable languages

Crespi Reghizzi, Stefano, Lonati, Violetta, Mandrioli, Dino, Pradella, Matteo

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

54

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - SCORE: The first student Contest in Software Engineering

Jazayeri, Mehdi, Mandrioli, Dino

Year:

2009

Language:

english

File:

PDF, 88 KB

english, 2009

55

Automated Formal Verification for Flexible Manufacturing Systems

Carpanzano, Emanuele, Ferrucci, Luca, Mandrioli, Dino, Mazzolini, Mauro, Morzenti, Angelo, Rossi, Matteo

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 438 KB

english, 2012

56

A formal approach for modeling and verification of RTCORBA-based applications

Rossi, Matteo, Mandrioli, Dino

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 228 KB

english, 2004

57

On teaching theoretical foundations of computer science

Mandrioli, Dino

Journal:

ACM SIGACT News

Year:

1982

Language:

english

File:

PDF, 732 KB

english, 1982

58

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications

Rossi, Matteo, Mandrioli, Dino, Morzenti, Angelo, Ferrucci, Luca

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 1.17 MB

english, 2016

59

On teaching theoretical foundations of Computer Science

Mandrioli, Dino

Journal:

ACM SIGACT News

Year:

1982

Language:

english

File:

PDF, 447 KB

english, 1982

60

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 265 KB

english, 2003

61

Generalizing input-driven languages: Theoretical and practical benefits

Mandrioli, Dino, Pradella, Matteo

Journal:

Computer Science Review

Year:

2018

Language:

english

File:

PDF, 827 KB

english, 2018

62

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 || Java Applet Correctness: A Developer-Oriented Approach

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 520 KB

english, 2003

63

Formal model of human erroneous behavior for safety analysis in collaborative robotics

Askarpour, Mehrnoosh, Mandrioli, Dino, Rossi, Matteo, Vicentini, Federico

Journal:

Robotics and Computer-Integrated Manufacturing

Year:

2019

Language:

english

File:

PDF, 8.00 MB

english, 2019

64

Safety Assessment of Collaborative Robotics Through Automated Formal Verification

Vicentini, Federico, Askarpour, Mehrnoosh, Rossi, Matteo G., Mandrioli, Dino

Journal:

IEEE Transactions on Robotics

Year:

2019

Language:

english

File:

PDF, 4.99 MB

english, 2019

65

Safety Assessment of Collaborative Robotics Through Automated Formal Verification

Vicentini, Federico, Askarpour, Mehrnoosh, Rossi, Matteo G., Mandrioli, Dino

Journal:

IEEE Transactions on Robotics

Year:

2019

File:

PDF, 4.99 MB

2019

66

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 (International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings) || Improving Safety Assessment of Complex Systems: An Industrial Case Study

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

File:

PDF, 499 KB

2003

67

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 (International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings) || Adaptable Translator of B Specifications to Embedded C Programs

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

File:

PDF, 243 KB

2003

68

Operator precedence temporal logic and model checking

Chiari, Michele, Mandrioli, Dino, Pradella, Matteo

Journal:

Theoretical Computer Science

Year:

2020

File:

PDF, 62 KB

2020