|
|
|
|
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.  |
FormaliSE  |
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. |
FormaliSE |
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. |
FormaliSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Larissa A. Meinicke, Ian J. Hayes |
Using scylindric algebra to support local variables in rely/guarantee concurrency. |
FormaliSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif |
An Empirical Study Assessing Software Modeling in Alloy. |
FormaliSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux |
A Verified UAV Flight Plan Generator. |
FormaliSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith 0001 |
A Dafny-based approach to thread-local information flow analysis. |
FormaliSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat |
Transparent Actor Model. |
FormaliSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Cadar, Daniel Schemmel, Arindam Sharma |
Patch Specifications via Product Programs. |
FormaliSE |
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. |
FormaliSE |
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. |
FormaliSE |
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 |
FormaliSE |
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. |
FormaliSE |
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). |
FormaliSE |
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. |
FormaliSE |
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 |
FormaliSE |
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 |
FormaliSE |
2014 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Erik P. de Vink |
Using mCRL2 for the analysis of software product lines. |
FormaliSE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bollin, Dominik Rauner-Reithmayer |
Formal specification comprehension: the art of reading and writing z. |
FormaliSE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Imen Sayar, Mohamed Tahar Bhiri |
From an abstract specification in event-b toward an UML/OCL model. |
FormaliSE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Nori |
Software reliability via machine learning (invited talk). |
FormaliSE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahesh Nanjundappa, Sandeep K. Shukla |
Compiling polychronous programs into conditional partial orders for ASIP synthesis. |
FormaliSE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi 0001 |
Flexible modular formalization of UML sequence diagrams. |
FormaliSE |
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. |
FormaliSE |
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. |
FormaliSE |
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. |
FormaliSE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | |
1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013 |
FormaliSE |
2013 |
DBLP BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license