Jon Hal Brenas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2015–2019
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Reasoning Formally About Database Queries and Updates. | Jon Hal Brenas, Rachid Echahed, Martin Strecker |
| 2018 | TASE | Verifying Graph Transformations with Guarded Logics. | Jon Hal Brenas, Rachid Echahed, Martin Strecker |
| 2016 | ICTAC | Ensuring Correctness of Model Transformations While Remaining Decidable. | Jon Hal Brenas, Rachid Echahed, Martin Strecker |
| 2015 | ICTERI | Provably Correct Graph Transformations with Small-tALC. | Nadezhda Baklanova, Jon Hal Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran |