Publication

Export 15 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Adilson Luiz Bonifácio  [Clear All Filters]
Conference Paper
Bonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr. J R.  1999.  Análise e Verificação de Segmentos de Via de uma Malha Metroviária. Proceedings of the II Workshop on Formal Methods. :13–22.
Bonifácio A L, Moura A V, da Simão A, Maldonado JC.  2006.  Conformance Testing by Model Checking Timed Extended Finite State Machines. Brazilian Symposium on Formal Methods (SBMF'06). :43–58.
Junior G, Bonifácio A L.  2012.  Detecção de Falhas em Autômatos Grid. XIII Workshop de Teste e Tolerância a Falhas. :131–144.
Bonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr. J R.  2000.  Formal Parameters Synthesis for Track Segments of a Subway Mesh. 7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems. :263–272.
Bonifácio A L, Moura A V, da Simão A.  2008.  A Generalized Model-Based Test Generation Method. Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM. :139–148.
Bonifácio A L, Moura A V.  2000.  Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD '00: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design. 1954:316–334.
Junior G, Bonifácio A L.  2011.  A tool to support model-based testing activities. SBESC 2011 - WSE. :21-26.
Journal Article
Bonifácio A L, Gomes FAL.  2004.  Modelos Orientados a Estado na Especificação de Software. Semina. Ciências Exatas e Tecnológicas (Impresso). 25:163–170.
Bonifácio A L, Moura AV, Simao A.  2012.  Model Partitions and Compact Test Case Suites. International Journal of Foundations of Computer Science. 23:147-172.
Bonifácio A L, Moura A V.  2011.  A new method for testing timed systems. Softw. Test., Verif. Reliab..
Bonifácio A L, Moura A V, Simao A, Maldonado J C.  2008.  Towards Deriving Test Sequences by Model Checking. Electron. Notes Theor. Comput. Sci.. 195:21–40.