Koushik Sen

Proceedings of the SPLASH '20: Conference on Systems, 2020

Towards Optimal Topology Aware Quantum Circuit Synthesis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2020

Ansor: Generating High-Performance Tensor Programs for Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Quickly generating diverse valid test inputs with reinforcement learning.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Fluid quotes: metaprogramming across abstraction boundaries with dependent types.

[BibT_eX]

[DOI]

Shadaj Laddad

Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms.

[BibT_eX]

[DOI]

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019

Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2019

FuzzFactory: domain-specific fuzzing with waypoints.

[BibT_eX]

[DOI]

Hayawardh Vijayakumar

Proc. ACM Program. Lang., 2019

Aroma: code recommendation via structural code search.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

AutoPandas: neural-backed generators for program synthesis.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Heuristics for Quantum Compiling with a Continuous Gate Set.

[BibT_eX]

[DOI]

CoRR, 2019

ChocoPy: a programming language for compilers courses.

[BibT_eX]

[DOI]

Paul N. Hilfinger

Proceedings of the SPLASH-E '19, 2019

When deep learning met code search.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Efficient fail-fast dynamic subtype checking.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

Semantic fuzzing with zest.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

JQF: coverage-guided property-based testing in Java.

[BibT_eX]

[DOI]

Caroline Lemieux

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Validity fuzzing and parametric generators for effective random testing.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.

[BibT_eX]

[DOI]

Rafael Dutra

Jonathan Bachrach

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

EIGER: automated IOC generation for accurate and interpretable endpoint malware detection.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018

Combining Model Checking and Testing.

[BibT_eX]

[DOI]

Patrice Godefroid

Proceedings of the Handbook of Model Checking., 2018

DeepBugs: a learning approach to name-based bug detection.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Aroma: Code Recommendation via Structural Code Search.

[BibT_eX]

[DOI]

CoRR, 2018

Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing.

[BibT_eX]

[DOI]

CoRR, 2018

Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts.

[BibT_eX]

[DOI]

Rohan Bavishi

CoRR, 2018

Retrieval on source code: a neural code search.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage.

[BibT_eX]

[DOI]

Caroline Lemieux

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

PerfFuzz: automatically generating pathological inputs.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Accelerating Search-Based Program Repair.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Efficient sampling of SAT solutions for testing.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

DetReduce: minimizing Android GUI test suites for regression testing.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

RFUZZ: coverage-directed fuzz testing of RTL on FPGAs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer-Aided Design, 2018

SMTSampler: efficient stimulus generation from complex SMT constraints.

[BibT_eX]

[DOI]

Rafael Dutra

Jonathan Bachrach

Cristian-Alexandru Staicu

Proceedings of the International Conference on Computer-Aided Design, 2018

Maximizing Communication Overlap with Dynamic Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region, 2018

2017

A Survey of Dynamic Analysis and Test Generation for JavaScript.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2017

FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage.

[BibT_eX]

[DOI]

Caroline Lemieux

CoRR, 2017

Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC.

[BibT_eX]

[DOI]

Ganesh Gopalakrishnan

Paul D. Hovland

Sriram Krishnamoorthy

CoRR, 2017

Travioli: a dynamic analysis for detecting data-structure traversals.

[BibT_eX]

[DOI]

Christoffer Quist Adamsen

Proceedings of the 39th International Conference on Software Engineering, 2017

Repairing event race errors by controlling nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2016

Technical Perspective: Veritesting tackles path-explosion problem.

[BibT_eX]

[DOI]

Commun. ACM, 2016

OPR: deterministic group replay for one-sided communication.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Floating-point precision tuning using blame analysis.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Feedback-directed instrumentation for deployed JavaScript applications.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

SReplay: Deterministic Sub-Group Replay for One-Sided Communication.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Supercomputing, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

MultiSE: multi-path symbolic execution using value summaries.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

MemInsight: platform-independent memory debugging for JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

JITProf: pinpointing JIT-unfriendly JavaScript code.

[BibT_eX]

[DOI]

Liang Gong

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

SJS: A Type System for JavaScript with Fixed Object Layout.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Barrier elision for production parallel programs.

[BibT_eX]

[DOI]

John M. Mellor-Crummey

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

Concolic testing: a decade later (keynote).

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

DLint: dynamically checking bad coding practices in JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Automated Test Generation Using Concolic Testing.

[BibT_eX]

[DOI]

Proceedings of the 8th India Software Engineering Conference, 2015

Generating Succinct Test Cases Using Don't Care Analysis.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

GuideSE: Annotations for Guiding Concolic Testing.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript.

[BibT_eX]

[DOI]

Parker Schuh

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

CodeHint: dynamic and interactive synthesis of code snippets.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Symbolic execution for software testing: three decades later.

[BibT_eX]

[DOI]

Cristian Cadar

Commun. ACM, 2013

Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Jalangi: a selective record-replay and dynamic analysis framework for JavaScript.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Precimonious: tuning assistant for floating-point precision.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2013

Scalable data race detection for partitioned global address space programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

CONCURRIT: a domain specific language for reproducing concurrency bugs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Guided GUI testing of android apps with minimal restart and approximate learning.

[BibT_eX]

[DOI]

Wontae Choi

George C. Necula

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Scaling data race detection for partitioned global address space programs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Supercomputing, 2013

2012

Symbolic Execution.

[BibT_eX]

[DOI]

Cristian Cadar

Proceedings of the Runtime Verification, Third International Conference, 2012

Concurrent breakpoints.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration.

[BibT_eX]

[DOI]

Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

2011

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.

[BibT_eX]

[DOI]

Christos Stergiou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Efficient data race detection for distributed memory parallel programs.

[BibT_eX]

[DOI]

Proceedings of the Conference on High Performance Computing Networking, 2011

Concolic Testing and Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

PREFAIL: a programmable tool for multiple-failure injection.

[BibT_eX]

[DOI]

Haryadi S. Gunawi

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

FATE and DESTINI: A Framework for Cloud Recovery Testing.

[BibT_eX]

[DOI]

Joseph M. Hellerstein

Andrea C. Arpaci-Dusseau

Remzi H. Arpaci-Dusseau

Dhruba Borthakur

Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation, 2011

Testing concurrent programs on relaxed memory models.

[BibT_eX]

[DOI]

Christos Stergiou

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Symbolic execution for software testing in practice: preliminary assessment.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

RADBench: A Concurrency Bug Benchmark Suite.

[BibT_eX]

[DOI]

Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism, 2011

Specifying and checking semantic atomicity for multithreaded programs.

[BibT_eX]

[DOI]

George C. Necula

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Asserting and checking determinism for multithreaded programs.

[BibT_eX]

[DOI]

Commun. ACM, 2010

An effective dynamic analysis for detecting generalized deadlocks.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

A trace simplification technique for effective debugging of concurrent programs.

[BibT_eX]

[DOI]

Nicholas Jalbert

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

DETERMIN: inferring likely deterministic specifications of multithreaded programs.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Towards Automatically Checking Thousands of Failures with Micro-specifications.

[BibT_eX]

[DOI]

Haryadi S. Gunawi

Thanh Do

Joseph M. Hellerstein

Andrea C. Arpaci-Dusseau

Remzi H. Arpaci-Dusseau

Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010

2009

A view of the parallel computing landscape.

[BibT_eX]

[DOI]

Commun. ACM, 2009

A randomized dynamic program analysis technique for detecting real deadlocks.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Looper: Lightweight Detection of Infinite Loops at Runtime.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Effective static deadlock detection.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

WISE: Automated test generation for worst-case complexity.

[BibT_eX]

[DOI]

Sudeep Juvekar

Proceedings of the 31st International Conference on Software Engineering, 2009

DART: Directed Automated Random Testing.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2009

SNIFF: A Search Engine for Java Using Free-Form Queries.

[BibT_eX]

[DOI]

Shaunak Chatterjee

Sudeep Juvekar

Proceedings of the Fundamental Approaches to Software Engineering, 2009

CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Randomized active atomicity violation detection in concurrent programs.

[BibT_eX]

[DOI]

Murali Krishna Ramanathan

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Protocol Inference Using Static Path Profiles.

[BibT_eX]

[DOI]

Ananth Grama

Suresh Jagannathan

Proceedings of the Static Analysis, 15th International Symposium, 2008

Race directed random testing of concurrent programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Predictive Typestate Checking of Multithreaded Java Programs.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Heuristics for Scalable Dynamic Test Generation.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Universal symbolic execution and its application to likely data structure invariant generation.

[BibT_eX]

[DOI]

Yamini Kannan

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Model-Checking omega-Regular Properties of Interval Markov Chains.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Thomas A. Henzinger

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

An instrumentation technique for online analysis of multithreaded programs.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2007

Predictive testing: amplifying the effectiveness of software testing.

[BibT_eX]

[DOI]

Mark Shlimovich

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Concolic testing.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Effective random testing of concurrent programs.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Dynamic test input generation for database applications.

[BibT_eX]

[DOI]

Michael Emmi

Rupak Majumdar

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Hybrid Concolic Testing.

[BibT_eX]

[DOI]

Rupak Majumdar

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Scalable Automated Methods for Dynamic Program Analysis

[BibT_eX]

[DOI]

PhD thesis, 2006

Online efficient predictive safety analysis of multithreaded programs.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

Model-Checking Markov Chains in the Presence of Uncertainties.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Decentralized runtime analysis of multithreaded applications.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software, 2006

Automated Systematic Testing of Open Distributed Programs.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2006

Model Checking Multithreaded Programs with Asynchronous Atomic Methods.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Combining test case generation and runtime verification.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems.

[BibT_eX]

[DOI]

Gul A. Agha

José Meseguer

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Using Language Inference to Verify Omega-Regular Properties.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

CUTE: a concolic unit testing engine for C.

[BibT_eX]

[DOI]

Darko Marinov

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.

[BibT_eX]

[DOI]

Gul A. Agha

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

DART: directed automated random testing.

[BibT_eX]

[DOI]

Patrice Godefroid

Nils Klarlund

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

On Statistical Model Checking of Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Rule-Based Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2004

Learning Continuous Time Markov Chains from Sample Executions.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Program Monitoring with LTL in EAGLE.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Efficient Decentralized Monitoring of Safety in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Learning to Verify Safety Properties.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

Actively Learning to Verify Safety for FIFO Automata.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

A Temporal Logic Based Framework for Intrusion Detection.

[BibT_eX]

[DOI]

Prasad Naldurg

Prasanna Thati

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Statistical Model Checking of Black-Box Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Generating Optimal Monitors for Extended Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Run-time Verification, 2003

Runtime safety analysis of multithreaded programs.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

A Rewriting Based Model for Probabilistic Distributed Object Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Generating Optimal Linear Temporal Logic Monitors by Coinduction.

[BibT_eX]

[DOI]