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
-
Anthropic Releases Claude Mythos Preview with Cybersecurity Capabilities but Withholds Public Access
-
Claude Code Used to Find Remotely Exploitable Linux Kernel Vulnerability Hidden for 23 Years
-
Java News Roundup: JDK 27 Release Schedule, Hibernate, LangChain4j, Keycloak, Helidon, Junie CLI
-
The Spring Team on Spring Framework 7 and Spring Boot 4
-
GitHub Copilot CLI Reaches General Availability
-
How SBOMs and Engineering Discipline Can Help You Avoid Trivy’s Compromise
-