default search action
SEFM Workshops 2015: York, UK
- Domenico Bianculli
, Radu Calinescu, Bernhard Rumpe
Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9509, Springer 2015, ISBN 978-3-662-49223-9
ATSE 2015
- Karl Meinke, Peter Nycander:
Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection. 3-10 - Arjan P. van der Meer, Rachid Kherrazi, Neda Noroozi, Anita Wierda:
The Synergy Between User Experience Design and Software Testing. 11-21 - Daniel Homm, Jürgen Eckert, Reinhard German:
Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems. 22-31
HOFM 2015
- Anna Zamansky, Eitan Farchi:
Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. 35-42 - Jan Olaf Blech
Behavioral Types for Component-Based Development of Cyber-Physical Systems. 43-52 - Mark Adams:
Refactoring Proofs with Tactician. 53-67 - Anna Zamansky, Eitan Farchi:
Exploring the Role of Logic and Formal Methods in Information Systems Education. 68-74 - Serdar Erbatur, Martin Hofmann:
GuideForce: Type-Based Enforcement of Programming Guidelines. 75-89
MoKMaSD 2015
- Valerio Grossi, Anna Monreale
Clustering Formulation Using Constraint Optimization. 93-107 - Riccardo Guidotti, Paolo Cintia:
Towards a Boosted Route Planner Using Individual Mobility Models. 108-123 - Sélinde van Engelenburg
Design of a Business-to-Government Information Sharing Architecture Using Business Rules. 124-138 - Antonio Cerone:
Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management. 139-144 - Farshad Shams, Antonio Cerone, Rocco De Nicola
On Integrating Social and Sensor Networks for Emergency Management. 145-160 - Vashti Galpin
Quantitative Modelling of Residential Smart Grids. 161-175 - Roberto Barbuti, Alessandro Bompadre, Pasquale Bove
Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. 176-191 - Chiara Cini, Luca Tesei
Probabilistic Modelling and Analysis of a Fish Population. 192-197 - Suryana Setiawan, Antonio Cerone, Paolo Milazzo
A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems. 198-212
VERY*SCART 2015
- Luciano Baresi
Distributed Coordinated Adaptation of Cloud-Based Applications. 215-227 - Tommaso Di Noia, Marina Mongiello
Fuzzy Description Logics for Component Selection in Software Design. 228-239 - Amleto Di Salle
Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns. 240-252 - Kento Ogawa, Hiroyuki Nakagawa
An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities. 253-265 - Maurice H. ter Beek
Towards Automatic Decision Support for Bike-Sharing System Design. 266-280 - Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko:
Automated Synthesis of Protocol Converters with BALM-II. 281-296 - Vincenzo Ciancia
An Experimental Spatio-Temporal Model Checker. 297-311 - Amleto Di Salle
Dependable Composition of Software and Services in the Internet of Things: A Biological Approach. 312-323
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-09 23:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: