Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Meinicke, Larissa A.
30  Ergebnisse:
Personensuche X
?
1

Restructuring a Concurrent Refinement Algebra:

, In: Lecture Notes in Computer Science; Relational and Algebraic Methods in Computer Science,
Hayes, Ian J. ; Meinicke, Larissa A. ; Evangelou-Oost, Naso - p. 135-155 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Specifying and Reasoning About Shared-Variable Concurrency:

, In: Lecture Notes in Computer Science; Theories of Programming and Formal Methods,
Hayes, Ian J. ; Jones, Cliff B. ; Meinicke, Larissa A. - p. 110-135 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Trace Models of Concurrent Valuation Algebras:

, In: Lecture Notes in Computer Science; Formal Methods and Software Engineering,
Evangelou-Oost, Naso ; Meinicke, Larissa ; Bannister, Callum. - p. 118-136 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Using cylindric algebra to support local variables in rely/..:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),
Meinicke, Larissa A. ; Hayes, Ian J. - p. 108-119 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Developing an Algebra for Rely/Guarantee Concurrency: Desig..:

, In: Lecture Notes in Computer Science; Unifying Theories of Programming,
Hayes, Ian J. ; Meinicke, Larissa A. - p. 176-197 , 2019
Link: https://doi.org/10.1007/..
 
?
6

A synchronous program algebra: a basis for reasoning about ..:

Hayes, Ian J. ; Meinicke, Larissa A. ; Winter, Kirsten.
Formal Aspects of Computing.  31 (2019)  2 - p. 133-163 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Cylindric Kleene Lattices for Program Construction:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,
Dongol, Brijesh ; Hayes, Ian ; Meinicke, Larissa. - p. 197-225 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Type Capabilities for Object-Oriented Programming Languages:

, In: Lecture Notes in Computer Science; Formal Methods and Software Engineering,
Wu, Xi ; Lu, Yi ; Meiring, Patrick A... - p. 215-230 , 2018
Link: https://doi.org/10.1007/..
 
?
9

Designing a semantic model for a wide-spectrum language wit..:

Colvin, Robert J. ; Hayes, Ian J. ; Meinicke, Larissa A.
Formal Aspects of Computing.  29 (2017)  5 - p. 853-875 , 2017
Link: https://doi.org/10.1007/..
 
?
10

Evaluating quality of security testing of the JDK:

, In: Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing,
Krishnan, Padmanabhan ; Loh, Jerome ; O'Donoghue, Rebecca. - p. 19-20 , 2017
Link: https://dl.acm.org/doi/1..
 
?
11

Hidden-Markov program algebra with iteration:

MCIVER, ANNABELLE ; MEINICKE, LARISSA ; MORGAN, CARROLL
Mathematical Structures in Computer Science.  25 (2014)  2 - p. 320-360 , 2014
Link: https://doi.org/10.1017/..
 
?
12

Linking Unifying Theories of Program refinement:

Hayes, Ian J. ; Dunne, Steve E. ; Meinicke, Larissa A.
Science of Computer Programming.  78 (2013)  11 - p. 2086-2107 , 2013
Link: https://doi.org/10.1016/..
 
?
13

A Kantorovich-Monadic Powerdomain for Information Hiding, w..:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,
McIver, Annabelle ; Meinicke, Larissa ; Morgan, Carroll - p. 461-470 , 2012
Link: https://dl.acm.org/doi/1..
 
?
14

Refinement algebra for probabilistic programs:

Meinicke, Larissa ; Solin, Kim
Formal Aspects of Computing.  22 (2010)  1 - p. 3-31 , 2010
Link: https://doi.org/10.1007/..
 
?
15

Algebraic reasoning for probabilistic action systems and wh..:

Meinicke, Larissa ; Hayes, Ian J.
Acta Informatica.  45 (2008)  5 - p. 321-382 , 2008
Link: https://doi.org/10.1007/..
 
1-15