Resultaten visas 1 - 10 / 4281
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud

Referentgranskad
DOI
10.1007/978-3-319-10181-1_7
Linas Laibinis; Benjamin Byholm; I Pereverzeva; Elena Troubitsyna; KE Tan; Ivan Porres Paltor
Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11...2014Publicationer information ikon

Modelling Resilient Systems-of-Systems in Event-B

Referentgranskad
DOI
10.1007/978-3-319-10557-4_19
Linas Laibinis; I Pereverzeva; Elena Troubitsyna
Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops2014Publicationer information ikon

Experimenting with Event-B and Scrum on Student Project Course

Öppen tillgång
Marta Olszewska; Mikołaj Olszewski; Sergey Ostroumov; Gohar Shah; Haider Rizvi; Bilal Altaf
Turku Centre for Computer Science (TUCS)2017Publicationer information ikon

Formal Verification of Stateful Services with REST APIs Using Event-B

Referentgranskad
DOI
10.1109/ICWS.2018.00024
Irum Rauf; Inna Vistbakka; Elena Troubitsyna
2018 IEEE International Conference on Web Services (ICWS)2018Publicationer information ikon

Applying guidelines for system modelling in Event-B: A systematic literature review

Referentgranskad
Öppen tillgång
DOI
10.1504/IJCCBS.2020.108668
Marta Olszewska; Fatima Shokri-Manninen; Andrew Edmunds; Marina Walden
International Journal of Critical Computer-Based Systems2020Publicationer information ikon

Improving the Modelling Experience in Event-B - A Literature Review

Öppen tillgång
Marta Olszewska; Fatima Shokri-Manninen; Andrew Edmunds; Marina Walden
Turku Center for Computer Science (TUCS)2018Publicationer information ikon

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B

Referentgranskad
DOI
10.1007/978-3-319-91271-4_28
Inna Vistbakka; Mikhail Barash; Elena Troubitsyna
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southam...2018Publicationer information ikon

Concurrent Scheduling of Event-B Models

Referentgranskad
DOI
10.4204/EPTCS.55.11
Boström, Pontus; Degerlund, Fredrik; Sere, Kajsa; Waldén, Marina
15th International Refinement Workshop2011Publicationer information ikon

Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition

Referentgranskad
DOI
10.1007/978-3-319-49815-7_6
Andrew Edmunds, Marina Waldén
Brazilian Symposium on Formal Methods (SBMF)2016Publicationer information ikon

Modelling “Operation-Calls” in Event-B with Shared-Event Composition

Öppen tillgång
Andrew Edmunds; Marina Walden
-2015

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud

Referentgranskad
DOI
10.1007/978-3-319-10181-1_7
2014

Modelling Resilient Systems-of-Systems in Event-B

Referentgranskad
DOI
10.1007/978-3-319-10557-4_19
2014

Experimenting with Event-B and Scrum on Student Project Course

Öppen tillgång
2017

Formal Verification of Stateful Services with REST APIs Using Event-B

Referentgranskad
DOI
10.1109/ICWS.2018.00024
2018

Applying guidelines for system modelling in Event-B: A systematic literature review

Referentgranskad
Öppen tillgång
DOI
10.1504/IJCCBS.2020.108668
2020

Improving the Modelling Experience in Event-B - A Literature Review

Öppen tillgång
2018

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B

Referentgranskad
DOI
10.1007/978-3-319-91271-4_28
2018

Concurrent Scheduling of Event-B Models

Referentgranskad
DOI
10.4204/EPTCS.55.11
2011

Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition

Referentgranskad
DOI
10.1007/978-3-319-49815-7_6
2016

Modelling “Operation-Calls” in Event-B with Shared-Event Composition

Öppen tillgång
2015