InfoQ Homepage Interviews Christian Colombo on FSM-based Monitoring and Runtime Verification
Christian Colombo on FSM-based Monitoring and Runtime Verification
Bio
Christian is an assistant lecturer and a PhD student at the University of Malta with published papers in the area of runtime verification. He created the monitoring tool Larva and applied it to an industrial Java system handling financial transactions and is coordinating a national research project on applying monitoring techniques to industrial financial systems having compensating transactions.
About the conference
The Erlang Factory is an event that focuses on Erlang - the computer language that was designed to support distributed, fault-tolerant, soft-realtime applications with requirements for high availability and high concurrency. The main part of the Factory is the conference - a two-day collection of focused subject tracks with an enormous opportunity to meet the best minds in Erlang and network with experts in all its uses and applications.
Sep 23, 2011
Interview with
This content is in the Java topic
Related Topics:
Sponsored Content
-
Related Editorial
-
Related Sponsors
-
Popular across InfoQ
-
AWS Launches ECS Express Mode to Simplify Containerised Application Deployment
-
AWS Introduces Regional Availability for NAT Gateway
-
Lyft Rearchitects ML Platform with Hybrid AWS SageMaker-Kubernetes Approach
-
AWS Debuts “DevOps Agent” to Automate Incident Response and Improve System Reliability
-
Decathlon Switches to Polars to Optimize Data Pipelines and Infrastructure Costs
-
Building a More Appealing CLI for Agentic LLMs Based on Learnings from the Textual Framework
-