Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

16 results
Page :
sorted by
Image document

mu2: A Refactoring-Based Mutation Testing Framework for Erlang

 Ramsay Taylor , John Derrick
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.178-193, ⟨10.1007/978-3-319-25945-1_11⟩
Conference papers hal-01470148v1
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
Image document

Public Expectations of Social Media Use by Critical Infrastructure Operators During Crises: Lessons Learned from France

 Laura Petersen , Laure Fallou , Paul Reilly , Elisa Serafinelli
2nd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2017, Sofia, Bulgaria. pp.177-189, ⟨10.1007/978-3-030-18293-9_15⟩
Conference papers hal-02280327v1
Image document

Walking in the Wild – Using an Always-On Smartphone Application to Increase Physical Activity

 Tim Harries , Parisa Eslambolchilar , Chris Stride , Ruth Rettie , Simon Walton
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.19-36, ⟨10.1007/978-3-642-40498-6_2⟩
Conference papers hal-01510527v1
Image document

ICT-Based Inter-organisational Knowledge Exchange: A Narrative Literature Review Approach

 Yuzhen Zhu , Efpraxia D. Zamani , Jorge Tiago Martins , Ana Cristina Vasconcelos
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.411-422, ⟨10.1007/978-3-030-85447-8_35⟩
Conference papers hal-03648131v1
Image document

BIM as a Boundary Object in Construction Projects: A Knowledge-as-Practice Perspective

 Jing Wang , Pamela Y. Abbott , Efpraxia D. Zamani
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.371-382, ⟨10.1007/978-3-030-85447-8_32⟩
Conference papers hal-03648167v1
Image document

Knowledge Sharing in eCollaboration

 Neil Ireson , Gregoire Burel
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.351-362, ⟨10.1007/978-3-642-14799-9_30⟩
Conference papers hal-01059195v1
Image document

An Observational Approach to Defining Linearizability on Weak Memory Models

 John Derrick , Graeme Smith
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.108-123, ⟨10.1007/978-3-319-60225-7_8⟩
Conference papers hal-01658421v1
Image document

Perceptions of Students for a Gamification Approach: Cities Skylines as a Pedagogical Tool in Urban Planning Education

 Tayyeb Ahmed Khan , Xin Zhao
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.763-773, ⟨10.1007/978-3-030-85447-8_64⟩
Conference papers hal-03648157v1
Image document

Student’s Acceptance of Learning Management Systems: A Case Study of the National Open University of Nigeria

 Mohammed N. Yakubu , Muhammadou Kah , Salihu I. Dasuki
1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.245-255, ⟨10.1007/978-3-030-28764-1_27⟩
Conference papers hal-02515748v1
Image document

Conformance-Based Doping Detection for Cyber-Physical Systems

 Rayna Dimitrova , Maciej Gazda , Mohammad Reza Mousavi , Sebastian Biewer , Holger Hermanns
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.59-77, ⟨10.1007/978-3-030-50086-3_4⟩
Conference papers hal-03283236v1
Image document

A Mechanised Proof of an Adaptive State Counting Algorithm

 Robert Sachtleben , Robert M. Hierons , Wen-Ling Huang , Jan Peleska
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.176-193, ⟨10.1007/978-3-030-31280-0_11⟩
Conference papers hal-02526349v1
Image document

Increasing Functional Coverage by Inductive Testing: A Case Study

 Neil Walkinshaw , Kirill Bogdanov , John Derrick , Javier Paris
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.126-141, ⟨10.1007/978-3-642-16573-3_10⟩
Conference papers hal-01055254v1
Image document

Proving Opacity via Linearizability: A Sound and Complete Method

 Alasdair Armstrong , Brijesh Dongol , Simon Doherty
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.50-66, ⟨10.1007/978-3-319-60225-7_4⟩
Conference papers hal-01658425v1
Image document

Using Behaviour Inference to Optimise Regression Test Sets

 Ramsay Taylor , Mathew Hall , Kirill Bogdanov , John Derrick
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.184-199, ⟨10.1007/978-3-642-34691-0_14⟩
Conference papers hal-01482401v1
Image document

Relational Concurrent Refinement: Timed Refinement

 John Derrick , Eerke Boiten
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.121-137, ⟨10.1007/978-3-642-21461-5_8⟩
Conference papers hal-01583329v1
Page :