Automated Specification Extraction and Analysis with Specstractor,
Schulze, Christoph, Cleaveland Rance, and Lindvall Mikael
, Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings, (2018)
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees,
Ferlez, James, Cleaveland Rance, and Marcus Steven I.
, Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017., (2017)
(254.08 KB) An Extensible Operational Semantics for UML Activity Diagrams,
Daw, Zamira, and Cleaveland Rance
, Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings, (2015)
A framework for opacity in linear systems,
Ramasubramanian, Bhaskar, Cleaveland Rance, and Marcus Steven I.
, 2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July 6-8, 2016, (2016)
(159.19 KB)