Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings von Furia, Carlo A, Winter, Kirsten

Volltext

Correctness of Concurrent Objects under Weak Memory Models von Smith, Graeme, Winter, Kirsten, Colvin, Robert J.

Volltext

Range‐wide persistence of the endangered arroyo toad (Anaxyrus californicus) for 20+ years following a prolonged drought von Hitchcock, Cynthia J., Gallegos, Elizabeth A., Backlin, Adam R., Barabe, Russell, Bloom, Peter H., Boss, Kimberly, Brehme, Cheryl S., Brown, Christopher W., Clark, Denise R., Clark, Elizabeth R., Cooper, Kevin, Donnell, Julie, Ervin, Edward, Famolaro, Peter, Guilliam, Kim M., Hancock, Jacquelyn J., Hess, Nicholas, Howard, Steven, Hubbartt, Valerie, Lieske, Patrick, Lovich, Robert, Matsuda, Tritia, Meyer‐Wilkins, Katherin, Muri, Kamarul, Nerhus, Barry, Nordland, Jeff, Ortega, Brock, Packard, Robert, Ramirez, Ruben, Stewart, Sam C., Sweet, Samuel, Warburton, Manna, Wells, Jeffrey, Winkleman, Ryan, Winter, Kirsten, Zitt, Brian, Fisher, Robert N.

Volltext

On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders von Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco, Piattino, Andrea, Trentini, Daniele, Ferrari, Alessio

Volltext

Compositional Reasoning for Non-multicopy Atomic Architectures von Coughlin, Nicholas, Winter, Kirsten, Smith, Graeme

Volltext

Relating trace refinement and linearizability von Smith, Graeme, Winter, Kirsten

Volltext

Next-preserving branching bisimulation von Yatapanage, Nisansala, Winter, Kirsten

Volltext

Modelling concurrent objects running on the TSO and ARMv8 memory models von Winter, Kirsten, Smith, Graeme, Derrick, John

Volltext

Linearizability on hardware weak memory models von Smith, Graeme, Winter, Kirsten, Colvin, Robert J.

Volltext

Robotics and Integrated Formal Methods: Necessity Meets Opportunity von Farrell, Marie, Luckcuck, Matt, Fisher, Michael

Volltext

Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models von Coughlin, Nicholas, Winter, Kirsten, Smith, Graeme

Volltext

An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities von Colvin, Robert J., Winter, Kirsten

Volltext

Task Planning with OMT: An Application to Production Logistics von Leofante, Francesco, Ábrahám, Erika, Tacchella, Armando

Volltext

Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings von Winter, Kirsten

Volltext

Mode-Aware Concolic Testing for PLC Software: Special Session “Formal Methods for the Design and Analysis of Automated Production Systems” von Simon, Hendrik, Kowalewski, Stefan

Volltext

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency von Hayes, Ian J., Meinicke, Larissa A., Winter, Kirsten, Colvin, Robert J.

Volltext

Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions von Tueno Fotso, Steve Jeffrey, Frappier, Marc, Laleau, Régine, Mammar, Amel, Leuschel, Michael

Volltext

Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems von Colvin, Robert, Grunske, Lars, Winter, Kirsten

Volltext

Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks von Lanotte, Ruggero, Merro, Massimo, Tini, Simone

Volltext

Making Linearizability Compositional for Partially Ordered Executions von Doherty, Simon, Dongol, Brijesh, Wehrheim, Heike, Derrick, John

Volltext