Correctness of Concurrent Objects under Weak Memory Models
Smith, Graeme, Winter, Kirsten, Colvin, Robert J.
Published in Electronic proceedings in theoretical computer science (24.10.2018)
Published in Electronic proceedings in theoretical computer science (24.10.2018)
Get full text
Journal Article
Range‐wide persistence of the endangered arroyo toad (Anaxyrus californicus) for 20+ years following a prolonged drought
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.
Published in Ecology and evolution (01.04.2022)
Published in Ecology and evolution (01.04.2022)
Get full text
Journal Article
Compositional Reasoning for Non-multicopy Atomic Architectures
Coughlin, Nicholas, Winter, Kirsten, Smith, Graeme
Published in Formal aspects of computing (01.06.2023)
Published in Formal aspects of computing (01.06.2023)
Get full text
Journal Article
Modelling concurrent objects running on the TSO and ARMv8 memory models
Winter, Kirsten, Smith, Graeme, Derrick, John
Published in Science of computer programming (01.10.2019)
Published in Science of computer programming (01.10.2019)
Get full text
Journal Article
Backwards-directed information flow analysis for concurrent programs
Winter, Kirsten, Coughlin, Nicholas, Smith, Graeme
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)
Get full text
Conference Proceeding
Linearizability on hardware weak memory models
Smith, Graeme, Winter, Kirsten, Colvin, Robert J.
Published in Formal aspects of computing (01.02.2020)
Published in Formal aspects of computing (01.02.2020)
Get full text
Journal Article
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Colvin, Robert, Grunske, Lars, Winter, Kirsten
Published in The Journal of systems and software (01.12.2008)
Published in The Journal of systems and software (01.12.2008)
Get full text
Journal Article
Experience with fault injection experiments for FMEA
Grunske, Lars, Winter, Kirsten, Yatapanage, Nisansala, Zafar, Saad, Lindsay, Peter A.
Published in Software, practice & experience (01.10.2011)
Published in Software, practice & experience (01.10.2011)
Get full text
Journal Article
Designing Adaptive Systems Using Teleo-Reactive Agents
Smith, Graeme, Sanders, J. W., Winter, Kirsten
Published in Transactions on Computational Collective Intelligence XVI (01.01.2014)
Published in Transactions on Computational Collective Intelligence XVI (01.01.2014)
Get full text
Book Chapter