Suzana Andova

	2012
29		Sonja Georgievska, Suzana Andova: Probabilistic CSP: Preserving the Laws via Restricted Schedulers. MMB/DFT 2012: 136-150
28		Suzana Andova, Sonja Georgievska, Nikola Trcka: Branching bisimulation congruence for probabilistic systems. Theor. Comput. Sci. 413(1): 58-72 (2012)
	2011
27		Suzana Andova, Mark van den Brand, Luc Engelen: Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models AMMSE 2011: 65-79
26		Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Towards reduction of Paradigm coordination models PACO 2011: 1-18
25		Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy: Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. SLE 2011: 223-242
24		Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Dynamic consistency in process algebra: From Paradigm to ACP. Sci. Comput. Program. 76(8): 711-735 (2011)
	2010
23		Sonja Georgievska, Suzana Andova: Composing Systems While Preserving Probabilities. EPEW 2010: 268-283
22		Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Distributed Adaption of Dining Philosophers. FACS 2010: 125-144
21		Sonja Georgievska, Suzana Andova: Retaining the Probabilities in Probabilistic Testing Theory. FOSSACS 2010: 79-93
20		Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Towards Dynamic Adaptation of Probabilistic Systems. ISoLA (2) 2010: 143-159
19		Sonja Georgievska, Suzana Andova: Testing Reactive Probabilistic Processes QAPL 2010: 99-113
	2009
18		Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez: Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications QFM 2009
17		Suzana Andova, Sonja Georgievska: On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. SOFSEM 2009: 67-78
16		Sonja Georgievska, Suzana Andova: Testing Probabilistic Processes: Can Random Choices Be Unobservable? CoRR abs/0907.1540: (2009)
15		Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Dynamic Consistency in Process Algebra: From Paradigm to ACP. Electr. Notes Theor. Comput. Sci. 229(2): 3-20 (2009)
14		Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink: Formalizing Adaptation On-the-Fly. Electr. Notes Theor. Comput. Sci. 255: 23-44 (2009)
	2008
13		Danilo Gligoroski, Suzana Andova, Svein J. Knapskog: On the Importance of the Key Separation Principle for Different Modes of Operation. ISPEC 2008: 404-418
12		Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink: Architecting Security with Paradigm. WADS 2008: 255-283
11		Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic: A framework for compositional verification of security protocols. Inf. Comput. 206(2-4): 425-459 (2008)
	2006
10		Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse: A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. CONCUR 2006: 327-342
9		Danilo Gligoroski, Svein J. Knapskog, Suzana Andova: Cryptcoding - Encryption and Error-Correction Coding in a Single Step. Security and Management 2006: 145-151
8		Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic: A framework for compositional verification of security protocols CoRR abs/cs/0611062: (2006)
7		Suzana Andova, Tim A. C. Willemse: Branching bisimulation for probabilistic systems: Characteristics and decidability. Theor. Comput. Sci. 356(3): 325-355 (2006)
	2005
6		Suzana Andova, Tim A. C. Willemse: Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 128(2): 53-66 (2005)
	2003
5		Suzana Andova, Holger Hermanns, Joost-Pieter Katoen: Discrete-Time Rewards Model-Checked. FORMATS 2003: 88-104
	2002
4		Suzana Andova, Jos C. M. Baeten: Alternative composition does not imply non-determinism. Bulletin of the EATCS 76: 125-127 (2002)
	2001
3		Suzana Andova, Jos C. M. Baeten: Abstraction in Probabilistic Process Algebra. TACAS 2001: 204-219
	2000
2		Suzana Andova: Time and Probability in Process Algebra. AMAST 2000: 323-338
	1999
1		Suzana Andova: Process Algebra with Probabilistic Choice. ARTS 1999: 111-129

Coauthor Index

1	Jos C. M. Baeten	[3] [4] [10]
2	Mark van den Brand (Mark G. J. van den Brand, M. G. J. van den Brand)	[27]
3	Cas J. F. Cremers	[8] [11]
4	Pieter J. L. Cuijpers	[18]
5	Pedro R. D'Argenio	[18]
6	Luc Engelen	[27]
7	Sonja Georgievska	[16] [17] [19] [21] [23] [28] [29]
8	Kristian Gjøsteen	[8] [11]
9	Danilo Gligoroski	[9] [13]
10	Luuk Groenewegen	[12] [14] [15] [20] [22] [24] [26]
11	Holger Hermanns	[5]
12	Joost-Pieter Katoen	[5]
13	Svein J. Knapskog (Svein Johan Knapskog)	[9] [13]
14	Jasen Markovski	[18]
15	Sjouke Mauw	[8] [11]
16	Annabelle McIver (A. K. McIver)	[18]
17	Stig Fr. Mjølsnes	[8] [11]
18	Carroll Morgan (Carroll C. Morgan)	[18]
19	Istvan Nagy	[25]
20	Manuel Núñez	[18]
21	Sasa Radomirovic	[8] [11]
22	Michel A. Reniers	[25]
23	J. Stafleu	[14]
24	Frank P. M. Stappers	[25]
25	Nikola Trcka	[28]
26	Jan H. S. Verschuren	[12]
27	Erik P. de Vink	[12] [14] [15] [20] [22] [24] [26]
28	Sven Weber	[25]
29	Tim A. C. Willemse	[6] [7] [10]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page