default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal 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, Nicolas Markey, Pierre-Alain Reynier:
Optimal and robust controller synthesis using energy timed automata with uncertainty. 3-25 - Davide G. Cavezza, Dalal Alrajeh, András György:
A Weakness Measure for GR(1) Formulae. 27-63 - Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot:
Formal analysis of the compact position reporting algorithm. 65-86 - Signe Geisler, Anne Elisabeth Haxthausen:
Stepwise development and model checking of a distributed interlocking system using RAISE. 87-125 - Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet:
Modular verification of programs with effects and effects handlers. 127-150
Volume 33, Number 2, March 2021
- Wenbo Zhang, Xian Xu, Qiang Yin, Huan Long:
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, Huibiao Zhu, Qiwen Xu:
A process calculus BigrTiMo of mobile systems and its formal semantics. 207-249 - Marco Bozzano, Alessandro Cimatti, Marco Gario, David Jones, Cristian Mattarei:
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, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li:
Machine learning steered symbolic execution framework for complex software code. 301-323 - Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong:
SDLV: Verification of Steering Angle Safety for Self-Driving Cars. 325-341 - Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu:
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. 343-384 - Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Inferring Switched Nonlinear Dynamical Systems. 385-406 - Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang:
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. 407-435 - Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
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, Maurice H. ter Beek:
Editorial. 459-460 - Yong Kiam Tan, André Platzer:
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, Stanley Bak, Taylor T. Johnson:
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. 519-545 - John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Verifying correctness of persistent concurrent data structures: a sound and complete method. 547-573 - Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
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, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen:
Counterexample-guided inductive synthesis for probabilistic systems. 637-667 - Alexandros Evangelidis, David Parker:
Quantitative verification of Kalman filters. 669-693 - Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder:
From generic partition refinement to weighted tree automata minimization. 695-727 - Gal Amram, Shahar Maoz, Or Pistiner:
GR(1)*: GR(1) specifications extended with existential guarantees. 729-761 - Mario Gleirscher, Radu Calinescu, Jim Woodcock:
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, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly:
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. 855-884 - Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan:
Enhancing Probabilistic Model Checking with Ontologies. 885-921 - Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock:
Editorial. 923-924 - Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger:
Efficient data validation for geographical interlocking systems. 925-955 - Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò:
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. 957-987 - Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini:
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. 989-1007 - Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky:
A refinement-based development of a distributed signalling system. 1009-1036 - Jordi Cabot, Heike Wehrheim, Eerke A. Boiten:
Editorial. 1037 - Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi, Paola Spoletini:
TOrPEDO: witnessing model correctness with topological proofs. 1039-1066 - Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle:
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, Sami Lazreg, Mike Papadakis, Axel Legay:
Statistical model checking for variability-intensive systems: applications to bug detection and minimization. 1147-1172 - Juan de Lara, Esther Guerra:
Language Family Engineering with Product Lines of Multi-level Models. 1173-1208 - Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Hybrid dynamic logic institutions for event/data-based systems. 1209-1248 - Blair Archibald, Géza Kulcsár, Michele Sevegnani:
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 2026-01-16 23:41 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:
