Publications

Export 15 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is I  [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]
I
R. J. M. Theunissen, D. A. van Beek, and J. E. Rooda, “Improving evolvability of a patient communication control system using state-based supervisory control synthesis”, Advanced Engineering Informatics, vol. 26, p. 502-515, 2012.
J. P. Galeotti, G. Fraser, and A. Arcuri, “Improving search-based test suite generation with dynamic symbolic execution”, in {IEEE} 24th International Symposium on Software Reliability Engineering, {ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013, 2013.
P. Abad, et al., “Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving”, in IEEE Sixth International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg, 2013.PDF icon icst2013.pdf (285.71 KB)
H. Hatefi and H. Hermanns, “Improving Time Bounded Reachability Computations in Interactive Markov Chains”, in Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, 2013.
L. Song, L. Zhang, H. Hermanns, and J. C. Godskesen, “Incremental Bisimulation Abstraction Refinement”, in Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, 2013, p. 11-20.
L. Song, L. Zhang, H. Hermanns, and J. C. Godskesen, “Incremental Bisimulation Abstraction Refinement”, ACM Trans. Embed. Comput. Syst., vol. 13, p. 142:1–142:23, 2014.
L. Song, L. Zhang, H. Hermanns, and J. C. Godskesen, “Incremental Bisimulation Abstraction Refinement”, {ACM} Trans. Embedded Comput. Syst., vol. 13, p. 142:1–142:23, 2014.
S. Figueira, D. Goriın, and R. Grimson, “Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies”, Journal of Computer and System Sciences, vol. 80, p. 1102–1118, 2014.
M. S. Alvim, M. E. Andrés, K. Chatzikokolakis, P. Degano, and C. Palamidessi, “On the information leakage of differentially-private mechanisms”, Journal of Computer Security, vol. 23, p. 427–469, 2015.
F. Biondi, A. Legay, B. F. Nielsen, P. Malacaria, and A. Wasowski, “Information Leakage of Non-Terminating Processes”, in FSTTCS, 2014.
J. Markovski and M. A. Reniers, “An integrated state- and event-based framework for verifying liveness in supervised systems”, in ICARCV, 2012.
D. Déharbe, P. Fontaine, Y. Guyot, and L. Voisin, “Integrating SMT solvers in Rodin”, Science of Computer Programming, 2014.
H. Hermanns and A. Hartmanns, “An Internet Inspired Approach to Power Grid Stability”, it - Information Technology, vol. 55, no. 2, p. 45-51, 2013.
J. den Hartog and I. Matteucci, “Introducing Probabilities in Controller Strategies”, 3rd International Workshop on Quantitative Aspects in Security Assurance, vol. LNCS. 2014.
E. Orbe, C. Areces, and G. Infante-López, “iSat: Structure Visualization for SAT Problems”, in Proceedings of the 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-18), Merida, Venezuela, 2012.