default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19. SBMF 2016: Natal, Brazil
- Leila Ribeiro, Thierry Lecomte
:
Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Lecture Notes in Computer Science 10090, 2016, ISBN 978-3-319-49814-0
Invited Talks
- Michael Leuschel:
Formal Model-Based Constraint Solving and Document Generation. 3-20 - Augusto Sampaio, Filipe Arruda:
Formal Testing from Natural Language in an Industrial Context. 21-38
Analysis and Verification
- Luis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio:
Application of Formal Methods to Verify Business Processes. 41-58 - Sidney C. Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira:
An Approach for Verifying Educational Robots. 59-77 - Andrei Costa, Jonas Santos Bezerra, Guilherme Grochau Azzi, Leonardo Marques Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt, Rodrigo Machado:
Verigraph: A System for Specification and Analysis of Graph Grammars. 78-94
Modeling and Logic
- Andrew Edmunds, Marina Waldén:
Modelling 'Operation-Calls' in Event-B with Shared-Event Composition. 97-111 - Pablo F. Castro, Nazareno Aguirre:
Algebraic Foundations for Specification Refinements. 112-128 - Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins:
On Interval Dynamic Logic. 129-144 - Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias:
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. 145-160 - Efraim Machado, Aline Andrade:
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models. 161-178 - Hugo Farias, Christiano Braga, Paulo Blauth Menezes:
Massive Open Online Courses and Monoids. 179-195
Model Checking
- Nils Timm, Stefan Gruner, Matthias Harvey:
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems. 199-216 - Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros:
Model Checking Requirements. 217-234 - Lucas Lima, Juliano Iyoda, Augusto Sampaio:
Refinement Verification of Sequence Diagrams Using CSP. 235-252
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-25 22:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
