Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8 von Pulte, Christopher, Flur, Shaked, Deacon, Will, French, Jon, Sarkar, Susmit, Sewell, Peter

Volltext

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS von Armstrong, Alasdair, Bauereiss, Thomas, Campbell, Brian, Reid, Alastair, Gray, Kathryn E., Norton, Robert M., Mundkur, Prashanth, Wassell, Mark, French, Jon, Pulte, Christopher, Flur, Shaked, Stark, Ian, Krishnaswami, Neel, Sewell, Peter

Volltext

Termination proofs for linear simple loops von Chen, Hong Yi, Flur, Shaked, Mukhopadhyay, Supratik

Volltext

Repairing and Mechanising the JavaScript Relaxed Memory Model von Watt, Conrad, Pulte, Christopher, Podkopaev, Anton, Barbier, Guillaume, Dolan, Stephen, Shaked Flur, Pichon-Pharabod, Jean, Shu-yu, Guo

Volltext

Termination Proofs for Linear Simple Loops von Chen, Hong Yi, Flur, Shaked, Mukhopadhyay, Supratik

Volltext

Modelling the ARMv8 architecture, operationally: concurrency and ISA von Flur, Shaked, Gray, Kathryn E., Pulte, Christopher, Sarkar, Susmit, Sezgin, Ali, Maranget, Luc, Deacon, Will, Sewell, Peter

Volltext

Towards making formal methods normal: meeting developers where they are von Reid, Alastair, Church, Luke, Flur, Shaked, de Haas, Sarah, Johnson, Maritza, Laurie, Ben

Volltext bestellen

Mixed-size concurrency: ARM, POWER, C/C++11, and SC von Flur, Shaked, Sarkar, Susmit, Pulte, Christopher, Nienhuis, Kyndylan, Maranget, Luc, Gray, Kathryn E., Sezgin, Ali, Batty, Mark, Sewell, Peter

Volltext

Detection of design redundancy von NEVO ZIV, FLUR SHAKED

Volltext bestellen

Towards making formal methods normal: meeting developers where they are von Reid, Alastair, Church, Luke, Shaked Flur, de Haas, Sarah, Johnson, Maritza, Laurie, Ben

Volltext

DETECTION OF DESIGN REDUNDANCY von NEVO ZIV, FLUR SHAKED

Volltext bestellen

Model checking of liveness property in a phase abstracted model von NEVO ZIV, FLUR SHAKED, ROESSLER PAUL JOSEPH, BAUMGARTNER JASON RAYMOND

Volltext bestellen

Research data supporting “Mixed-size Concurrency: ARM, POWER, C/C++11, and SC” von Flur, Shaked, Sarkar, Susmit, Pulte, Christopher, Nienhuis, Kyndylan, Maranget, Luc, Gray, Kathryn E., Sezgin, Ali, Batty, Mark, Sewell, Peter

Volltext bestellen

Formal verification of models using concurrent model-reduction and model-checking von NEVO ZIV, FLUR SHAKED, ARBEL ELI, SHAMIS MICHAEL

Volltext bestellen

Formal verification of models using concurrent model-reduction and model-checking von NEVO ZIV, FLUR SHAKED, ARBEL ELI, SHAMIS MICHAEL

Volltext bestellen

Formal verification of models using concurrent model-reduction and model-checking von Arbel, Eli, Flur, Shaked, Nevo, Ziv, Shamis, Michael

Volltext bestellen

Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking von NEVO ZIV, FLUR SHAKED, ARBEL ELI, SHAMIS MICHAEL

Volltext bestellen

MODEL CHECKING OF LIVENESS PROPERTY IN A PHASE ABSTRACTED MODEL von NEVO ZIV, FLUR SHAKED, ROESSLER PAUL JOSEPH, BAUMGARTNER JASON RAYMOND

Volltext bestellen

Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking von NEVO ZIV, FLUR SHAKED, ARBEL ELI, SHAMIS MICHAEL

Volltext bestellen

Research data supporting “Mixed-size Concurrency: ARM, POWER, C/C++11, and SC” von Flur, Shaked, Sarkar, Susmit, Pulte, Christopher, Nienhuis, Kyndylan, Maranget, Luc, Gray, Kathryn E, Sezgin, Ali, Batty, Mark, Sewell, Peter

Volltext bestellen