Export 329 results:
Sort by: Author Title Type [ Year (Asc)]
J. Bogdoll, A. David, A. Hartmanns, and H. Hermanns, “mctau: Bridging the Gap between Modest and UPPAAL”, in Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings, 2012, vol. 7385, p. 227-233.
M. S. Alvim, K. Chatzikokolakis, C. Palamidessi, and G. Smith, “Measuring Information Leakage using Generalized Gain Functions”, in Proceedings of the Computer Security Foundations Symposium (CSF), 2012, p. 265-279.PDF icon gleakage.pdf (330.44 KB)
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “The Modal Transition System Control Problem”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012.PDF icon the_modal_transition_systems_control_problem.pdf (247.44 KB)
H. Hatefi and H. Hermanns, “Model Checking Algorithms for Markov Automata”, ECEASST, vol. 53, 2012.
A. Acosta, C. Kilmurray, P. F. Castro, and N. Aguirre, “ Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization”, in 15th Brazilian Symposium on Formal Methods (SBMF 2012), Natal, Brazil, 2012.
E. M. Hahn, “Model Checking Stochastic Hybrid Systems”, 2012.PDF icon phdthesis-EMH.pdf (1.49 MB)
J. Markovski and J. M. van de Mortel-Fronczak, “Modeling for Safety in a Synthesis-Centric Systems Engineering Framework”, in SAFECOMP Workshops, 2012.
A. Hartmanns and H. Hermanns, “Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids”, in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, 2012, vol. 7609, p. 420-439.
A. Hartmanns, “MODEST - A unified language for quantitative models”, in Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012, 2012.
C. Areces, R. Fervari, and G. Hoffmann, “Moving Arrows and Four Model Checking Results”, in Proceedings of WoLLIC 2012, Buenos Aires, Argentina, 2012.
J. Markovski, D. A. van Beek, and J. C. M. Baeten, “Partially-Supervised Plants: Embedding Control Requirements in Plant Components”, in IFM, 2012.
S. Georgievska and S. Andova, “Probabilistic CSP: Preserving the Laws via Restricted Schedulers”, in 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, 2012, vol. 7201, p. 136-150.
S. Georgievska and S. Andova, “Probabilistic may/must testing: retaining probabilities by restricted schedulers”, Formal Asp. Comput., vol. 24, p. 727-748, 2012.
P. R. D'Argenio and M. D. Lee, “Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation”, in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, 2012, vol. 7213, p. 452-466.
J. Markovski, “Process theory for supervisory control of stochastic systems with data”, in ETFA, 2012.
J. Markovski, “Process theory for supervisory control with partial observation of events and states”, in CDC, 2012.
J. Markovski, “A process-theoretic state-based framework for live supervision”, in CASE, 2012.
M. S. Alvim, M. E. Andrés, and C. Palamidessi, “Quantitative information flow in interactive systems”, Journal of Computer Security, vol. 20, p. 3-50, 2012.PDF icon full.pdf (532.59 KB)
Quantitative Security Analysis (Dagstuhl Seminar 12481)”, Dagstuhl Reports, vol. 2. p. 135-154, 2012.
D. Guck, T. Han, J. - P. Katoen, and M. R. Neuhäußer, “Quantitative Timed Analysis of Interactive Markov Chains”, in 4th International Symposium NASA Formal Methods (NFM), Norfolk, USA, 2012, vol. 7226, p. 8-23.PDF icon 72260008.pdf (256.53 KB)
J. Markovski, P. R. D'Argenio, J. C. M. Baeten, and E. P. de Vink, “Reconciling real and stochastic time: the need for probabilistic refinement”, Formal Aspects of Computing, vol. 24, p. 497-518, 2012.
C. G. López Pombo, P. F. Castro, N. Aguirre, and T. S. E. Maibaum, “Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics”, in Recent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, 2012.
J. Bogdoll, A. Hartmanns, and H. Hermanns, “Simulation and Statistical Model Checking for Modestly Nondeterministic Models”, in Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012, vol. 7201, p. 249-252.
D. Déharbe, P. Fontaine, Y. Guyot, and L. Voisin, “SMT Solvers for Rodin”, in 3rd Intl. Conf. Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012), Pisa, Italy, 2012.
S. Knight, C. Palamidessi, P. Panangaden, and D. Valencia, Frank, “Spatial and Epistemic Modalities in Constraint-Based Process Calculi”, in Proceedings of CONCUR, Newcastle upon Tyne, UK, 2012.PDF icon (2.71 MB)