default search action
Formal Aspects of Computing, Volume 33
Volume 33, Number 1, January 2021
- Erik P. de Vink, Ana Cavalcanti:
Editorial. 1-2 - Giovanni Bacci
, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen
Optimal and robust controller synthesis using energy timed automata with uncertainty. 3-25 - Davide G. Cavezza
A Weakness Measure for GR(1) Formulae. 27-63 - Aaron Dutle
Formal analysis of the compact position reporting algorithm. 65-86 - Signe Geisler
Stepwise development and model checking of a distributed interlocking system using RAISE. 87-125 - Thomas Letan, Yann Régis-Gianas
Modular verification of programs with effects and effects handlers. 127-150
Volume 33, Number 2, March 2021
- Wenbo Zhang
On the Interactive Power of Higher-order Processes Extended with Parameterization. 151-183 - Wim H. Hesselink
UNITY and Büchi automata. 185-205 - Wanling Xie
A process calculus BigrTiMo of mobile systems and its formal semantics. 207-249 - Marco Bozzano
Model-based Safety Assessment of a Triple Modular Generator with xSAP. 251-295 - Matteo Rossi:
Modeling and analysis of communicating systems. 297-298
Volume 33, Number 3, June 2021
- Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock:
Editorial. 299-300 - Lei Bu
Machine learning steered symbolic execution framework for complex software code. 301-323 - Huihui Wu, Deyun Lv
SDLV: Verification of Steering Angle Safety for Self-Driving Cars. 325-341 - Zhibin Yang
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. 343-384 - Xiangyu Jin, Jie An
Inferring Switched Nonlinear Dynamical Systems. 385-406 - Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. 407-435 - Hengjun Zhao, Xia Zeng
Learning safe neural network controllers with barrier certificates. 437-455 - Michele Loreti:
Semantics of the probabilistic Lambda Calculus By Dirk Draheim. 457-458
Volume 33, Number 4-5, August 2021
- Annabelle McIver
Editorial. 459-460 - Yong Kiam Tan
An axiomatic approach to existence and liveness for differential equations. 461-518 - Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. 519-545 - John Derrick, Simon Doherty, Brijesh Dongol
Verifying correctness of persistent concurrent data structures: a sound and complete method. 547-573 - Martin Tappler, Bernhard K. Aichernig
L*-based learning of Markov decision processes (extended version). 575-615 - Frank S. de Boer, Marcello M. Bonsangue
Symbolic execution formally explained. 617-636 - Milan Ceska
Counterexample-guided inductive synthesis for probabilistic systems. 637-667 - Alexandros Evangelidis
Quantitative verification of Kalman filters. 669-693 - Thorsten Wißmann
From generic partition refinement to weighted tree automata minimization. 695-727 - Gal Amram
GR(1)*: GR(1) specifications extended with existential guarantees. 729-761 - Mario Gleirscher
RiskStructures: A design algebra for risk-aware machines. 763-802 - Gerard Ekembe Ngondi
Denotational semantics of channel mobility in UTP-CSP. 803-826
Volume 33, Number 6, December 2021
- Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim:
Editorial. 827 - Bjørnar Luteberget, Christian Johansen
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. 829-854 - Simon Foster
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. 855-884 - Clemens Dubslaff
Enhancing Probabilistic Model Checking with Ontologies. 885-921 - Alessandro Fantechi, Anne E. Haxthausen
Editorial. 923-924 - Jan Peleska
Efficient data validation for geographical interlocking systems. 925-955 - Davide Basile
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. 957-987 - Francesco Flammini
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. 989-1007 - Paulius Stankaitis
A refinement-based development of a distributed signalling system. 1009-1036 - Jordi Cabot, Heike Wehrheim, Eerke A. Boiten:
Editorial. 1037 - Claudio Menghi
TOrPEDO: witnessing model correctness with topological proofs. 1039-1066 - Patrick Stünkel
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. 1067-1114 - Nils Weidmann, Anthony Anjorin:
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. 1115-1145 - Maxime Cordy
Statistical model checking for variability-intensive systems: applications to bug detection and minimization. 1147-1172 - Juan de Lara
Language Family Engineering with Product Lines of Multi-level Models. 1173-1208 - Rolf Hennicker, Alexander Knapp
Hybrid dynamic logic institutions for event/data-based systems. 1209-1248 - Blair Archibald
A tale of two graph models: a case study in wireless sensor networks. 1249-1277 - Reinhard Wilhelm:
Foundations of programming languages. 1279-1280
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.
last updated on 2024-12-19 22:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: