Literature

Found 39 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
2011
Eriksson, H. , D 5.1 - Simulating Hardware-Related Faults at Model Level, , 2011  .
 Export: Tagged XML BibTex
Svenningson, R. , D 8.5 - Strategies for Tool Certification, , 2011  .
 Export: Tagged XML BibTex
Schoitsch, E. , D 8.2c - Dissemination Report (Report 3, M39), , 2011  .
 Export: Tagged XML BibTex
Polgár, B. , D 3.3b - Ontology Based Model Verification (Final Version), , 2011  .
 Export: Tagged XML BibTex
Aichernig, B., (editor), , D 3.4b - Testing Theories and Coverage Criteria (Final Version), , 2011  .
 Export: Tagged XML BibTex
Svenningsson, R., Eriksson, H., Vinter, J., Törngren, M. , "Generic Fault Modelling for Fault Injection", FMCO 2010, 2011  .
 Export: Tagged XML BibTex
Polgár, B., Ráth, I., Majzik, I. , "Model-based Integration Framework for Development and Testing Tool-chains", FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems: Springer Verlag, Berlin, pp. 227-235, 2011  .
 Export: Tagged XML BibTex
He, N., Ruemmer, P., Kroening, D. , "Test-Case Generation for Embedded Simulink via Formal Concept Analysis", Design Automation Conference, 2011  . Abstract
 Export: Tagged XML BibTex
2010
Donaldson, A., Kroening, D., Ruemmer., P. , "Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors ", TACAS , vol. 6015, Pahos, Cyprus, Springer, pp. 280-295, 20/03/2010. Abstract
 Export: Tagged XML BibTex
D'Silva, V., Kroening, D., Purandare, M., Weissenbacher, G. , "Interpolant Strength", VMCAI 2010, vol. 5944, Madrid, Springer, pp. 129-145, 17/01/2010. Abstract
 Export: Tagged XML BibTex
Brillout, A., Kroening, D., Rümmer, P., Wahl, T. , "An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic", IJCAR, vol. to appear, Edinburgh, Springer, 16/07/2010. Abstract
 Export: Tagged XML BibTex
Kroening, D., Sharygina, N., Tsitovich, A., Wintersteiger, C. , "Termination Analysis with Compositional Relations", 22nd International Conference on Computer Aided Verification, vol. 6174, Edinburgh, Springer, pp. 89-103, 15/07/2010. Abstract
 Export: Tagged XML BibTex
Cook, B., Kroening, D., Ruemmer, P., Wintersteiger, C. , "Ranking Function Synthesis for Bit-Vector Relations ", TACAS, vol. 6015, Paphos, Cyprus, Springer, pp. 236-250, 10/03/2010. Abstract
 Export: Tagged XML BibTex
Blanc, N., Kroening, D. , "Race Analysis for SystemC using Model Checking", ACM Transactions on Design Automation of Electronic Systems, vol. 15, issue 3: ACM, pp. 1-31, 05/2010. Abstract
 Export: Tagged XML BibTex
Weissenbacher, G., (editor), , "D 3.2b - Modelling Languages (final version)", MOGENTES public project deliverable, 2010  .
 Export: Tagged XML BibTex
Svenningsson, R., Vinter, J., Eriksson, H., Törngren, M. , "MODIFI – A MODel-Implemented Fault Injection Tool", Safecomp 2010, 2010  .
 Export: Tagged XML BibTex
Svenningsson, R., Eriksson, H., Vinter, J., Törngren, M. , "Model-Implemented Fault Injection for Hardware Fault Simulation", MoDeVVa 2010, 2010  .
 Export: Tagged XML BibTex
Szatmari, Z., Izso, B., Polgár, B., Majzik, I. , "Ontology-based assessment of software models and development processes for safety-critical systems", Monographs of System Dependability , Dependability of Networks, vol. 2, Brunow, Poland, pp. 1-12, 2010  .
 Export: Tagged XML BibTex
Svenningsson, R., Vinter, J., Eriksson, H., Törngren, M. , Towards Fault Injection Based Minimal Cut Sets Generation, , 2010  .
 Export: Tagged XML BibTex
Kroening, D., Weissenbacher, G. , "Verification and Falsification of Programs with Loops using Predicate Abstraction", Formal Aspects of Computing, vol. 22, issue 2: Springer, pp. 105-124, 2010  . Abstract
 Export: Tagged XML BibTex
2009
Polgár, B., Ráth, I., Szatmari, Z., Horvath, A., Majzik, I. , "Model-based Integration, Execution and Certification of Development Tool-chains", 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA), Workshop on Model-Driven Tool & Process Integration (MDTPI), Enschede, The Netherlands, 24/06/2009. Abstract
 Export: Tagged XML BibTex
Kroening, D., Strichman, O. , "A Framework for Decision Procedures in Program Verification", Formal Aspects of Computing, vol. 21, issue 5: Springer, pp. 10, 10/2009. Abstract
 Export: Tagged XML BibTex
Aichernig, B.K., Brandl, H., Wotawa, F. , "Conformance Testing of Hybrid Systems with Qualitative Reasoning Models ", MBT 2009, 2, vol. 253, York, Elsevier B.V., pp. 53-69, 2009  . Abstract
 Export: Tagged XML BibTex
Bryant, R., Kroening, D., Ouaknine, J., Seshia, S., Strichman, O., Brady, B. , "Deciding Bit-Vector Arithmetic with Abstraction", Software Tools for Technology Transfer (STTT), vol. 11, issue 2: Springer, pp. 95--104, 2009  . Abstract
 Export: Tagged XML BibTex
Polgár, B. , D 2.1 - Tool Integration Framework - Specification, , 2009  .
 Export: Tagged XML BibTex