Publications

Export 11 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is E  [Clear All Filters]
A B C D [E] F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
E
V. Hashemi, H. Hermanns, and A. Turrini, “On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation”, {ECEASST}, vol. 66, 2013.
P. Ponzio, N. Rosner, N. Aguirre, and M. F. Frias, “Efficient Tight Field Bounds Computation Based on Shape Predicates”, in FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014., 2014.PDF icon sltb.pdf (413.09 KB)
C. Baier, C. Dubslaff, S. Klüppelholz, and L. Leuschner, “Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking”, in Proc. of the 35th Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS), 2014.
C. Baier, M. Daum, C. Dubslaff, J. Klein, and S. Klüppelholz, “Energy-Utility Quantiles”, in Proc. of the 6th NASA Formal Methods Symposium (NFM), 2014.
K. Poyias and E. Tuosto, “Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations”, in ICE, 2012.
K. Chatzikokolakis, S. Knight, C. Palamidessi, and P. Panangaden, “Epistemic Strategies and Games on Concurrent Processes”, ACM Trans. Comput. Log., vol. 13, p. 28, 2012.
A. Hartmanns and H. Hermanns, “Explicit Model Checking of Very Large {MDP} using Partitioning and Secondary Storage”, in ATVA 2015, In Press.
S. Figueira, D. Gorın, and R. Grimson, “On the expressive power of IF Logic with classical negation via flattening is a second-order logic with weak dependencies”, in 18th Workshop on Logic, Language, Information and Computation, 2011.
J. P. Galeotti, G. Fraser, and A. Arcuri, “Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution”, in Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014.PDF icon galeotti-issta-2014-2.pdf (379.45 KB)
J. Markovski, E. E. S. Musa, and M. A. Reniers, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Electr. Notes Theor. Comput. Sci., vol. 296, p. 163-181, 2013.
J. Markovski, E. E. S. Musa, and M. A. Reniers, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Proceedings PASM 2012. In Press.