|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Radu Calinescu, Genaína Nunes Rodrigues |
Goal Controller Synthesis for Self-Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo 0002, Alberto L. Sangiovanni-Vincentelli |
Contract-Based Specification Refinement and Repair for Mission Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 29-38, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi 0001 |
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 120-129, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Larissa A. Meinicke, Ian J. Hayes |
Using scylindric algebra to support local variables in rely/guarantee concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 108-119, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif |
An Empirical Study Assessing Software Modeling in Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 44-54, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux |
A Verified UAV Flight Plan Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 130-140, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001 |
A Dafny-based approach to thread-local information flow analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 86-96, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat |
Transparent Actor Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 97-107, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Cadar, Daniel Schemmel, Arindam Sharma |
Patch Specifications via Product Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 39-43, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Davide Basile 0001, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau |
Mutant Equivalence as Monotonicity in Parametric Timed Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 55-65, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran |
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 7-17, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![IEEE, 979-8-3503-1263-8 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi |
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 18-28, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mark Utting, Brae J. Webb, Ian J. Hayes |
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 66-75, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Eli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang |
Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 76-85, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Gnesi, Nico Plat (eds.) |
3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![IEEE Computer Society, 978-1-4673-7043-1 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Stefania Gnesi, Nico Plat (eds.) |
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![ACM, 978-1-4503-2853-1 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Maurice H. ter Beek, Erik P. de Vink |
Using mCRL2 for the analysis of software product lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014, pp. 31-37, 2014, ACM, 978-1-4503-2853-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Bollin, Dominik Rauner-Reithmayer |
Formal specification comprehension: the art of reading and writing z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014, pp. 3-9, 2014, ACM, 978-1-4503-2853-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Imen Sayar, Mohamed Tahar Bhiri |
From an abstract specification in event-b toward an UML/OCL model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014, pp. 17-23, 2014, ACM, 978-1-4503-2853-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aditya V. Nori |
Software reliability via machine learning (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014, pp. 1-2, 2014, ACM, 978-1-4503-2853-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mahesh Nanjundappa, Sandeep K. Shukla |
Compiling polychronous programs into conditional partial orders for ASIP synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014, pp. 38-44, 2014, ACM, 978-1-4503-2853-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi 0001 |
Flexible modular formalization of UML sequence diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014, pp. 10-16, 2014, ACM, 978-1-4503-2853-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki |
Generating supportive hypotheses in introducing formal methods using a software processes improvement model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014, pp. 24-30, 2014, ACM, 978-1-4503-2853-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry |
Analysis and testing of PLEXIL plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014, pp. 52-58, 2014, ACM, 978-1-4503-2853-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits |
Formalization of software models for cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014, pp. 45-51, 2014, ACM, 978-1-4503-2853-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![IEEE Computer Society, 978-1-4673-6292-4 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|