18 citations · 60 across the 35 of their papers we have counts for
12 papers · 1 filter
Handling of Past and Future with Phenesthe+
Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke
Writing temporal logic formulae for properties that combine instantaneous events with overlapping temporal phenomena of some duration is difficult in classical temporal logics. To…
Representation and Processing of Instantaneous and Durative Temporal Phenomena
Manolis Pitsikalis, Alexei Lisitsa, Shan Luo
Event definitions in Complex Event Processing systems are constrained by the expressiveness of each system's language. Some systems allow the definition of instantaneous complex ev…
Proceedings Fifth International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti
This volume contains the proceedings of the Fifth International Workshop on Verification and Program Transformation (VPT 2017). The workshop took place in Uppsala, Sweden, on April…
Proceedings of the Third International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei P. Nemytykh, Alberto Pettorossi
This volume contains the papers selected among those which were presented at the 3rd International Workshop on Verification and Program Transformation (VPT 2015) held in London, UK…
Detecting unknots via equational reasoning, I: Exploration
Andrew Fish, Alexei Lisitsa
We explore the application of automated reasoning techniques to unknot detection, a classical problem of computational topology. We adopt a two-pronged experimental approach, using…
Practical Verification of Decision-Making in Agent-Based Autonomous Systems
Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln +2
We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and…