index - Archive ouverte HAL Access content directly
   


Full Text Documents

Chargement de la page

Search

Chargement de la page


Table of Contents
Fundamentals of Software Engineering
Hossein Hojjat, Mieke Massink
Front Matter

Agent Based Systems


A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems
Narges Khakpour, Jetty Kleijn, Marjan Sirjani
3-19
A Two-Dimensional Self-coordination Mechanism of Agents in a Minority Game
Sanaz Hasanzadeh Fard, Hadi Tabatabaee Malazi
20-36
A Persistent Entropy Automaton for the Dow Jones Stock Market
Marco Piangerelli, Luca Tesei, Emanuela Merelli
37-42

Theorem Proving


Proof Guidance in PVS with Sequential Pattern Mining
M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger
45-60
Using PVS for Modeling and Verification of Probabilistic Connectors
M. Saqib Nawaz, Meng Sun
61-76
Greenify: A Game with the Purpose of Test Data Generation for Unit Testing
Sharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzade, Mojtaba Vahidi Asl
77-92

Learning


Active Learning of Industrial Software with Data
Lisette Sanchez, Jan Friso Groote, Ramon Schiffelers
95-110
An Experimental Study on Flakiness and Fragility of Randoop Regression Test Suites
Samad Paydar, Aidin Azamnouri
111-126

Verification


Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL
Antonio González-Burgueño, Peter Csaba Ölveczky
129-144
Logics for Petri Nets with Propagating Failures
Leandro Gomes, Alexandre Madeira, Mario Benevides
145-157
Verifying System-Wide Properties of Industrial Component-Based Software
Thomas Neele, Marijn Rol, Jan Friso Groote
158-175

Distributed Algorithms


Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness
Samira Akili, Kim Völlinger
179-185
Taming Hierarchical Connectors
José Proença, Alexandre Madeira
186-193
Service Orchestration with Priority Constraints
Behnaz Changizi, Natallia Kokash, Farhad Arbab
194-209

Program Analysis


Modeling Non-deterministic C Code with Active Objects
Nathan Wasser, Asmae Heydari Tabar, Reiner Hahnle
213-227
Verification of Smart Contract Business Logic
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
228-243
An Approach to Generate Effective Fault Localization Methods for Programs
Babak Bagheri, Mohammad Rezaalipour, Mojtaba Vahidi-Asl
244-259

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/