Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
authFullName_s : Heike Wehrheim
Page :
sorted by
Image document

Bounded Model Checking of Graph Transformation Systems via SMT Solving

 Tobias Isenberg , Dominik Steenken , Heike Wehrheim
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.178-192, ⟨10.1007/978-3-642-38592-6_13⟩
Conference papers hal-01515236v1
Image document

Automatic Fairness Testing of Machine Learning Models

 Arnab Sharma , Heike Wehrheim
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.255-271, ⟨10.1007/978-3-030-64881-7_16⟩
Conference papers hal-03239825v1
Image document

A Short Survey on Using Software Error Localization for Service Compositions

 Julia Krämer , Heike Wehrheim
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.248-262, ⟨10.1007/978-3-319-44482-6_16⟩
Conference papers hal-01638583v1
Image document

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

 Eleni Bila , Simon Doherty , Brijesh Dongol , John Derrick , Gerhard Schellhorn , et al.
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.39-58, ⟨10.1007/978-3-030-50086-3_3⟩
Conference papers hal-03283234v1
Page :