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 Sponsored Content
-
Popular across InfoQ
-
From Architecture to Deployment: How AI-Powered Toolkits Are Unifying Developer Workflows
-
Hugging Face to Democratize Robotics with Open-Source Reachy 2 Robot
-
Domain-Driven RAG: Building Accurate Enterprise Knowledge Systems through Distributed Ownership
-
Uber’s Journey to Ray on Kubernetes
-
How to Improve the Quality of the Gen AI-Generated Code and Your Team’s Dynamics
-
Instance Main Methods Move from Preview to Final in JDK 25
-