Regular Papers |
1
|
Beniamino Accattoli and Giulio Guerrieri
Implementing Open Call-by-Value
|
2
|
Ferruccio Damiani, Michael Lienhardt and Luca Paolini
A Formal Model for Multi SPLs
|
3
|
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen and Ingrid Chieh Yu
Translating Active Objects into Colored Petri Nets for Communication Analysis
|
4
|
Alex P. Klinkhamer and Ali Ebnenasir
Synthesizing Parameterized Self-Stabilizing Rings With Constant-Space Processes
|
5
|
Masoumeh Taromirad and Mohammadreza Mousavi
Gray-Box Conformance Testing for Symbolic Reactive State Machines
|
6
|
Filippo Bonchi, Matias David Lee and Jurriaan Rot
Bisimilarity of Open Terms in Stream GSOS
|
7
|
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi and Fateme Bajelan
Automatic Transition System Model Identifications for Network Applications from Packet Traces
|
8
|
Mahdi Houshmand and Samad Paydar
TCE+: An Extension of the TCE Approach for Detecting Equivalent Mutants in Java Programs
|
9
|
Guillermina Cledou, José Proença and Luis Barbosa
Composing families of Timed Automata
|
10
|
Atieh Monemi Bidgoli, Hassan Haghighi, Tahere Zohdi Nasab and Hamideh Sabouri
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths
|
11
|
Shahrzad Riahi, Ramtin Khosravi and Fatemeh Ghassemi
Purpose-based Policy Enforcement in Actor-based Systems
|
12
|
Gianluca Barbon, Vincent Leroy and Gwen Salaün
Debugging of Concurrent Systems using Counterexample Analysis
|
13
|
Nils Timm, Stefan Gruner and Prince Sibanda
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving
|
14
|
José Proença and Carlos Baquero
Quality-Aware Reactive Programming for the IoT
|
15
|
Ali Parsai, Alessandro Murgia and Serge Demeyer
LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems
|
16
|
Eva Kühn
Flexible Transactional Coordination in the Peer Model
|
Poster Papers |
1
|
Zahra Rahimi Nassab, Hamideh Sabouri, Mohamad Jafari Monfared and Hassan Haghighi
Performance Test Requirements Extraction Using Formal Specifications
|
2
|
Mahboubeh Samadi, Fatemeh Ghassemi and Ramtin Khosravi
A Privacy-Preserving Synchronization Protocol in Actor Models
|