Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation (English)
- New search for: Pierce, Ken
- New search for: Gamble, Carl
- New search for: Golightly, David
- New search for: Palacín, Roberto
- New search for: Pierce, Ken
- New search for: Gamble, Carl
- New search for: Golightly, David
- New search for: Palacín, Roberto
In:
Formal methods ; Part 2
; 237-253
;
2020
-
ISBN:
- Conference paper / Print
-
Title:Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation
-
Contributors:Pierce, Ken ( author ) / Gamble, Carl ( author ) / Golightly, David ( author ) / Palacín, Roberto ( author )
-
Conference:World Congress on Formal Methods ; 3. ; 2019 ; Porto, Portugal
-
Published in:Formal methods ; Part 2 ; 237-253
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2020
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.52 Software engineering -
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 15
-
Flow Diagrams, Assertions, and Formal MethodsPriestley, Mark et al. | 2020
- 35
-
The School of Squiggol: A History of the Bird-Meertens FormalismGibbons, Jeremy et al. | 2020
- 54
-
Reasoning About Shared-Variable Concurrency: Interactions Between Research ThreadsJones, Cliff B. et al. | 2020
- 73
-
Specification with Class: A Brief History of Object-ZSmith, Graeme / Duke, David J. et al. | 2020
- 87
-
Formal Specifications and Software Testing, a Fruitful ConvergenceGaudel, Marie-Claude et al. | 2020
- 95
-
From Manuscripts to Programming Languages: An Archivist PerspectiveVidal, Alexandra / Meneses, Ana Sandra / Sousa, António et al. | 2020
- 103
-
What Have Formal Methods Ever Done for Us? An Audience DiscussionAstarte, Troy Kaighin et al. | 2020
- 119
-
Combination of Boxes and Polyhedra Abstractions for Constraint SolvingZiat, Ghiles / Maréchal, Alexandre / Pelleau, Marie / Miné, Antoine / Truchet, Charlotte et al. | 2020
- 136
-
An Abstract Domain for Objects in Dynamic Programming LanguagesArceri, Vincenzo / Pasqua, Michele / Mastroeni, Isabella et al. | 2020
- 157
-
A Survey of Learning Methods in Open Source SoftwareSuleimenov, Aidarbek / Khuzyakhmetova, Assiya / Cerone, Antonio et al. | 2020
- 167
-
A Calculus of Chaos in Stochastic Compilation: Engineering in the Cause of MathematicsBreuer, Peter T. / Pickin, Simon J. et al. | 2020
- 185
-
Runtime Verification of Linux Kernel Security ModuleEfremov, Denis / Shchepetkov, Ilya et al. | 2020
- 200
-
Open and Interactive Learning Resources for Algorithmic Problem SolvingFerreira, João F. / Mendes, Alexandra et al. | 2020
- 209
-
Challenges Faced by Students in an Open Source Software Undergraduate CourseIssa, Dias et al. | 2020
- 224
-
Open Source Software as a Learning Tool for Computer Science StudentsKhuzyakhmetova, Assiya / Suleimenov, Aidarbek et al. | 2020
- 237
-
Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulationPierce, Ken / Gamble, Carl / Golightly, David / Palacín, Roberto et al. | 2020
- 254
-
Migrating the INTO-CPS Application to the CloudMacedo, Hugo Daniel / Rasmussen, Mikkel Bayard / Thule, Casper / Larsen, Peter Gorm et al. | 2020
- 272
-
Towards a Static Check of FMUs in VDM-SLBattle, Nick / Thule, Casper / Gomes, Cláudio / Macedo, Hugo Daniel / Larsen, Peter Gorm et al. | 2020
- 289
-
ViennaDoc: An Animatable and Testable Specification Documentation ToolOda, Tomohiro / Araki, Keijiro / Yamamoto, Yasuhiro / Nakakoji, Kumiyo / Sako, Hiroshi / Chang, Han-Myung / Larsen, Peter Gorm et al. | 2020
- 307
-
A Map of Asynchronous Communication ModelsChevrou, Florent / Hurault, Aurélie / Nakajima, Shin / Quéinnec, Philippe et al. | 2020
- 323
-
An Abstract Semantics of Speculative Execution for Reasoning About Security VulnerabilitiesColvin, Robert J. / Winter, Kirsten et al. | 2020
- 342
-
Weakening Correctness and Linearizability for Concurrent Objects on Multicore ProcessorsSmith, Graeme / Groves, Lindsay et al. | 2020
- 358
-
Towards a Method for the Decomposition by Refinement in Event-BKraibi, Kenza / Ayed, Rahma Ben / Rehm, Joris / Collart-Dutilleul, Simon / Bon, Philippe / Petit, Dorian et al. | 2020
- 371
-
Transformations for Generating Type RefinementsSmith, Douglas R. / Westfold, Stephen J. et al. | 2020
- 388
-
Comparing Correctness-by-Construction with Post-Hoc Verification—A Qualitative User StudyRunge, Tobias / Thüm, Thomas / Cleophas, Loek / Schaefer, Ina / Watson, Bruce W. et al. | 2020
- 413
-
Reversible Programs Have Reversible SemanticsGlück, Robert / Kaarsgaard, Robin / Yokoyama, Tetsuo et al. | 2020
- 428
-
Two-Way Quantum and Classical Automata with Advice for Online Minimization ProblemsKhadiev, Kamil / Khadieva, Aliya et al. | 2020
- 443
-
Quotients and Atoms of Reversible LanguagesTamm, Hellis et al. | 2020
- 461
-
Bayesian Verification of Chemical Reaction NetworksMolyneux, Gareth W. / Wijesuriya, Viraj B. / Abate, Alessandro et al. | 2020
- 480
-
Nested Event Representation for Automated Assembly of Cell Signaling Network ModelsBecker, Evan W. / Bocan, Kara N. / Miskov-Zivanov, Natasa et al. | 2020
- 507
-
PrideMM: Second Order Model Checking for Memory Consistency ModelsCooksey, Simon / Harris, Sarah / Batty, Mark / Grigore, Radu / Janota, Mikoláš et al. | 2020
- 526
-
Fkcc: The Farkas CalculatorAlias, Christophe et al. | 2020
- 537
-
Handling Heap Data Structures in Backward Symbolic ExecutionHusák, Robert / Kofroň, Jan / Zavoral, Filip et al. | 2020
- 557
-
AUTHCHECK: Program-State Analysis for Access-Control VulnerabilitiesPiskachev, Goran / Petrasch, Tobias / Späth, Johannes / Bodden, Eric et al. | 2020