ZB - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 372

2023

Validation by Abstraction and RefinementSebastian Stock 0002, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed. zum 2023: 160-178 [doi]

Reconstruction of TLAPS Proofs Solved by VeriT in LambdapiColtellacci Alessio. zum 2023: 375-377 [doi]

A Framework for Formal Verification and Validation of Railway SystemsYannis Benabbi. zum 2023: 371-374 [doi]

formal MVC: A Pattern for the Integration of ASM Specifications in UI DevelopmentAndrea Bombarda, Silvia Bonfanti, Angelo Gargantini. zum 2023: 340-357 [doi]

Modeling the MVM-Adapt System by Compositional I/O Abstract State MachinesSilvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra. zum 2023: 107-115 [doi]

Using Deep Ontologies in Formal Software EngineeringAchim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff. zum 2023: 15-32 [doi]

Adding Records to AlloyJulien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo. zum 2023: 212-219 [doi]

Introducing Inductive Construction in B with the Theory PluginJulien Cervelle, Frédéric Gervais. zum 2023: 43-58 [doi]

Task Model Design and Analysis with AlloyAlcino Cunha, Nuno Macedo, Eunsuk Kang. zum 2023: 303-320 [doi]

TASTD: A Real-Time Extension for ASTDDiego de Azevedo Oliveira, Marc Frappier. zum 2023: 142-159 [doi]

Modelling an Automotive Software System with TASTDDiego de Azevedo Oliveira, Marc Frappier. zum 2023: 124-141 [doi]

+ Proof Obligations Safely for SMTRosalie Defourné. zum 2023: 88-106 [doi]

Pattern-Based Refinement Generation Through Domain Specific LanguagesElie Fares, Jean-Paul Bodeveix, Mamoun Filali. zum 2023: 35-42 [doi]

Building Specifications in the Event-B Institution: A SummaryMarie Farrell, Rosemary Monahan, James F. Power. zum 2023: 245-253 [doi]

Designing Critical Systems Using Hierarchical STPA and Event-BAsieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler. zum 2023: 220-237 [doi]

Behavioural Theory of Reflective AlgorithmsFlavio Ferrarotti, Klaus-Dieter Schewe. zum 2023: 238-244 [doi]

Modeling and Analysis of a Safety-Critical Interactive System Through Validation ObligationsDavid Geleßus, Sebastian Stock 0002, Fabian Vu, Michael Leuschel, Atif Mashkoor. zum 2023: 284-302 [doi]

Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, ProceedingsUwe Glässer, José Creissac Campos, Dominique Méry, Philippe A. Palanque, editors, Volume 14010 of Lecture Notes in Computer Science, Springer, 2023. [doi]

Verifying Temporal Relational Models with PardinusNuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha. zum 2023: 254-261 [doi]

Modeling and Verifying an Arrival Manager Using Event-BAmel Mammar, Michael Leuschel. zum 2023: 321-339 [doi]

AMAN Case StudyPhilippe A. Palanque, José Creissac Campos. zum 2023: 265-283 [doi]

Refinements of Hybrid Dynamical Systems LogicAndré Platzer. zum 2023: 3-14 [doi]

Standalone Event-B Models Analysis Relying on the EB4EB Meta-theoryPeter Riviere, Neeraj Kumar Singh 0001, Yamine Aït Ameur, Guillaume Dupont. zum 2023: 193-211 [doi]

Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid SystemsKristin Rutenkolk. zum 2023: 366-370 [doi]

Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent SystemsGerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif. zum 2023: 70-87 [doi]

Exploring a Methodology for Formal Verification of Safety-Critical SystemsOisín Sheridan. zum 2023: 361-365 [doi]

Exploration of Reflective ASMs for SecurityLinjie Tong, Ke Xu 0002, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe. zum 2023: 185-192 [doi]

Validation of Formal Models by Interactive SimulationFabian Vu, Michael Leuschel. zum 2023: 59-69 [doi]

Crucible Tools for Test Generation and Animation of Alloy ModelsThomas Wilson, Stuart Matthews. zum 2023: 116-123 [doi]

Verifying Event-B Hybrid Models Using CycloneHao Wu, Zheng Cheng. zum 2023: 179-184 [doi]

2018

Encoding Sets as Real NumbersDomenico Cantone, Alberto Policriti. zum 2018: 2-16 [doi]

DDomenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria. zum 2018: 52-66 [doi]

On Perfect Matchings for some Bipartite GraphsAlberto Casagrande, Francesco Di Cosmo, Eugenio G. Omodeo. zum 2018: 38-51 [doi]

Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018Maximiliano Cristiá, David Delahaye, Catherine Dubois, editors, Volume 2199 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]

Programming in Java with Restricted Intensional SetsMaximiliano Cristiá, Gianfranco Rossi. zum 2018: 17-31 [doi]

Towards Coq Formalisation of {log} Set Constraints ResolutionCatherine Dubois, Sulyvan Weppe. zum 2018: 32-37 [doi]

Polarized Rewriting and Tableaux in B Set TheoryOlivier Hermant. zum 2018: 67-72 [doi]

Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk)Michael Leuschel. zum 2018: 1 [doi]

2005

Refinement and Reachability in Event::B::Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. zum 2005: 222-241 [doi]

An Object-Oriented Structuring for Z Based on ViewsNuno Amálio, Fiona A. C. Polack, Susan Stepney. zum 2005: 262-278 [doi]

A Stepwise Development of the Peterson s Mutual Exclusion Algorithm Using B Abstract SystemsChristian Attiogbé. zum 2005: 124-141 [doi]

Using B as a High Level Programming Language in an Industrial Project: Roissy VALFrédéric Badeau, Arnaud Amelot. zum 2005: 334-354 [doi]

Retrenchment and the B-ToolkitRichard Banach, Simon Fraser. zum 2005: 203-221 [doi]

GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security PropertiesDidier Bert, Marie-Laure Potet, Nicolas Stouls. zum 2005: 299-318 [doi]

Formal Program Development with ApproximationsEerke Boiten, John Derrick. zum 2005: 374-392 [doi]

An Extension of Event B for Developing Grid SystemsPontus Boström, Marina A. Waldén. zum 2005: 142-161 [doi]

Checking JML Specifications with B MachinesFabrice Bouquet, Frédéric Dadeau, Julien Groslambert. zum 2005: 434-453 [doi]

Including Design Guidelines in the Formal Specification of Interfaces in ZJudy Bowen, Steve Reeves. zum 2005: 454-471 [doi]

Slicing Object-Z Specifications for VerificationIngo Brückner, Heike Wehrheim. zum 2005: 414-433 [doi]

Non-atomic Refinement in Z and CSPJohn Derrick, Heike Wehrheim. zum 2005: 24-44 [doi]

Process Refinement in BSteve Dunne, Stacey Conroy. zum 2005: 45-64 [doi]

Practical Data Refinement for the Z Schema CalculusLindsay Groves. zum 2005: 393-413 [doi]

Development via Refinement in Probabilistic B - Foundation and Case StudyThai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan. zum 2005: 355-373 [doi]

Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended AbstractCliff B. Jones. zum 2005: 1-5 [doi]

A Rigorous Foundation for Pattern-Based Design ModelsSoon-Kyeong Kim, David A. Carrington. zum 2005: 242-261 [doi]

Visualising Larger State Spaces in Pro BMichael Leuschel, Edd Turner. zum 2005: 6-23 [doi]

Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-ZBenjamin W. Long. zum 2005: 319-333 [doi]

CZT: A Framework for Z ToolsPetra Malik, Mark Utting. zum 2005: 65-84 [doi]

The Challenge of Probabilistic ::::Event B:::: - Extended AbstractCarroll Morgan, Thai Son Hoang, Jean-Raymond Abrial. zum 2005: 162-171 [doi]

Some Guidelines for Formal Development of Web-Based Applications in B-MethodAbdolbaghi Rezazadeh, Michael J. Butler. zum 2005: 472-492 [doi]

Requirements as Conjectures: Intuitive DVD Menu NavigationJemima Rossmorris, Susan Stepney. zum 2005: 172-186 [doi]

Model Checking Z Specifications Using SALGraeme Smith, Luke Wildman. zum 2005: 85-103 [doi]

Proving Properties of Stateflow Models Using ISO Standard Z and CADiZIan Toyn, Andy Galloway. zum 2005: 104-123 [doi]

ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, ProceedingsHelen Treharne, Steve King, Martin C. Henson, Steve A. Schneider, editors, Volume 3455 of Lecture Notes in Computer Science, Springer, 2005.

A Prospective-Value Semantics for the GSLFrank Zeyda, Bill Stoddart, Steve Dunne. zum 2005: 187-202 [doi]

Component Reuse in B Using ACL2Yann Zimmermann, Diana Toma. zum 2005: 279-298 [doi]

2003

B:::#:::: Toward a Synthesis between Z and BJean-Raymond Abrial. zum 2003: 168-177 [doi]

Formal Derivation of Spanning Trees AlgorithmsJean-Raymond Abrial, Dominique Cansell, Dominique Méry. zum 2003: 457-476 [doi]

Towards Dynamic Population Management of Abstract Machines in the B MethodNazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum. zum 2003: 528-545 [doi]

Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-ZNuno Amálio, Fiona A. C. Polack. zum 2003: 339-358 [doi]

ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, ProceedingsDidier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén, editors, Volume 2651 of Lecture Notes in Computer Science, Springer, 2003.

Reuse of Specification Patterns with the B MethodSandrine Blazy, Frédéric Gervais, Régine Laleau. zum 2003: 40-57 [doi]

Extending B with Control Flow BreaksLilian Burdy, Antoine Requet. zum 2003: 513-527 [doi]

Refinement Preserves PLTL PropertiesChristophe Darlot, Jacques Julliand, Olga Kouchnarenko. zum 2003: 408-420 [doi]

Timed CSP and Object-ZJohn Derrick. zum 2003: 300-318 [doi]

Using Coupled Simulations in Non-atomic RefinementJohn Derrick, Heike Wehrheim. zum 2003: 127-147 [doi]

Operation Refinement and Monotonicity in the Schema CalculusMoshe Deutsch, Martin C. Henson, Steve Reeves. zum 2003: 103-126 [doi]

An Analysis of Forward Simulation Data RefinementMoshe Deutsch, Martin C. Henson. zum 2003: 148-167 [doi]

Introducing Backward Refinement into BSteve Dunne. zum 2003: 178-196 [doi]

Using B Refinement to Analyse Compensating Business ProcessesCarla Ferreira, Michael J. Butler. zum 2003: 477-496 [doi]

Proving Event Ordering Properties for Information SystemsMarc Frappier, Régine Laleau. zum 2003: 421-436 [doi]

Parallel Hardware Design in BStefan Hallerstede. zum 2003: 101-102 [doi]

Automatically Generating Information from a Z Specification to Support the Classification Tree MethodRobert M. Hierons, Mark Harman, Harbhajan Singh. zum 2003: 388-407 [doi]

Probabilistic Invariants for Probabilistic MachinesThai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan. zum 2003: 240-259 [doi]

Alloy: A Logical Modelling LanguageDaniel Jackson. zum 2003: 1 [doi]

Probabilistic Termination in BAnnabelle McIver, Carroll Morgan, Thai Son Hoang. zum 2003: 216-239 [doi]

Towards Practical Proofs of Class CorrectnessBertrand Meyer. zum 2003: 359-387 [doi]

When Concurrent Control Meets Functional Requirements, or Z + Petri-NetsFrédéric Peschanski, David Julien. zum 2003: 79-97 [doi]

A Formal Specification in B of a Medical Decision Support SystemChristine Poerschke, David E. Lightfoot, John L. Nealon. zum 2003: 497-512 [doi]

How to Diagnose a Modern Car with a Formal B Model?Guilhem Pouzancre. zum 2003: 98-100 [doi]

Proving Temporal Properties of Z Specifications Using AbstractionGraeme Smith, Kirsten Winter. zum 2003: 260-279 [doi]

An Outline Pattern Language for Z: Five Illustrations and Two TablesSusan Stepney, Fiona A. C. Polack, Ian Toyn. zum 2003: 2-19 [doi]

Patterns to Guide Practical Refactoring: Examples Targetting Promotion in ZSusan Stepney, Fiona A. C. Polack, Ian Toyn. zum 2003: 20-39 [doi]

Expression Transformers in B-GSLBill Stoddart, Frank Zeyda. zum 2003: 197-215 [doi]

Composing Specifications Using CommunicationHelen Treharne, Steve Schneider, Marchia Bramble. zum 2003: 58-78 [doi]

Object Orientation without Extending ZMark Utting, Shaochun Wang. zum 2003: 319-338 [doi]

ZML: XML Support for Standard ZMark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie. zum 2003: 437-456 [doi]

Compositional Verification for Object-ZKirsten Winter, Graeme Smith. zum 2003: 280-299 [doi]

2002

ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft IndustriesPierre Chartier. zum 2002: 394-395 [doi]

Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case StudyAntonis Papatsaras, Bill Stoddart. zum 2002: 458-476 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

ZB (zum)

Viewing Publication 1 - 100 from 372

2023

2018

2005

2003

2002

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

ZB (zum)

Viewing Publication 1 - 100 from 372

2023

2018

2005

2003

2002

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1