MUSEPAT

Publications

2013

Mischael Schill, Sebastian Nanz, Bertrand Meyer
Handling Parallelism in a Concurrency Model. MUSEPAT (2013)
Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung
A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions. MUSEPAT (2013)
Richard H. Carver, Yu Lei
A Modular Approach to Model-Based Testing of Concurrent Programs. MUSEPAT (2013)
Nuno Cardoso, Rui Abreu
MHS2: A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm. MUSEPAT (2013)
Lars Lucas, Tobias Schuele, Wolfgang Schwitzer
Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel Stages. MUSEPAT (2013)
Tiago M. Vale, Ricardo J. Dias, João Lourenço
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories. MUSEPAT (2013)
Ryo Kawahara, Kouichi Ono, Takeo Nakada
MVA-Based Probabilistic Model of Shared Memory with a Round Robin Arbiter for Predicting Performance with Heterogeneous Workload. MUSEPAT (2013)
Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer
How to Cancel a Task. MUSEPAT (2013)
David Kelk, Kevin Jalbert, Jeremy S. Bradbury
Automatically Repairing Concurrency Bugs with ARC. MUSEPAT (2013)