Bernd Fischer
AuthID: R-00H-88B
1
TÃTULO: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings
AUTORES: Bernd Fischer; Tarmo Uustalu;
PUBLICAÇÃO: 2018, FONTE: ICTAC, VOLUME: 11187
AUTORES: Bernd Fischer; Tarmo Uustalu;
PUBLICAÇÃO: 2018, FONTE: ICTAC, VOLUME: 11187
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
AUTORES: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010
AUTORES: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010
3
TÃTULO: Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking
AUTORES: Ashish Darbari; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 in Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, VOLUME: 6255
AUTORES: Ashish Darbari; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 in Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, VOLUME: 6255
4
TÃTULO: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
AUTORES: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
AUTORES: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
5
TÃTULO: A Lazy Unbounded Model Checker for Event-B
AUTORES: Paulo J Matos; Bernd Fischer; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: 11th International Conference on Formal Engineering Methods, ICFEM 2009 in Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, VOLUME: 5885
AUTORES: Paulo J Matos; Bernd Fischer; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: 11th International Conference on Formal Engineering Methods, ICFEM 2009 in Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, VOLUME: 5885
6
TÃTULO: Industrial-Strength Formally Certified SAT Solving PDF
AUTORES: Ashish Darbari; Bernd Fischer; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.1678
AUTORES: Ashish Darbari; Bernd Fischer; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.1678
INDEXADO EM: DBLP 
arXiv
DBLP arXiv7
TÃTULO: Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking PDF
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.3784
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.3784
INDEXADO EM: DBLP arXiv
DBLP arXiv8
TÃTULO: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA Full Text
AUTORES: Kurt E K Stirewalt; Alexander Egyed; Bernd Fischer;
PUBLICAÇÃO: 2007, FONTE: ASE
AUTORES: Kurt E K Stirewalt; Alexander Egyed; Bernd Fischer;
PUBLICAÇÃO: 2007, FONTE: ASE
INDEXADO EM: DBLP
DBLP