BibTeX records: Suzana Andova

download as .bib file

@article{DBLP:journals/scp/AndovaGV14,
  author    = {Suzana Andova and
               Luuk Groenewegen and
               Erik P. de Vink},
  title     = {Dynamic adaptation with distributed control in Paradigm},
  journal   = {Sci. Comput. Program.},
  volume    = {94},
  pages     = {333--361},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2013.11.034},
  doi       = {10.1016/j.scico.2013.11.034},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/AndovaGV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/TikhonovaMBAV13,
  author    = {Ulyana Tikhonova and
               Maarten Manders and
               Mark van den Brand and
               Suzana Andova and
               Tom Verhoeff},
  title     = {Applying Model Transformation and Event-B for Specifying an Industrial
               {DSL}},
  booktitle = {Proceedings of the 10th International Workshop on Model Driven Engineering,
               Verification and Validation MoDeVVa 2013, co-located with 16th International
               Conference on Model Driven Engineering Languages and Systems (MoDELS
               2013), Miami, Florida, USA, October 1st, 2013.},
  pages     = {41--50},
  year      = {2013},
  crossref  = {DBLP:conf/models/2013modevva},
  url       = {http://ceur-ws.org/Vol-1069/07-paper.pdf},
  timestamp = {Thu, 05 Jul 2018 07:50:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/TikhonovaMBAV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GeorgievskaA12,
  author    = {Sonja Georgievska and
               Suzana Andova},
  title     = {Probabilistic may/must testing: retaining probabilities by restricted
               schedulers},
  journal   = {Formal Asp. Comput.},
  volume    = {24},
  number    = {4-6},
  pages     = {727--748},
  year      = {2012},
  url       = {https://doi.org/10.1007/s00165-012-0236-5},
  doi       = {10.1007/s00165-012-0236-5},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/GeorgievskaA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AndovaGT12,
  author    = {Suzana Andova and
               Sonja Georgievska and
               Nikola Trcka},
  title     = {Branching bisimulation congruence for probabilistic systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {413},
  number    = {1},
  pages     = {58--72},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.tcs.2011.07.020},
  doi       = {10.1016/j.tcs.2011.07.020},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AndovaGT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/AndovaBE12,
  author    = {Suzana Andova and
               Mark G. J. van den Brand and
               Luc Engelen},
  title     = {Reusable and Correct Endogenous Model Transformations},
  booktitle = {Theory and Practice of Model Transformations - 5th International Conference,
               {ICMT} 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings},
  pages     = {72--88},
  year      = {2012},
  crossref  = {DBLP:conf/icmt/2012},
  url       = {https://doi.org/10.1007/978-3-642-30476-7\_5},
  doi       = {10.1007/978-3-642-30476-7\_5},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icmt/AndovaBE12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/GeorgievskaA12,
  author    = {Sonja Georgievska and
               Suzana Andova},
  title     = {Probabilistic {CSP:} Preserving the Laws via Restricted Schedulers},
  booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability
               and Fault Tolerance - 16th International {GI/ITG} Conference, {MMB}
               {\&} {DFT} 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings},
  pages     = {136--150},
  year      = {2012},
  crossref  = {DBLP:conf/mmb/2012},
  url       = {https://doi.org/10.1007/978-3-642-28540-0\_10},
  doi       = {10.1007/978-3-642-28540-0\_10},
  timestamp = {Wed, 24 May 2017 08:29:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mmb/GeorgievskaA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AndovaBEV12,
  author    = {Suzana Andova and
               Mark G. J. van den Brand and
               Luc J. P. Engelen and
               Tom Verhoeff},
  title     = {{MDE} Basics with a {DSL} Focus},
  booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
               on Formal Methods for the Design of Computer, Communication, and Software
               Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
               Lectures},
  pages     = {21--57},
  year      = {2012},
  crossref  = {DBLP:conf/sfm/2012},
  url       = {https://doi.org/10.1007/978-3-642-30982-3\_2},
  doi       = {10.1007/978-3-642-30982-3\_2},
  timestamp = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/AndovaBEV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ldta/2012,
  editor    = {Anthony Sloane and
               Suzana Andova},
  title     = {International Workshop on Language Descriptions, Tools, and Applications,
               {LDTA} '12, Tallinn, Estonia, March 31 - April 1, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2427048},
  isbn      = {978-1-4503-1536-4},
  timestamp = {Sun, 30 Jun 2013 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ldta/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AndovaGV11,
  author    = {Suzana Andova and
               Luuk Groenewegen and
               Erik P. de Vink},
  title     = {Dynamic consistency in process algebra: From Paradigm to {ACP}},
  journal   = {Sci. Comput. Program.},
  volume    = {76},
  number    = {8},
  pages     = {711--735},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.scico.2010.04.011},
  doi       = {10.1016/j.scico.2010.04.011},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/AndovaGV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/StappersWRAN11,
  author    = {Frank P. M. Stappers and
               Sven Weber and
               Michel A. Reniers and
               Suzana Andova and
               Istvan Nagy},
  title     = {Formalizing a Domain Specific Language Using {SOS:} An Industrial
               Case Study},
  booktitle = {Software Language Engineering - 4th International Conference, {SLE}
               2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers},
  pages     = {223--242},
  year      = {2011},
  crossref  = {DBLP:conf/sle/2011},
  url       = {https://doi.org/10.1007/978-3-642-28830-2\_13},
  doi       = {10.1007/978-3-642-28830-2\_13},
  timestamp = {Tue, 23 May 2017 01:10:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sle/StappersWRAN11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-1861,
  author    = {Suzana Andova and
               Luuk Groenewegen and
               Erik P. de Vink},
  title     = {Towards reduction of Paradigm coordination models},
  booktitle = {Proceedings First International Workshop on Process Algebra and Coordination,
               {PACO} 2011, Reykjavik, Iceland, 9th June 2011.},
  pages     = {1--18},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1108-1452},
  url       = {https://doi.org/10.4204/EPTCS.60.1},
  doi       = {10.4204/EPTCS.60.1},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-1861},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1107-0067,
  author    = {Suzana Andova and
               Mark van den Brand and
               Luc Engelen},
  title     = {Prototyping the Semantics of a {DSL} using {ASF+SDF:} Link to Formal
               Verification of {DSL} Models},
  booktitle = {Proceedings Second International Workshop on Algebraic Methods in
               Model-based Software Engineering, {AMMSE} 2011, Zurich, Switzerland,
               30th June 2011.},
  pages     = {65--79},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1106-5962},
  url       = {https://doi.org/10.4204/EPTCS.56.5},
  doi       = {10.4204/EPTCS.56.5},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1107-0067},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/GeorgievskaA10,
  author    = {Sonja Georgievska and
               Suzana Andova},
  title     = {Composing Systems While Preserving Probabilities},
  booktitle = {Computer Performance Engineering - 7th European Performance Engineering
               Workshop, {EPEW} 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings},
  pages     = {268--283},
  year      = {2010},
  crossref  = {DBLP:conf/epew/2010},
  url       = {https://doi.org/10.1007/978-3-642-15784-4\_18},
  doi       = {10.1007/978-3-642-15784-4\_18},
  timestamp = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epew/GeorgievskaA10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/AndovaGV10,
  author    = {Suzana Andova and
               Luuk Groenewegen and
               Erik P. de Vink},
  title     = {Distributed Adaption of Dining Philosophers},
  booktitle = {Formal Aspects of Component Software - 7th International Workshop,
               {FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
               Selected Papers},
  pages     = {125--144},
  year      = {2010},
  crossref  = {DBLP:conf/facs2/2010},
  url       = {https://doi.org/10.1007/978-3-642-27269-1\_8},
  doi       = {10.1007/978-3-642-27269-1\_8},
  timestamp = {Fri, 02 Jun 2017 20:51:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/AndovaGV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GeorgievskaA10,
  author    = {Sonja Georgievska and
               Suzana Andova},
  title     = {Retaining the Probabilities in Probabilistic Testing Theory},
  booktitle = {Foundations of Software Science and Computational Structures, 13th
               International Conference, {FOSSACS} 2010, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2010,
               Paphos, Cyprus, March 20-28, 2010. Proceedings},
  pages     = {79--93},
  year      = {2010},
  crossref  = {DBLP:conf/fossacs/2010},
  url       = {https://doi.org/10.1007/978-3-642-12032-9\_7},
  doi       = {10.1007/978-3-642-12032-9\_7},
  timestamp = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/GeorgievskaA10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AndovaGV10,
  author    = {Suzana Andova and
               Luuk Groenewegen and
               Erik P. de Vink},
  title     = {Towards Dynamic Adaptation of Probabilistic Systems},
  booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
  pages     = {143--159},
  year      = {2010},
  crossref  = {DBLP:conf/isola/2010-2},
  url       = {https://doi.org/10.1007/978-3-642-16561-0\_19},
  doi       = {10.1007/978-3-642-16561-0\_19},
  timestamp = {Fri, 02 Nov 2018 09:34:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/AndovaGV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-5100,
  author    = {Sonja Georgievska and
               Suzana Andova},
  title     = {Testing Reactive Probabilistic Processes},
  booktitle = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
               Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010.},
  pages     = {99--113},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1006-5107},
  url       = {https://doi.org/10.4204/EPTCS.28.7},
  doi       = {10.4204/EPTCS.28.7},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1006-5100},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/AndovaGV09,
  author    = {Suzana Andova and
               Luuk Groenewegen and
               Erik P. de Vink},
  title     = {Dynamic Consistency in Process Algebra: From Paradigm to {ACP}},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {229},
  number    = {2},
  pages     = {3--20},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.06.026},
  doi       = {10.1016/j.entcs.2009.06.026},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AndovaGV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/AndovaGSV09,
  author    = {Suzana Andova and
               Luuk Groenewegen and
               J. Stafleu and
               Erik P. de Vink},
  title     = {Formalizing Adaptation On-the-Fly},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {255},
  pages     = {23--44},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.10.023},
  doi       = {10.1016/j.entcs.2009.10.023},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AndovaGSV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AndovaG09,
  author    = {Suzana Andova and
               Sonja Georgievska},
  title     = {On Compositionality, Efficiency, and Applicability of Abstraction
               in Probabilistic Systems},
  booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
               on Current Trends in Theory and Practice of Computer Science, Spindleruv
               Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
  pages     = {67--78},
  year      = {2009},
  crossref  = {DBLP:conf/sofsem/2009},
  url       = {https://doi.org/10.1007/978-3-540-95891-8\_10},
  doi       = {10.1007/978-3-540-95891-8\_10},
  timestamp = {Mon, 14 Aug 2017 07:03:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/AndovaG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0912-2128,
  editor    = {Suzana Andova and
               Annabelle McIver and
               Pedro R. D'Argenio and
               Pieter J. L. Cuijpers and
               Jasen Markovski and
               Carroll Morgan and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Proceedings First Workshop on Quantitative Formal Methods: Theory
               and Applications, {QFM} 2009, Eindhoven, The Netherlands, 3rd November
               2009},
  series    = {{EPTCS}},
  volume    = {13},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.13},
  doi       = {10.4204/EPTCS.13},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0912-2128},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-1540,
  author    = {Sonja Georgievska and
               Suzana Andova},
  title     = {Testing Probabilistic Processes: Can Random Choices Be Unobservable?},
  journal   = {CoRR},
  volume    = {abs/0907.1540},
  year      = {2009},
  url       = {http://arxiv.org/abs/0907.1540},
  archivePrefix = {arXiv},
  eprint    = {0907.1540},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0907-1540},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AndovaCGMMR08,
  author    = {Suzana Andova and
               Cas J. F. Cremers and
               Kristian Gj{\o}steen and
               Sjouke Mauw and
               Stig Fr. Mj{\o}lsnes and
               Sasa Radomirovic},
  title     = {A framework for compositional verification of security protocols},
  journal   = {Inf. Comput.},
  volume    = {206},
  number    = {2-4},
  pages     = {425--459},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.ic.2007.07.002},
  doi       = {10.1016/j.ic.2007.07.002},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/AndovaCGMMR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AndovaGVV08,
  author    = {Suzana Andova and
               Luuk Groenewegen and
               Jan H. S. Verschuren and
               Erik P. de Vink},
  title     = {Architecting Security with Paradigm},
  booktitle = {Architecting Dependable Systems {VI}},
  pages     = {255--283},
  year      = {2008},
  crossref  = {DBLP:conf/icse/2008wads},
  url       = {https://doi.org/10.1007/978-3-642-10248-6\_11},
  doi       = {10.1007/978-3-642-10248-6\_11},
  timestamp = {Tue, 23 May 2017 01:11:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/AndovaGVV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispec/GligoroskiAK08,
  author    = {Danilo Gligoroski and
               Suzana Andova and
               Svein J. Knapskog},
  title     = {On the Importance of the Key Separation Principle for Different Modes
               of Operation},
  booktitle = {Information Security Practice and Experience, 4th International Conference,
               {ISPEC} 2008, Sydney, Australia, April 21-23, 2008, Proceedings},
  pages     = {404--418},
  year      = {2008},
  crossref  = {DBLP:conf/ispec/2008},
  url       = {https://doi.org/10.1007/978-3-540-79104-1\_29},
  doi       = {10.1007/978-3-540-79104-1\_29},
  timestamp = {Mon, 17 Sep 2018 09:57:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ispec/GligoroskiAK08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AndovaW06,
  author    = {Suzana Andova and
               Tim A. C. Willemse},
  title     = {Branching bisimulation for probabilistic systems: Characteristics
               and decidability},
  journal   = {Theor. Comput. Sci.},
  volume    = {356},
  number    = {3},
  pages     = {325--355},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.tcs.2006.02.010},
  doi       = {10.1016/j.tcs.2006.02.010},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AndovaW06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AndovaBW06,
  author    = {Suzana Andova and
               Jos C. M. Baeten and
               Tim A. C. Willemse},
  title     = {A Complete Axiomatisation of Branching Bisimulation for Probabilistic
               Systems with an Application in Protocol Verification},
  booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
               {CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
  pages     = {327--342},
  year      = {2006},
  crossref  = {DBLP:conf/concur/2006},
  url       = {https://doi.org/10.1007/11817949\_22},
  doi       = {10.1007/11817949\_22},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/AndovaBW06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaSAM/GligoroskiKA06,
  author    = {Danilo Gligoroski and
               Svein J. Knapskog and
               Suzana Andova},
  title     = {Cryptcoding - Encryption and Error-Correction Coding in a Single Step},
  booktitle = {Proceedings of the 2006 International Conference on Security {\&}
               Management, {SAM} 2006, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages     = {145--151},
  year      = {2006},
  crossref  = {DBLP:conf/csreaSAM/2006},
  timestamp = {Wed, 06 Dec 2006 10:51:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csreaSAM/GligoroskiKA06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0611062,
  author    = {Suzana Andova and
               Cas J. F. Cremers and
               Kristian Gj{\o}steen and
               Sjouke Mauw and
               Stig Fr. Mj{\o}lsnes and
               Sasa Radomirovic},
  title     = {A framework for compositional verification of security protocols},
  journal   = {CoRR},
  volume    = {abs/cs/0611062},
  year      = {2006},
  url       = {http://arxiv.org/abs/cs/0611062},
  archivePrefix = {arXiv},
  eprint    = {cs/0611062},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0611062},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/AndovaW05,
  author    = {Suzana Andova and
               Tim A. C. Willemse},
  title     = {Equivalences for Silent Transitions in Probabilistic Systems: (Extended
               Abstract)},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {128},
  number    = {2},
  pages     = {53--66},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.11.028},
  doi       = {10.1016/j.entcs.2004.11.028},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AndovaW05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AndovaHK03,
  author    = {Suzana Andova and
               Holger Hermanns and
               Joost{-}Pieter Katoen},
  title     = {Discrete-Time Rewards Model-Checked},
  booktitle = {Formal Modeling and Analysis of Timed Systems: First International
               Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
               Revised Papers},
  pages     = {88--104},
  year      = {2003},
  crossref  = {DBLP:conf/formats/2003},
  url       = {https://doi.org/10.1007/978-3-540-40903-8\_8},
  doi       = {10.1007/978-3-540-40903-8\_8},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/AndovaHK03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AndovaB02,
  author    = {Suzana Andova and
               Jos C. M. Baeten},
  title     = {Alternative composition does not imply non-determinism},
  journal   = {Bulletin of the {EATCS}},
  volume    = {76},
  pages     = {125--127},
  year      = {2002},
  timestamp = {Mon, 05 May 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eatcs/AndovaB02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndovaB01,
  author    = {Suzana Andova and
               Jos C. M. Baeten},
  title     = {Abstraction in Probabilistic Process Algebra},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               7th International Conference, {TACAS} 2001 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2001
               Genova, Italy, April 2-6, 2001, Proceedings},
  pages     = {204--219},
  year      = {2001},
  crossref  = {DBLP:conf/tacas/2001},
  url       = {https://doi.org/10.1007/3-540-45319-9\_15},
  doi       = {10.1007/3-540-45319-9\_15},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/AndovaB01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Andova00,
  author    = {Suzana Andova},
  title     = {Time and Probability in Process Algebra},
  booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
               {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
  pages     = {323--338},
  year      = {2000},
  crossref  = {DBLP:conf/amast/2000},
  url       = {https://doi.org/10.1007/3-540-45499-3\_24},
  doi       = {10.1007/3-540-45499-3\_24},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/Andova00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Andova99,
  author    = {Suzana Andova},
  title     = {Process Algebra with Probabilistic Choice},
  booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
               {AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
  pages     = {111--129},
  year      = {1999},
  crossref  = {DBLP:conf/arts/1999},
  url       = {https://doi.org/10.1007/3-540-48778-6\_7},
  doi       = {10.1007/3-540-48778-6\_7},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arts/Andova99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013modevva,
  editor    = {Fr{\'{e}}d{\'{e}}ric Boulanger and
               Michalis Famelis and
               Daniel Ratiu},
  title     = {Proceedings of the 10th International Workshop on Model Driven Engineering,
               Verification and Validation MoDeVVa 2013, co-located with 16th International
               Conference on Model Driven Engineering Languages and Systems (MoDELS
               2013), Miami, Florida, USA, October 1st, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1069},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1069},
  urn       = {urn:nbn:de:0074-1069-6},
  timestamp = {Thu, 05 Jul 2018 07:50:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/2013modevva},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmt/2012,
  editor    = {Zhenjiang Hu and
               Juan de Lara},
  title     = {Theory and Practice of Model Transformations - 5th International Conference,
               {ICMT} 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7307},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30476-7},
  doi       = {10.1007/978-3-642-30476-7},
  isbn      = {978-3-642-30475-0},
  timestamp = {Wed, 24 May 2017 08:27:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icmt/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mmb/2012,
  editor    = {Jens B. Schmitt},
  title     = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability
               and Fault Tolerance - 16th International {GI/ITG} Conference, {MMB}
               {\&} {DFT} 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7201},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28540-0},
  doi       = {10.1007/978-3-642-28540-0},
  isbn      = {978-3-642-28539-4},
  timestamp = {Wed, 24 May 2017 08:29:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mmb/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2012,
  editor    = {Marco Bernardo and
               Vittorio Cortellessa and
               Alfonso Pierantonio},
  title     = {Formal Methods for Model-Driven Engineering - 12th International School
               on Formal Methods for the Design of Computer, Communication, and Software
               Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {7320},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30982-3},
  doi       = {10.1007/978-3-642-30982-3},
  isbn      = {978-3-642-30981-6},
  timestamp = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sle/2011,
  editor    = {Anthony M. Sloane and
               Uwe A{\ss}mann},
  title     = {Software Language Engineering - 4th International Conference, {SLE}
               2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6940},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28830-2},
  doi       = {10.1007/978-3-642-28830-2},
  isbn      = {978-3-642-28829-6},
  timestamp = {Tue, 23 May 2017 01:10:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sle/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-1452,
  editor    = {Luca Aceto and
               Mohammad Reza Mousavi},
  title     = {Proceedings First International Workshop on Process Algebra and Coordination,
               {PACO} 2011, Reykjavik, Iceland, 9th June 2011},
  series    = {{EPTCS}},
  volume    = {60},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.60},
  doi       = {10.4204/EPTCS.60},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-1452},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1106-5962,
  editor    = {Francisco Dur{\'{a}}n and
               Vlad Rusu},
  title     = {Proceedings Second International Workshop on Algebraic Methods in
               Model-based Software Engineering, {AMMSE} 2011, Zurich, Switzerland,
               30th June 2011},
  series    = {{EPTCS}},
  volume    = {56},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.56},
  doi       = {10.4204/EPTCS.56},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1106-5962},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2010,
  editor    = {Alessandro Aldini and
               Marco Bernardo and
               Luciano Bononi and
               Vittorio Cortellessa},
  title     = {Computer Performance Engineering - 7th European Performance Engineering
               Workshop, {EPEW} 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6342},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15784-4},
  doi       = {10.1007/978-3-642-15784-4},
  isbn      = {978-3-642-15783-7},
  timestamp = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epew/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2010,
  editor    = {Lu{\'{\i}}s Soares Barbosa and
               Markus Lumpe},
  title     = {Formal Aspects of Component Software - 7th International Workshop,
               {FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6921},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27269-1},
  doi       = {10.1007/978-3-642-27269-1},
  isbn      = {978-3-642-27268-4},
  timestamp = {Fri, 02 Jun 2017 20:51:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2010,
  editor    = {C.{-}H. Luke Ong},
  title     = {Foundations of Software Science and Computational Structures, 13th
               International Conference, {FOSSACS} 2010, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2010,
               Paphos, Cyprus, March 20-28, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6014},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-12032-9},
  doi       = {10.1007/978-3-642-12032-9},
  isbn      = {978-3-642-12031-2},
  timestamp = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2010-2,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6416},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16561-0},
  doi       = {10.1007/978-3-642-16561-0},
  isbn      = {978-3-642-16560-3},
  timestamp = {Fri, 02 Nov 2018 09:34:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2010-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1006-5107,
  editor    = {Alessandra Di Pierro and
               Gethin Norman},
  title     = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
               Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series    = {{EPTCS}},
  volume    = {28},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.28},
  doi       = {10.4204/EPTCS.28},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1006-5107},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2009,
  editor    = {Mogens Nielsen and
               Anton{\'{\i}}n Kucera and
               Peter Bro Miltersen and
               Catuscia Palamidessi and
               Petr Tuma and
               Frank D. Valencia},
  title     = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
               on Current Trends in Theory and Practice of Computer Science, Spindleruv
               Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5404},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-540-95891-8},
  doi       = {10.1007/978-3-540-95891-8},
  isbn      = {978-3-540-95890-1},
  timestamp = {Mon, 14 Aug 2017 07:03:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2008wads,
  editor    = {Rog{\'{e}}rio de Lemos and
               Jean{-}Charles Fabre and
               Cristina Gacek and
               Fabio Gadducci and
               Maurice H. ter Beek},
  title     = {Architecting Dependable Systems {VI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5835},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10248-6},
  doi       = {10.1007/978-3-642-10248-6},
  isbn      = {978-3-642-10247-9},
  timestamp = {Tue, 23 May 2017 01:11:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2008wads},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ispec/2008,
  editor    = {Liqun Chen and
               Yi Mu and
               Willy Susilo},
  title     = {Information Security Practice and Experience, 4th International Conference,
               {ISPEC} 2008, Sydney, Australia, April 21-23, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4991},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79104-1},
  doi       = {10.1007/978-3-540-79104-1},
  isbn      = {978-3-540-79103-4},
  timestamp = {Mon, 17 Sep 2018 09:57:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ispec/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2006,
  editor    = {Christel Baier and
               Holger Hermanns},
  title     = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
               {CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4137},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11817949},
  doi       = {10.1007/11817949},
  isbn      = {3-540-37376-4},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csreaSAM/2006,
  editor    = {Hamid R. Arabnia and
               Selim Aissi},
  title     = {Proceedings of the 2006 International Conference on Security {\&}
               Management, {SAM} 2006, Las Vegas, Nevada, USA, June 26-29, 2006},
  publisher = {{CSREA} Press},
  year      = {2006},
  isbn      = {1-60132-001-9},
  timestamp = {Wed, 06 Dec 2006 10:51:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csreaSAM/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2003,
  editor    = {Kim Guldstrand Larsen and
               Peter Niebert},
  title     = {Formal Modeling and Analysis of Timed Systems: First International
               Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
               Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2791},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b12025},
  doi       = {10.1007/b12025},
  isbn      = {3-540-21671-5},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2001,
  editor    = {Tiziana Margaria and
               Wang Yi},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               7th International Conference, {TACAS} 2001 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2001
               Genova, Italy, April 2-6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2031},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45319-9},
  doi       = {10.1007/3-540-45319-9},
  isbn      = {3-540-41865-2},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/2000,
  editor    = {Teodor Rus},
  title     = {Algebraic Methodology and Software Technology. 8th International Conference,
               {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1816},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-45499-3},
  doi       = {10.1007/3-540-45499-3},
  isbn      = {3-540-67530-2},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arts/1999,
  editor    = {Joost{-}Pieter Katoen},
  title     = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
               {AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1601},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48778-6},
  doi       = {10.1007/3-540-48778-6},
  isbn      = {3-540-66010-0},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arts/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier