Christian Colombo

According to our database1, Christian Colombo authored at least 37 papers between 2008 and 2018.

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

2017
Exploring the Link Between Test Suite Quality and Automatic Specification Inference.
Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

Control-Flow Residual Analysis for Symbolic Automata.
Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

Runtime Verification using LARVA.
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Runtime Verification using VALOUR.
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

2016
Organising LTL monitors over distributed systems with a global clock.
Formal Methods in System Design, 2016

Device-Centric Monitoring for Mobile Device Management.
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2016

Compliance Checking in the Open Payments Ecosystem.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

An Automata-Based Approach to Evolving Privacy Policies for Social Networks.
Proceedings of the Runtime Verification - 16th International Conference, 2016

First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Runtime Verification for Stream Processing Applications.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

A Model-Based Approach to Combining Static and Dynamic Verification Techniques.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Using gherkin to extract tests and monitors for safer medical device interaction design.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

A Controlled Natural Language for Tax Fraud Detection.
Proceedings of the Controlled Natural Language - 5th International Workshop, 2016

2015
Investigating Instrumentation Techniques for ESB Runtime Verification.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

A Controlled Natural Language for Business Intelligence Monitoring.
Proceedings of the Natural Language Processing and Information Systems, 2015

Using control flow analysis to improve the effectiveness of incremental mutation testing.
Proceedings of the 14th International Workshop on Principles of Software Evolution, 2015

Lessons learnt from using DSLs for automated software testing.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014
Comprehensive Monitor-Oriented Compensation Programming.
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing.
Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014

Organising LTL Monitors over Distributed Systems with a Global Clock.
Proceedings of the Runtime Verification - 5th International Conference, 2014

2013
Towards Incremental Mutation Testing.
Electr. Notes Theor. Comput. Sci., 2013

A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks.
ECEASST, 2013

Monitor-Oriented Compensation Programming Through Compensating Automata.
ECEASST, 2013

Recovery within long-running transactions.
ACM Comput. Surv., 2013

Extensible Technology-Agnostic Runtime Verification
Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013

SMock - A Test Platform for Monitoring Tools.
Proceedings of the Runtime Verification - 4th International Conference, 2013

2012
Safer asynchronous runtime monitoring using compensations.
Formal Methods in System Design, 2012

Simplifying Contract-Violating Traces
Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Fast-Forward Runtime Monitoring - An Industrial Case Study.
Proceedings of the Runtime Verification, Third International Conference, 2012

2011
Elarva: A Monitoring Tool for Erlang.
Proceedings of the Runtime Verification - Second International Conference, 2011

2010
Compensation-Aware Runtime Monitoring.
Proceedings of the Runtime Verification - First International Conference, 2010

LarvaStat: Monitoring of Statistical Properties.
Proceedings of the Runtime Verification - First International Conference, 2010

2009
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper).
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Safe Runtime Verification of Real-Time Properties.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008


  Loading...