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 Architecture topic
Related Topics:
Sponsored Content
-
Related Editorial
-
Related Sponsors
-
Popular across InfoQ
-
Microsoft Launches Azure Copilot Migration Agent to Accelerate Cloud Migration Planning
-
Agentic AI Patterns Reinforce Engineering Discipline
-
Kubescape 4.0 Brings Runtime Security and AI Agent Scanning to Kubernetes
-
KubeVirt v1.8 Brings Multi-Hypervisor Support and Confidential Computing to Kubernetes
-
Failure As a Means to Build Resilient Software Systems: A Conversation with Lorin Hochstein
-
Kubernetes Autoscaling Demands New Observability Focus beyond Vendor Tooling
-