Runtime Verification of Concurrent Haskell Programs

No abstract is available for this paper.

• Publication year

  2005

• Venue

  RV@ETAPS

• Publication date

  2005-01-03

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/j.entcs.2004.01.026
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Using Runtime Analysis to Guide Model Checking of Java Programs

  2013cited by this paper
• Runtime Verification of Concurrent Haskell (work in progress)

  2003cited by this paper
• Locking in the Multithreaded FreeBSD Kernel

  2002cited by this paper
• Java PathExplorer: A Runtime Verification Tool

  2001cited by this paper
• The Temporal Rover and the ATG Rover

  2000cited by this paper
• Model checking programs

  2000cited by this paper
• Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs

  2000cited by this paper
• Runtime Checking of Multithreaded Applications with Visual Threads

  2000cited by this paper
• The Maude System

  1999cited by this paper
• Model checking

  1996cited by this paper
• Concurrent Haskell

  1996cited by this paper
• Operating System Concepts

  1983cited by this paper
• The temporal logic of programs

  1977cited by this paper

• Runtime verification of real-time event streams using the tool HStriver

  2022cites this paper
• HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams

  2021cites this paper
• HLola: a Very Functional Tool for Extensible Stream Runtime Verification

  2021cites this paper
• A Flight Rule Checker for the LADEE Lunar Spacecraft

  2020cites this paper
• Real-Time Self-Adaption of Network Security Mechanisms for Dependable Distributed Systems

  2020cites this paper
• Runtime Verification Past Experiences and Future Projections

  2019cites this paper
• A Research for Aerospace Complex Software System Runtime Fault Detection

  2017cites this paper
• UDC 004 . 4 U sage of Logic for Parallel Verification of Haskel Programs

  2017cites this paper
• Embedding Verification Concerns in Self-Adaptive System Code

  2017cites this paper
• Runtime Monitoring for Concurrent Systems

  2016cites this paper
• Specification of Parametric Monitors Quantified Event Automata versus Rule Systems

  2015cites this paper
• Rule-based runtime verification revisited

  2015cites this paper
• Domain-Specific Languages with Scala

  2015cites this paper
• Specification of Parametric Monitors

  2015cites this paper
• Formal Modeling and Verification of Cyber-Physical Systems

  2015cites this paper
• Combining Monitoring with Run-Time Assertion Checking

  2014cites this paper
• Data Automata in Scala

  2014cites this paper
• A Tutorial on Runtime Verification

  2013cites this paper
• Model Checking Distributed Systems against Temporal-Epistemic Specifications

  2013cites this paper
• Synthesizable assertion checkers in high levels of abstraction

  2013cites this paper
• Combining Monitoring with Run-time Assertion Checking

  2013cites this paper
• Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

  2012cites this paper
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

  2012cites this paper
• On the Benefits of Abstraction in Concurrent Haskell

  2012cites this paper
• What Does AI Have to Do with RV? - (Extended Abstract)

  2012cites this paper
• On the Expressiveness of Parameterized Finite-state Runtime Monitors

  2012influential citation
• Automated testing of Web Services system based on OWL-S

  2012cites this paper
• Closing the Gap Between Specification and Programming: VDM++ and Scala

  2011cites this paper
• Checking Flight Rules with TraceContract: Application of a Scala DSL for Trace Analysis

  2011cites this paper
• TraceContract: A Scala DSL for Trace Analysis

  2011cites this paper
• Architecture-Centered Integrated Verification

  2011cites this paper
• Thread-Safe Priority Queues in Haskell Based on Skiplists

  2011cites this paper
• Internal versus External DSLs for Trace Analysis - (Extended Abstract)

  2011cites this paper
• Temporal Assertions with Parametrized Propositions

  2010cites this paper
• Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement

  2010cites this paper
• Verifying finite-state properties of large-scale programs

  2009cites this paper
• Automated assertion transformation across multiple abstraction levels

  2009cites this paper
• Action-Level Addition of Leads-To Properties to Shared Memory Parallel Programs

  2008cites this paper
• A new assertion language covering multiple levels of abstraction

  2008cites this paper
• Temporal assertions for sequential and concurrent programs

  2007cites this paper
• Temporal Assertions with Parametrised Propositions

  2007cites this paper
• An assertion-based verification methodology for system-level design

  2007cites this paper
• Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software

  2007cites this paper
• Temporal Assertions using AspectJ

  2006cites this paper
• Runtime monitoring of duration calculus assertions for real-time applications

  2006cites this paper
• From software architecture to formal verification of a distributed system

  2006cites this paper
• Concern specific languages and their implementation with abc

  2005cites this paper
• Efficient and Expressive Runtime Verification for Java

  2005cites this paper
• Searching for deadlocks while debugging concurrent haskell programs

  2004influential citation
• A lightweight LTL runtime verification tool for java

  2004cites this paper