Search results for "Mark A. J. Song"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Frederico Papatella, Tiago Figueiredo Carvalho, Luis E. Zárate, Elizabeth Marques Duarte Pereira, Mark A. J. Song	SolarEnergy: A framework for photovoltaic systems - A case study.	SMC	2010	DBLP DOI BibTeX RDF
1	Frederico Papatella, Tiago Figueiredo Carvalho, Luis E. Zárate, Elizabeth Marques Duarte Pereira, Mark A. J. Song	A Framework for Solar Energy Applications Photovoltaic Systems.	SEKE	2010	DBLP BibTeX RDF
1	Pedro Felipe A. Oliveira, Rodrigo R. Gomes, Mark Alan Junho Song	Large scale genetic identity inference using probabilistic model checking.	SMC	2010	DBLP DOI BibTeX RDF
1	Andrei Rimsa, Luis E. Zárate, Mark A. J. Song	Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations.	ICCS	2009	DBLP DOI BibTeX RDF	Zero-Supressed Binary Decision Diagrams, Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept
1	S. Campos, J. Neves, Luis E. Zárate, Mark A. J. Song	Distributed BMC: A Depth-First Approach to Explore Clause Symmetry.	ECBS	2009	DBLP DOI BibTeX RDF
1	Andrei Rimsa, Luis E. Zárate, Mark A. J. Song	Handling Large Formal Context Using BDD - Perspectives and Limitations.	ICFCA	2009	DBLP DOI BibTeX RDF	Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept
1	Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate	Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm.	ECBS	2007	DBLP DOI BibTeX RDF
1	Luis E. Zárate, Sergio M. Dias, Mark A. J. Song	FCANN Method Applications for Knowledge Extraction From Previously Trained ANN.	IJCNN	2007	DBLP DOI BibTeX RDF
1	Adriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho	The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems.	Electronic Commerce Research	2006	DBLP DOI BibTeX RDF	Model checking patterns, Software engineering, Model checking, Design patterns, Design methodologies, Software verification
1	Mark A. J. Song, Luis E. Zárate, Sergio M. Dias, A. Alvarez, B. Soares, Bruno M. Nogueira, Renato Vimieiro, Tadeu R. A. Santos, Newton Vieira	SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study.	SEKE	2006	DBLP BibTeX RDF
1	Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos	Formal Verification of Transactional Systems.	WEBIST	2005	DBLP BibTeX RDF
1	Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate	Formal Verification of Transactional Systems Based on UML Specifications.	SEKE	2005	DBLP BibTeX RDF
1	Mark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.	Extending UML to Specify and Verify E-commerce Systems.	SEKE	2003	DBLP BibTeX RDF
1	Mark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.	A Software Engineering Process to Specify and Verify E-Commerce Systems.	Software Engineering Research and Practice	2003	DBLP BibTeX RDF
1	Adriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos	A Formal Methodology to Specify E-commerce Systems.	ICFEM	2002	DBLP DOI BibTeX RDF	property patterns, model checking, formal verification, electronic commerce, design specification

Publications of Mark A. J. Song Mark Alan Junho Song ( http://dblp.L3S.de/Authors/Mark_A._J._Song )