Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma 0001, Mats P. E. Heimdahl |
Counterexample-Guided Inductive Repair of Reactive Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 46-57, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle |
Automatic Loop Invariant Generation for Data Dependence Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 34-45, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim |
Property-Driven Testing of Black-Box Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 113-123, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Lathouwers, Marieke Huisman |
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 69-79, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Metere, Luca Arnaboldi 0001 |
Automating Cryptographic Protocol Language Generation from Structured Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 91-101, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Irman Faqrizal, Gwen Salaün |
Counting Bugs in Behavioural Models using Counterexample Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 12-22, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Levente Bajczi, Zsófia Ádám, Vince Molnár |
C for Yourself: Comparison of Front-End Techniques for Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 1-11, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi 0001 |
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 80-90, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé |
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 23-33, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David R. Cok |
Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 124-128, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Hartmanns, Ina Schaefer, Stefania Gnesi, Nico Plat (eds.) |
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![ACM, 978-1-4503-9287-7 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili 0001 |
Computing Program Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 102-112, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ana Jovanovic, Allison Sullivan |
Towards Automated Input Generation for Sketching Alloy Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 58-68, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rania Taleb, Raphaël Khoury, Sylvain Hallé |
Runtime Verification Under Access Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 31-41, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Jakobs |
PEQCHECK: Localized and Context-aware Checking of Functional Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 130-140, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Kulik, Jalil Boudjadar, Diego F. Aranha |
Formally Verified Credentials Management for Industrial Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 75-85, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Besma Khaireddine, Ali Mili 0001 |
Quantifying Faultiness: What Does It Mean to Have N Faults? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 68-74, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall |
Methodology for Specification and Verification of High-Level Requirements with MetAcsl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 54-67, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini (eds.) |
9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![IEEE, 978-1-6654-3913-8 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lucia Nasti, Roberta Gori, Paolo Milazzo |
Formal characterization and efficient verification of a biological robustness property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 13-18, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Knüppel, Thomas Thüm, Ina Schaefer |
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 124-129, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Armborst, Marieke Huisman |
Permission-Based Verification of Red-Black Trees and Their Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 111-123, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink |
Feasibility of Spatial Model Checking for Nevus Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 1-12, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Erick Raelijohn, Michalis Famelis, Houari A. Sahraoui |
Checking temporal patterns of API usage without code execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 86-96, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Knüppel, Leon Schaer, Ina Schaefer |
How much Specification is Enough? Mutation Analysis for Software Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 42-53, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Robert L. Smith, Marcello M. Bersani, Matteo Rossi 0001, Pierluigi San Pietro |
Improved Bounded Model Checking of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 97-110, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Omar I. Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran |
Monitoring Cumulative Cost Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021, pp. 19-30, 2021, IEEE, 978-1-6654-3913-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jørgensen |
Security Verification of Industrial Control Systems using Partial Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 98-108, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer |
Lattice-Based Information Flow Control-by-Construction for Security-by-Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 44-54, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re 0001, Francesco Tiezzi 0001 |
Verification of Privacy-Enhanced Collaborations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 141-152, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Davide G. Cavezza, Dalal Alrajeh, András György 0001 |
Minimal Assumptions Refinement for Realizable Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 66-76, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen |
Rule-based Word Equation Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 87-97, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione |
Mind the gap: Robotic Mission Planning Meets Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 55-65, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Munteanu, Michele Pasqua, Massimo Merro |
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 34-43, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nacha Chondamrongkul, Jing Sun 0002, Ian Warren, Scott Uk-Jin Lee |
Semantic-based Architecture Smell Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 109-118, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Omar al Duhaiby, Jan Friso Groote |
Active Learning of Decomposable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 1-10, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simon Foster 0001, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor |
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 11-21, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, Claudio Menghi |
UML Consistency Rules: a Case Study with Open-Source UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 130-140, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cámara |
HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 22-33, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser |
Relational Test Tables: A Practical Specification Language for Evolution and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 77-86, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat (eds.) |
FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![ACM, 978-1-4503-7071-4 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Kulik, Jalil Boudjadar, Diego F. Aranha |
Towards Formally Verified Key Management for Industrial Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 119-129, 2020, ACM, 978-1-4503-7071-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar |
On the formalization of importance measures using HOL theorem proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 109-118, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi (eds.) |
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![IEEE / ACM, 978-1-7281-3373-7 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto |
A generalized program verification workflow based on loop elimination and SA form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 75-84, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Omar I. Al-Bataineh, Mark Reynolds 0001 |
Epistemic model checking of distributed commit protocols with byzantine faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 51-60, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Erick Raelijohn, Michalis Famelis, Houari A. Sahraoui |
A vision for helping developers use APIs by leveraging temporal patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 95-98, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Ratiu, Marco Gario, Hannes Schoenhaar |
FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 41-50, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ajay Krishna 0001, Michel Le Pallec, Radu Mateescu 0001, Ludovic Noirie, Gwen Salaün |
Rigorous design and deployment of IoT applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 21-30, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet |
Towards sampling and simulation-based analysis of featured weighted automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 61-64, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Beyazit Yalcinkaya, Ebru Aydin Gol |
Clock reduction in timed automata while preserving design parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 11-20, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Lööw, Magnus O. Myreen |
A proof-producing translator for verilog development in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 99-108, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Milad K. Ghale, Dirk Pattinson, Michael Norrish |
Modular synthesis of verified verifiers of computation with STV algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 85-94, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Ivanov, Sibylle Schupp |
Static analysis for worst-case battery utilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 1-10, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang 0001, Taylor T. Johnson |
Parallelizable reachability analysis algorithms for feed-forward neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 31-40, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bækgaard Pedersen, Kevin Chalmers |
Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 65-74, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mariëlle Stoelinga |
Risk management for high tech systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, pp. 1, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz |
Extending specification patterns for verification of parametric traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, pp. 10-19, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Wickert, Anna-Lena Lamprecht, Tiziana Margaria |
Domain-specific design of patient classification in cancer-related cachexia research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, pp. 60-63, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider |
Testing meets static and runtime verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, pp. 30-39, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto |
CIL to Java-bytecode translation for static analysis leveraging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, pp. 40-49, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione (eds.) |
Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![ACM The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vassil Todorov, Frédéric Boulanger, Safouan Taha |
Formal verification of automotive embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, pp. 84-87, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Liva, Muhammad Taimoor Khan 0001, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger 0001 |
Modeling time in Java programs for automatic error detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, pp. 50-59, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist |
Formal verification of an autonomous wheel loader by model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, pp. 74-83, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet |
Formal verification of complex robotic systems on resource-constrained platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, pp. 2-9, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Srinivas Pinisetty, Gerardo Schneider, David Sands 0001 |
Runtime verification of hyperproperties for deterministic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, pp. 20-29, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Aimee Borda, Vasileios Koutavas |
Self-adaptive automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, pp. 64-73, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillermina Cledou, Luís Soares Barbosa |
Modeling Families of Public Licensing Services: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 37-43, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini |
Model Checking for Mobile Android Malware Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 24-30, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay |
Featured Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 51-57, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Georget, Mathieu Jaume, Frederic Tronel, Guillaume Piolle, Valérie Viet Triem Tong |
Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 10-16, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Moore, Mark Lawford |
Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 58-64, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nazareno Aguirre |
Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 2, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fábio Levy Siqueira, Thiago C. de Sousa, Paulo Sérgio Muniz Silva |
Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 31-36, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raju Halder, José Proença, Nuno Macedo, André Santos 0001 |
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 44-50, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander van Den Berghe, Koen Yskout, Riccardo Scandariato, Wouter Joosen |
A Model for Provably Secure Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 3-9, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![IEEE, 978-1-5386-0422-9 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili 0001 |
A Generic Algorithm for Program Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 65-71, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Gnesi, Nico Plat, Hernán C. Melgratti |
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 1, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sora Bae, Joonyoung Park, Sukyoung Ryu |
Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 72-78, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Koichi Shimizu, Teruyoshi Yamaguchi, Tsunato Nakai, Takeshi Ueda, Nobuhiro Kobayashi, Benoît Boyer |
A Trusted Approach to Design a Network Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pp. 17-23, 2017, IEEE, 978-1-5386-0422-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ben L. Di Vito |
Deductive evaluation: formal code analysis with low user burden. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pp. 1-7, 2016, ACM, 978-1-4503-4159-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shaoying Liu |
Validating formal specifications using testing-based specification animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pp. 29-35, 2016, ACM, 978-1-4503-4159-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
Download malware? no, thanks: how formal methods can block update attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pp. 22-28, 2016, ACM, 978-1-4503-4159-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![ACM, 978-1-4503-4159-2 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Victor Rivera, Sukriti Bhattacharya, Néstor Cataño |
Undertaking the tokeneer challenge in event-b. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pp. 8-14, 2016, ACM, 978-1-4503-4159-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Katis, Andrew Gacek, Michael W. Whalen |
Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pp. 36-41, 2016, ACM, 978-1-4503-4159-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman |
Toward rigorous design of domain-specific distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pp. 42-48, 2016, ACM, 978-1-4503-4159-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki |
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pp. 15-21, 2016, ACM, 978-1-4503-4159-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock 0001 |
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 40-46, 2015, IEEE Computer Society, 978-1-4673-7043-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Claret, Yann Régis-Gianas |
Mechanical Verification of Interactive Programs Specified by Use Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 61-67, 2015, IEEE Computer Society, 978-1-4673-7043-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yves Ledru, Akram Idani, Jean-Luc Richier |
Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 6-12, 2015, IEEE Computer Society, 978-1-4673-7043-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Noamen Ben Henda, Karl Norrman, Katharina Pfeffer |
Formal Verification of the Security for Dual Connectivity in LTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 13-19, 2015, IEEE Computer Society, 978-1-4673-7043-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dino Mandrioli |
On the Heroism of Really Pursuing Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 1-5, 2015, IEEE Computer Society, 978-1-4673-7043-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone |
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 26-32, 2015, IEEE Computer Society, 978-1-4673-7043-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng |
A Methodology for the Simplification of Tabular Designs in Model-Based Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 47-53, 2015, IEEE Computer Society, 978-1-4673-7043-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen |
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 33-39, 2015, IEEE Computer Society, 978-1-4673-7043-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Constance L. Heitmeyer, Elizabeth I. Leonard |
Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 54-60, 2015, IEEE Computer Society, 978-1-4673-7043-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joanne M. Atlee, Uli Fahrenberg, Axel Legay |
Measuring Behaviour Interactions between Product-Line Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 20-25, 2015, IEEE Computer Society, 978-1-4673-7043-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|