| 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.  |
FormaliSE@ICSE  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle |
Automatic Loop Invariant Generation for Data Dependence Analysis. |
FormaliSE@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim |
Property-Driven Testing of Black-Box Functions. |
FormaliSE@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Lathouwers, Marieke Huisman |
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. |
FormaliSE@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Metere, Luca Arnaboldi 0001 |
Automating Cryptographic Protocol Language Generation from Structured Specifications. |
FormaliSE@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Irman Faqrizal, Gwen Salaün |
Counting Bugs in Behavioural Models using Counterexample Analysis. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé |
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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 |
FormaliSE@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili 0001 |
Computing Program Functions. |
FormaliSE@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Jovanovic, Allison Sullivan |
Towards Automated Input Generation for Sketching Alloy Models. |
FormaliSE@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rania Taleb, Raphaël Khoury, Sylvain Hallé |
Runtime Verification Under Access Restrictions. |
FormaliSE@ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Christine Jakobs |
PEQCHECK: Localized and Context-aware Checking of Functional Equivalence. |
FormaliSE@ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Kulik, Jalil Boudjadar, Diego F. Aranha |
Formally Verified Credentials Management for Industrial Control Systems. |
FormaliSE@ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Besma Khaireddine, Ali Mili 0001 |
Quantifying Faultiness: What Does It Mean to Have N Faults? |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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 |
FormaliSE@ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Nasti, Roberta Gori, Paolo Milazzo |
Formal characterization and efficient verification of a biological robustness property. |
FormaliSE@ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Knüppel, Thomas Thüm, Ina Schaefer |
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. |
FormaliSE@ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Armborst, Marieke Huisman |
Permission-Based Verification of Red-Black Trees and Their Merging. |
FormaliSE@ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink |
Feasibility of Spatial Model Checking for Nevus Segmentation. |
FormaliSE@ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Erick Raelijohn, Michalis Famelis, Houari A. Sahraoui |
Checking temporal patterns of API usage without code execution. |
FormaliSE@ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Knüppel, Leon Schaer, Ina Schaefer |
How much Specification is Enough? Mutation Analysis for Software Contracts. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar I. Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran |
Monitoring Cumulative Cost Properties. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide G. Cavezza, Dalal Alrajeh, András György 0001 |
Minimal Assumptions Refinement for Realizable Specifications. |
FormaliSE@ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen |
Rule-based Word Equation Solving. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nacha Chondamrongkul, Jing Sun 0002, Ian Warren, Scott Uk-Jin Lee |
Semantic-based Architecture Smell Analysis. |
FormaliSE@ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar al Duhaiby, Jan Friso Groote |
Active Learning of Decomposable Systems. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara |
HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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 |
FormaliSE@ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Kulik, Jalil Boudjadar, Diego F. Aranha |
Towards Formally Verified Key Management for Industrial Control Systems. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar I. Al-Bataineh, Mark Reynolds 0001 |
Epistemic model checking of distributed commit protocols with byzantine faults. |
FormaliSE@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Erick Raelijohn, Michalis Famelis, Houari A. Sahraoui |
A vision for helping developers use APIs by leveraging temporal patterns. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet |
Towards sampling and simulation-based analysis of featured weighted automata. |
FormaliSE@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Beyazit Yalcinkaya, Ebru Aydin Gol |
Clock reduction in timed automata while preserving design parameters. |
FormaliSE@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Lööw, Magnus O. Myreen |
A proof-producing translator for verilog development in HOL. |
FormaliSE@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Milad K. Ghale, Dirk Pattinson, Michael Norrish |
Modular synthesis of verified verifiers of computation with STV algorithms. |
FormaliSE@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Ivanov, Sibylle Schupp |
Static analysis for worst-case battery utilization. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariëlle Stoelinga |
Risk management for high tech systems. |
FormaliSE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz |
Extending specification patterns for verification of parametric traces. |
FormaliSE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Wickert, Anna-Lena Lamprecht, Tiziana Margaria |
Domain-specific design of patient classification in cancer-related cachexia research. |
FormaliSE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider |
Testing meets static and runtime verification. |
FormaliSE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto |
CIL to Java-bytecode translation for static analysis leveraging. |
FormaliSE@ICSE |
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 |
FormaliSE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vassil Todorov, Frédéric Boulanger, Safouan Taha |
Formal verification of automotive embedded software. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist |
Formal verification of an autonomous wheel loader by model checking. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Srinivas Pinisetty, Gerardo Schneider, David Sands 0001 |
Runtime verification of hyperproperties for deterministic programs. |
FormaliSE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Aimee Borda, Vasileios Koutavas |
Self-adaptive automata. |
FormaliSE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermina Cledou, Luís Soares Barbosa |
Modeling Families of Public Licensing Services: A Case Study. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Axel Legay |
Featured Weighted Automata. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Moore, Mark Lawford |
Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving. |
FormaliSE@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre |
Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander van Den Berghe, Koen Yskout, Riccardo Scandariato, Wouter Joosen |
A Model for Provably Secure Software Design. |
FormaliSE@ICSE |
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 |
FormaliSE@ICSE |
2017 |
DBLP BibTeX RDF |
|
| 1 | Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili 0001 |
A Generic Algorithm for Program Repair. |
FormaliSE@ICSE |
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). |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben L. Di Vito |
Deductive evaluation: formal code analysis with low user burden. |
FormaliSE@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoying Liu |
Validating formal specifications using testing-based specification animation. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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 |
FormaliSE@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Rivera, Sukriti Bhattacharya, Néstor Cataño |
Undertaking the tokeneer challenge in event-b. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman |
Toward rigorous design of domain-specific distributed systems. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Claret, Yann Régis-Gianas |
Mechanical Verification of Interactive Programs Specified by Use Cases. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Noamen Ben Henda, Karl Norrman, Katharina Pfeffer |
Formal Verification of the Security for Dual Connectivity in LTE. |
FormaliSE@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dino Mandrioli |
On the Heroism of Really Pursuing Formal Methods. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
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. |
FormaliSE@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen |
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. |
FormaliSE@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, Elizabeth I. Leonard |
Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation. |
FormaliSE@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanne M. Atlee, Uli Fahrenberg, Axel Legay |
Measuring Behaviour Interactions between Product-Line Features. |
FormaliSE@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license