Publication

Export 15 results:
Sort by: Author Title [ Type (Asc)] Year
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.
Bacarin E, Madeira ERM, Medeiros CB.  2009.  Assembling and Managing Virtual Organizations out of Multi-party Contracts. ICEIS. :758-769.
Bacarin E, Medeiros CB, Madeira ERM.  2004.  A {Collaborative} {Model} for {Agricultural} {Supply} {Chains}. CoopIS 2004, LNCS 3290. :319-336.
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.
Bedo M V N, Ponciano-Silva M, Kaster DS, Bugatti P H, Traina A J M, Jr C T.  2012.  Higiia: A Perceptual Medical CBIR System Applied to Mammography Classification. Demo and Applications Session of the XXVII Brazilian Symposium on Databases (SBBD).
Kaster DS, Bugatti PH, Traina AJM, Traina, Jr C.  2009.  Incorporating Metric Access Methods for Similarity Searching on Oracle Database. XXIV Simpósio Brasileiro de Banco de Dados (SBBD), Fortaleza, CE, Brasil. :1-15.
Bugatti PH, Kaster DS, Ponciano-Silva M, Traina AJM, Traina, Jr C.  2011.  Integrating User Profile in Medical CBIR Systems to Answer Perceptual Similarity Queries. SPIE Medical Imaging: Computer-Aided Diagnosis Conference, Lake Buena Vista, Florida, USA. :282-287.
Kaster DS, Bugatti PH, Ponciano-Silva M, Traina AJM, de Marques P M A, Santos A C, Traina, Jr C.  2011.  MedFMI-SiR: A Powerful DBMS Solution for Large-Scale Medical Image Retrieval. 2nd International Conference on Information Technology in Bio- and Medical Informatics (ITBAM), Toulouse, FR. 6865:16-30.
Bueno R, Razente HL, Kaster DS, Barioni MCN, Traina AJM, Traina, Jr C.  2010.  Metric Data Analysis Enhanced through Temporal Visualization. 14th International Conference on Information Visualisation (IV), London, UK. :116-121.
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.
Bueno R, Kaster DS, Traina AJM, Traina, Jr C.  2008.  A New Approach for Optimization of Dynamic Metric Access Methods Using an Algorithm of Effective Deletion. 20th International Conference on Scientific and Statistical Database Management (SSDBM), Hong Kong, China. :366-383.
Bueno R, Kaster DS, Traina AJM, Traina, Jr C.  2009.  Time-Aware Similarity Search: A Metric-Temporal Representation for Complex Data. 11th International Symposium on Spatial and Temporal Databases (SSTD), Aalborg, Denmark. 5644:302-319.
Junior G, Bonifácio A L.  2011.  A tool to support model-based testing activities. SBESC 2011 - WSE. :21-26.
Bacarin E, van der} Aalst {WMP, Madeira E, Medeiros CB.  2007.  Towards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets. Proc. CPN 07 - 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.
Kondo AK, Medeiros CB, Bacarin E, Madeira ERM.  2007.  {Traceability in Food for Supply Chains}. Proc. 3rd International Conference on Web Information Systems and Technologies (WEBIST). :121-127.
Kaster DS, Cordeiro RLF, Fortes RPM.  2007.  Um Framework Web Colaborativo Baseado em Ontologias para Recuperação e Descoberta de Conhecimento em Imagens Médicas. XIII Simpósio Brasileiro de Sistemas Multimídia e Web. :1-8.
Bueno R, Kaster DS, Paterlini AA, Traina AJM, Traina, Jr C.  2009.  Unsupervised scaling of multi-descriptor similarity functions for medical image datasets. 22nd IEEE International Symposium on Computer-Based Medical Systems (CBMS), Albuquerque, New Mexico, USA. :1-8.
Bueno R, Kaster DS, Razente HL, Barioni MCN, Traina AJM, Traina, Jr C.  2011.  Using Visual Analysis to Weight Multiple Signatures to Discriminate Complex Data. 15th International Conference on Information Visualisation (IV), London, UK. :282-287.
Journal Article
Bacarin E, Madeira ERM, Medeiros CB.  2008.  Contract E-Negotiation in Agricultural Supply Chains. 12:71-97.
Kaster DS, Bugatti PH, Traina AJM, Traina, Jr C.  2010.  FMI-SiR: A Flexible and Efficient Module for Similarity Searching on Oracle Database. Journal of Information and Data Management. 1:229-244.
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.
Kaster DS, Oliveira WD, Bueno R, Traina AJM, Traina, Jr C.  2011.  Nearest Neighbor Queries with Counting Aggregate-based Conditions. Journal of Information and Data Management. 2:401-416.
Bonifácio A L, Moura A V.  2011.  A new method for testing timed systems. Softw. Test., Verif. Reliab..
Bacarin E, Madeira ERM, Medeiros CB, van der Aalst WMP.  2011.  SPICA's Multi-party Negotiation Protocol: Implementation using YAWL. Intl. J. of Coop. Info. Sys.. 20:221-259.
Kaster DS, Medeiros CB, Rocha HV.  2005.  Supporting modeling and problem solving from precedent experiences: the role of workflows and case-based reasoning. Environmental Modelling and Software. 20:689-704.
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.
Medeiros CB, Perez-Alcazar J, Digiampietri L, Jr. PGZ, Santanche A, Torres RS, Madeira E, Bacarin E.  2005.  WOODSS and the Web: Annotating and Reusing Scientific Workflows. SIGMOD Record. 34:18-23.
Miscellaneous
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 AV.  2012.  Attaining a more Flexible and Manageable Discretization for Complex Timed Systems. :39.
Bonifácio A L, Moura AV, da Simão A.  2009.  Exponentially more Succinct Test Suites. :27.
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, Camargo Jr. J B, Almeida Jr J R.  2000.  Formal Verification and Synthesis for an Air Traffic Management System. :37.
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.  2009.  Generating Test Suites for Timed Systems with Context Variables. :41.
Bonifácio A L, Moura A V.  2009.  A New Timed Discretization Method for Automatic Test Generation for Timed Systems. :1–33.
Bacarin E, Madeira ERM, Medeiros CB.  2009.  SPICA's Multi-party Negotiation Protocol: Implementation using YAWL. :18.
Junior G, Bonifácio A L.  2012.  Um Modelo de Falhas para Autômatos Discretizados. :13.
Bacarin E, Madeira ERM, Medeiros CB.  2007.  Using Choreography to Support Collaboration in Agricultural Supply Chains. :18.