Liliana D'Errico

According to our database, Liliana D'Errico authored at least 5 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Context Aware Specification and Verification of Distributed Systems.

Liliana D'Errico, Michele Loreti

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

2010

Property-Preserving Refinement of Concurrent Systems.

Liliana D'Errico, Michele Loreti

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2009

A process Algebra Approach to Fuzzy Reasoning.

Liliana D'Errico, Michele Loreti

Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

Assume-Guarantee Verification of Concurrent Systems.

Liliana D'Errico, Michele Loreti

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2007

Modeling Fuzzy Behaviours in Concurrent Systems.

Liliana D'Errico, Michele Loreti

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007