Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Raghubir Chimni

dblp:332/0833 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2024
0000-0002-3744-5631ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 since 2021Theory of computation · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program verification · 77% Program analysis · 23%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program verification › dynamic verification
runtime verification
0.812024
Early detection of temporal constraint violations · Inf. Comput. 2024
Program analysis › dynamic analysis
runtime monitoring
0.212024
Early detection of temporal constraint violations · Inf. Comput. 2024

Methods — techniques the papers use, named apart from their topics

chase process · 0.8
YearPublicationVenuePosition
2024 Early detection of temporal constraint violations
abstract
Software systems rely on events for logging, coordination, handling unusual situations, and more. Monitoring events from systems that provide services can ensure that the service complies with policies, regulations, and other business rules. Notably, detecting violations of rules as early as possible is much desired as, for example, the service may reclaim resources from erring enactments. The primary goal of this paper is to develop techniques for detecting rule violations as early as possible. We formalize a model for events and a language to specify constraints on event timing and data. We develop algorithms to detect violations of individual rules at the earliest possible time, then use a chase process to detect violations of acyclic sets of rules. We also present optimization techniques to reduce monitoring overhead. Finally, we implement and evaluate our algorithms through experiments to demonstrate our approach is feasible and beneficial.
Isaac Mackey, Raghubir Chimni, Jianwen Su
Inf. Comput.2
2022 Early Detection of Temporal Constraint Violations
Isaac Mackey, Raghubir Chimni, Jianwen Su
TIME2