Dino Mandrioli

According to our database1, Dino Mandrioli authored at least 92 papers between 1975 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Generalizing input-driven languages: Theoretical and practical benefits.
Computer Science Review, 2018

Temporal Logic and Model Checking for Operator Precedence Languages.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018

2017
Toward a theory of input-driven locally parsable languages.
Theor. Comput. Sci., 2017

Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Weighted Operator Precedence Languages.
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications.
Proceedings of the Perspectives of System Informatics, 2017

2016
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.
Theor. Comput. Sci., 2016

SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration.
Proceedings of the Computer Safety, Reliability, and Security, 2016

2015
Programming Languages shouldn't be "too Natural".
ACM SIGSOFT Software Engineering Notes, 2015

Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization.
SIAM J. Comput., 2015

Syntactic-semantic incrementality for agile verification.
Sci. Comput. Program., 2015

Parallel parsing made practical.
Sci. Comput. Program., 2015

Locally Chain-Parsable Languages.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

On the Heroism of Really Pursuing Formal Methods.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Syntax-Driven Program Verification of Matching Logic Properties.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

First-Order Logic Definability of Free Languages.
Proceedings of the Computer Science - Theory and Applications, 2015

2014
Automated formal verification for flexible manufacturing systems.
J. Intelligent Manufacturing, 2014

Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

The PAPAGENO Parallel-Parser Generator.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013
Parallel parsing of operator precedence grammars.
Inf. Process. Lett., 2013

Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Operator Precedence ω-Languages.
Proceedings of the Developments in Language Theory - 17th International Conference, 2013

2012
A Metric Temporal Logic for Dealing with Zero-Time Transitions.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Modeling Time in Computing.
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-32331-7, 2012

2011
Precedence Automata and Languages.
Proceedings of the Computer Science - Theory and Applications, 2011

2010
SCORE: the first student contest on software engineering.
ACM SIGSOFT Software Engineering Notes, 2010

Modeling time in computing: A taxonomy and a comparative survey.
ACM Comput. Surv., 2010

Operator Precedence and the Visibly Pushdown Property.
Proceedings of the Language and Automata Theory and Applications, 2010

Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach.
Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010

2009
SCORE: The first student Contest in Software Engineering.
Proceedings of the 31st International Conference on Software Engineering, 2009

2007
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.
Proceedings of the Theoretical Aspects of Computing, 2007

Modeling the Environment in Software-Intensive Systems.
Proceedings of the International Workshop on Modeling in Software Engineering, 2007

2006
The industrialization of formal methods.
STTT, 2006

A formal approach to sensor placement and configuration in a network intrusion detection system.
Proceedings of the 2006 international workshop on Software engineering for secure systems, 2006

2005
A UML-Compatible Formal Language for System Architecture Description.
Proceedings of the SDL 2005: Model Driven, 2005

The Challenges of Software Engineering Education.
Proceedings of the Software Engineering Education in the Modern Age, 2005

The challenges of software engineering education.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Automated Compositional Proofs for Real-Time Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004
Advertising Formal Methods and Organizing Their Teaching: Yes, but ....
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

A formal approach for modeling and verification of RTCORBA-based applications.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003
A formal approach for designing CORBA-based applications.
ACM Trans. Softw. Eng. Methodol., 2003

Fundamentals of software engineering (2. ed.).
Prentice Hall, ISBN: 978-0-13-305699-0, 2003

2002
Real-Time Synchronised Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000
A framework architecture for supervision and control systems.
ACM Comput. Surv., 2000

Using TRIO for designing a CORBA-based application.
Concurrency - Practice and Experience, 2000

A formal approach for designing CORBA based applications.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Parallel Refinement Mechanisms for Real-Time Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999
From Formal Models to Formally Based Methods: An Industrial Experience.
ACM Trans. Softw. Eng. Methodol., 1999

Dealing with Zero-Time Transitions in Axiom Systems.
Inf. Comput., 1999

1997
Software Qualities and Principles.
Proceedings of the Computer Science and Engineering Handbook, 1997

1996
Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Generating Test Cases for Real-Time Systems from Logic Specifications.
ACM Trans. Comput. Syst., 1995

A Formal Framework for ASTRAL Inter-level Proof Obligations.
Proceedings of the 5th European Software Engineering Conference, 1995

1994
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.
IEEE Trans. Software Eng., 1994

A Formal Framework for ASTRAL Intralevel Proof Obligations.
IEEE Trans. Software Eng., 1994

1993
Executable Specifications with Data-flow Diagrams.
Softw., Pract. Exper., 1993

The Object-Oriented Specification of Real-Time Systems.
Proceedings of the TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, 1993

A Formal Framework for ASTRAL Intra-Level Proof Obligations.
Proceedings of the Software Engineering, 1993

1992
A Model Parametric Real-Time Logic.
ACM Trans. Program. Lang. Syst., 1992

Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach.
Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992

The Object-Oriented Specification of Real-Time Systems.
Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992

1991
A Unified High-Level Petri Net Formalism for Time-Critical Systems.
IEEE Trans. Software Eng., 1991

Software Specialization Via Symbolic Execution.
IEEE Trans. Software Eng., 1991

QRT FIFO Automata, Breath-First Grammars and Their Relations.
Theor. Comput. Sci., 1991

Fundamentals of software engineering.
Prentice Hall, ISBN: 978-0-13-818204-5, 1991

1990
TRIO: A logic language for executable specifications of real-time systems.
Journal of Systems and Software, 1990

Breath and Depth Grammars and Deque Automata.
Int. J. Found. Comput. Sci., 1990

1989
Some Consideration on Real-Time Bahavior of Concurrent Programs.
IEEE Trans. Software Eng., 1989

Symbolic Execution of Concurrent Systems Using Petri Nets.
Comput. Lang., 1989

1987
On the Specification of Real-Time Systems Using Logic Programming.
Proceedings of the ESEC '87, 1987

1986
On Deterministic Multi-Pass Analysis.
SIAM J. Comput., 1986

1985
Modeling the Ada Task System by Petri Nets.
Comput. Lang., 1985

The Ada Task System and Real-Time Applications: An Implementation Schema.
Comput. Lang., 1985

Program Simplification via Symbolic Interpretation.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1982
Language Constructs for Real-Time Distributed Systems.
Comput. Lang., 1982

1981
Operator Precedence Grammars and the Noncounting Property.
SIAM J. Comput., 1981

1980
Separate Compilation and Partial Specification in Pascal.
IEEE Trans. Software Eng., 1980

Augmenting Parsers to Support Incrementality.
J. ACM, 1980

1979
Incremental Parsing.
ACM Trans. Program. Lang. Syst., 1979

1978
Algebraic Properties of Operator Precedence Languages
Information and Control, May, 1978

Noncounting Context-Free Languages.
J. ACM, 1978

A Class of Grammar Generating Non-Counting Languages.
Inf. Process. Lett., 1978

1977
A Note on Petri Net Languages
Information and Control, June, 1977

An integrated model of problem solver.
Inf. Sci., 1977

1976
n-Reconstructability of Context-Free Grammars.
Inf. Process. Lett., 1976

1975
Erratum: A Decidability Theorem for a Class of Vector-Addition Systems.
Inf. Process. Lett., 1975

A Decidability Theorem for a Class of Vector-Addition Systems.
Inf. Process. Lett., 1975

An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving.
Proceedings of the Optimization Techniques: Modeling and Optimization in the Service of Man, Part 2, 1975


  Loading...