Publication

Export 15 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Adilson Luiz Bonifácio  [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 
B
Bonifácio A L, Moura AV.  2012.  Attaining a more Flexible and Manageable Discretization for Complex Timed Systems. :39.
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 AV, da Simão A.  2009.  Exponentially more Succinct Test Suites. :27.
Bonifácio A L, Moura A V.  2009.  A New Timed Discretization Method for Automatic Test Generation for Timed Systems. :1–33.
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.
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, Camargo Jr. J B, Almeida Jr. J R.  1999.  Análise, Verificação e Síntese de Segmentos de Via de uma Malha Metroviária. :48.
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.  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.
Bonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr J R.  2000.  Formal Verification and Synthesis for an Air Traffic Management System. :37.
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 A V.  2005.  Formal Verification and Parameters Synthesis for Hybrid Real Systems. :42.
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.
Bonifácio A L, Moura A V, da Simão A.  2008.  A Generalized Model-based Test Generation Method. :22.
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.  2009.  Generating Test Suites for Timed Systems with Context Variables. :41.
Bonifácio A L, Moura A V.  2011.  A new method for testing timed systems. Softw. Test., Verif. Reliab..