![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/zum/abz2023.bht:"
@inproceedings{DBLP:conf/zum/Alessio23, author = {Alessio Coltellacci}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Reconstruction of {TLAPS} Proofs Solved by VeriT in Lambdapi}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {375--377}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_29}, doi = {10.1007/978-3-031-33163-3\_29}, timestamp = {Tue, 23 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/Alessio23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/Benabbi23, author = {Yannis Benabbi}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {A Framework for Formal Verification and Validation of Railway Systems}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {371--374}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_28}, doi = {10.1007/978-3-031-33163-3\_28}, timestamp = {Tue, 23 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/Benabbi23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/BombardaBG23, author = {Andrea Bombarda and Silvia Bonfanti and Angelo Gargantini}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {formal {MVC:} {A} Pattern for the Integration of {ASM} Specifications in {UI} Development}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {340--357}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_25}, doi = {10.1007/978-3-031-33163-3\_25}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/BombardaBG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/BonfantiRSS23, author = {Silvia Bonfanti and Elvinia Riccobene and Davide Santandrea and Patrizia Scandurra}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Modeling the MVM-Adapt System by Compositional {I/O} Abstract State Machines}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {107--115}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_8}, doi = {10.1007/978-3-031-33163-3\_8}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/BonfantiRSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/BruckerAMW23, author = {Achim D. Brucker and Idir A{\"{\i}}t{-}Sadoune and Nicolas M{\'{e}}ric and Burkhart Wolff}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Using Deep Ontologies in Formal Software Engineering}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {15--32}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_2}, doi = {10.1007/978-3-031-33163-3\_2}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/BruckerAMW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/BrunelCCM23, author = {Julien Brunel and David Chemouil and Alcino Cunha and Nuno Macedo}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Adding Records to Alloy}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {212--219}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_16}, doi = {10.1007/978-3-031-33163-3\_16}, timestamp = {Tue, 25 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/BrunelCCM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/CervelleG23, author = {Julien Cervelle and Fr{\'{e}}d{\'{e}}ric Gervais}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Introducing Inductive Construction in {B} with the Theory Plugin}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {43--58}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_4}, doi = {10.1007/978-3-031-33163-3\_4}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/CervelleG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/CunhaMK23, author = {Alcino Cunha and Nuno Macedo and Eunsuk Kang}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Task Model Design and Analysis with Alloy}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {303--320}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_23}, doi = {10.1007/978-3-031-33163-3\_23}, timestamp = {Tue, 25 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/CunhaMK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/Defourne23, author = {Rosalie Defourn{\'{e}}}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Encoding rmTLA\({}^{\mbox{+}}\) Proof Obligations Safely for {SMT}}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {88--106}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_7}, doi = {10.1007/978-3-031-33163-3\_7}, timestamp = {Tue, 23 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/Defourne23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/FaresBF23, author = {Elie Fares and Jean{-}Paul Bodeveix and Mamoun Filali}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Pattern-Based Refinement Generation Through Domain Specific Languages}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {35--42}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_3}, doi = {10.1007/978-3-031-33163-3\_3}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/FaresBF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/FarrellMP23, author = {Marie Farrell and Rosemary Monahan and James F. Power}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Building Specifications in the Event-B Institution: {A} Summary}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {245--253}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_19}, doi = {10.1007/978-3-031-33163-3\_19}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/FarrellMP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/FathabadiSDHAB23, author = {Asieh Salehi Fathabadi and Colin F. Snook and Dana Dghaym and Thai Son Hoang and Fahad Alotaibi and Michael J. Butler}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Designing Critical Systems Using Hierarchical {STPA} and Event-B}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {220--237}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_17}, doi = {10.1007/978-3-031-33163-3\_17}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/FathabadiSDHAB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/FerrarottiS23, author = {Flavio Ferrarotti and Klaus{-}Dieter Schewe}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Behavioural Theory of Reflective Algorithms}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {238--244}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_18}, doi = {10.1007/978-3-031-33163-3\_18}, timestamp = {Tue, 23 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/FerrarottiS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/GelessusSVLM23, author = {David Gele{\ss}us and Sebastian Stock and Fabian Vu and Michael Leuschel and Atif Mashkoor}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {284--302}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_22}, doi = {10.1007/978-3-031-33163-3\_22}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/GelessusSVLM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/MacedoBCC23, author = {Nuno Macedo and Julien Brunel and David Chemouil and Alcino Cunha}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Verifying Temporal Relational Models with Pardinus}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {254--261}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_20}, doi = {10.1007/978-3-031-33163-3\_20}, timestamp = {Tue, 25 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/MacedoBCC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/MammarL23, author = {Amel Mammar and Michael Leuschel}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Modeling and Verifying an Arrival Manager Using Event-B}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {321--339}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_24}, doi = {10.1007/978-3-031-33163-3\_24}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/MammarL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/OliveiraF23, author = {Diego de Azevedo Oliveira and Marc Frappier}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Modelling an Automotive Software System with {TASTD}}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {124--141}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_10}, doi = {10.1007/978-3-031-33163-3\_10}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/OliveiraF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/OliveiraF23a, author = {Diego de Azevedo Oliveira and Marc Frappier}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {{TASTD:} {A} Real-Time Extension for {ASTD}}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {142--159}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_11}, doi = {10.1007/978-3-031-33163-3\_11}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/OliveiraF23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/PalanqueC23, author = {Philippe A. Palanque and Jos{\'{e}} Creissac Campos}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {{AMAN} Case Study}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {265--283}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_21}, doi = {10.1007/978-3-031-33163-3\_21}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/PalanqueC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/Platzer23, author = {Andr{\'{e}} Platzer}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Refinements of Hybrid Dynamical Systems Logic}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {3--14}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_1}, doi = {10.1007/978-3-031-33163-3\_1}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/Platzer23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/RiviereSAD23, author = {Peter Riviere and Neeraj Kumar Singh and Yamine A{\"{\i}}t{-}Ameur and Guillaume Dupont}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Standalone Event-B Models Analysis Relying on the {EB4EB} Meta-theory}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {193--211}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_15}, doi = {10.1007/978-3-031-33163-3\_15}, timestamp = {Tue, 23 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/RiviereSAD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/Rutenkolk23, author = {Kristin Rutenkolk}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {366--370}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_27}, doi = {10.1007/978-3-031-33163-3\_27}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/Rutenkolk23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/SchellhornBR23, author = {Gerhard Schellhorn and Stefan Bodenm{\"{u}}ller and Wolfgang Reif}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {70--87}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_6}, doi = {10.1007/978-3-031-33163-3\_6}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/SchellhornBR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/Sheridan23, author = {Ois{\'{\i}}n Sheridan}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Exploring a Methodology for Formal Verification of Safety-Critical Systems}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {361--365}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_26}, doi = {10.1007/978-3-031-33163-3\_26}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/Sheridan23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/StockVGLME23, author = {Sebastian Stock and Fabian Vu and David Gele{\ss}us and Michael Leuschel and Atif Mashkoor and Alexander Egyed}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Validation by Abstraction and Refinement}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {160--178}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_12}, doi = {10.1007/978-3-031-33163-3\_12}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/StockVGLME23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/TongXHFS23, author = {Linjie Tong and Ke Xu and Jiarun Hu and Flavio Ferrarotti and Klaus{-}Dieter Schewe}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Exploration of Reflective ASMs for Security}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {185--192}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_14}, doi = {10.1007/978-3-031-33163-3\_14}, timestamp = {Tue, 23 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/TongXHFS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/VuL23, author = {Fabian Vu and Michael Leuschel}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Validation of Formal Models by Interactive Simulation}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {59--69}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_5}, doi = {10.1007/978-3-031-33163-3\_5}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/VuL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/WilsonM23, author = {Thomas Wilson and Stuart Matthews}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Crucible Tools for Test Generation and Animation of Alloy Models}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {116--123}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_9}, doi = {10.1007/978-3-031-33163-3\_9}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/WilsonM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/WuC23, author = {Hao Wu and Zheng Cheng}, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Verifying Event-B Hybrid Models Using Cyclone}, booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, pages = {179--184}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3\_13}, doi = {10.1007/978-3-031-33163-3\_13}, timestamp = {Sun, 03 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/zum/WuC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/zum/2023, editor = {Uwe Gl{\"{a}}sser and Jos{\'{e}} Creissac Campos and Dominique M{\'{e}}ry and Philippe A. Palanque}, title = {Rigorous State-Based Methods - 9th International Conference, {ABZ} 2023, Nancy, France, May 30 - June 2, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14010}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33163-3}, doi = {10.1007/978-3-031-33163-3}, isbn = {978-3-031-33162-6}, timestamp = {Tue, 23 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.