Kirsten Winter
Orcid: 0000-0002-8519-2026
According to our database1,
Kirsten Winter
authored at least 53 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
2023
Formal Aspects Comput., June, 2023
2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
2020
2019
Sci. Comput. Program., 2019
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency.
Formal Aspects Comput., 2019
An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2018
Proceedings of the Proceedings 18th Refinement Workshop, 2018
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018
2017
2016
Proceedings of the FM 2016: Formal Methods, 2016
2015
2014
Trans. Comput. Collect. Intell., 2014
2013
Proceedings of the Formal Methods and Software Engineering, 2013
2012
Formal Aspects Comput., 2012
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
2011
2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the Theoretical Computer Science, 2010
2009
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009
2008
Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees.
J. Vis. Lang. Comput., 2008
J. Syst. Softw., 2008
2007
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007
2006
Proceedings of the 11th Refinement Workshop, 2006
Proceedings of the FM 2006: Formal Methods, 2006
2005
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003
Proceedings of the Computer Science 2003, 2003
2002
Proceedings of the Integrated Formal Methods, Third International Conference, 2002
Proceedings of the Computer Science 2002, 2002
2001
Proceedings of the Workshop on Software Model Checking 2001, 2001
2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study.
Proceedings of the Abstract State Machines, 2000
1998
Proceedings of the Computer Safety, 1998
1997
1995
Proceedings of the Software-Ergonomie '95, Mensch - Computer, 1995