|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 881 occurrences of 480 keywords
|
|
|
|
|
Results
Found 1041 publication records. Showing 1041 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bertrand Meyer 0001, Alisa Arkadova, Alexander Kogtenkov |
The Concept of Class Invariant in Object-oriented Programming.  |
Formal Aspects Comput.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella |
Review on Verified Functional Programming in Agda: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016. |
Formal Aspects Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Frédéric Loulergue, Heike Wehrheim |
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021. |
Formal Aspects Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Lokanna Kadakolmath, Umesh D. Ramu |
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System. |
Formal Aspects Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Martin Tappler, Felix Wallner |
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. |
Formal Aspects Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles |
Sound Runtime Assertion Checking for Memory Properties via Program Transformation. |
Formal Aspects Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller |
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking. |
Formal Aspects Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Zielinski 0002 |
Explanatory Denotational Semantics for Complex Event Patterns. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001 |
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version). |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya |
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink |
A Case in Point: Verification and Testing of a EULYNX Interface. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua |
A Deep Reinforcement Learning Framework with Formal Verification. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Klare, Joshua Gleitze |
Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | James Baxter 0001, Gustavo Carvalho, Ana Cavalcanti 0001, Francisco Rodrigues Júnior |
RoboWorld: Verification of Robotic Systems with Environment in the Loop. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak |
Multi-objective ω-Regular Reinforcement Learning. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Sun, David N. Jansen, Xinxin Liu, Wei Zhang |
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Bækgaard Pedersen, Kevin Chalmers |
Toward Verifying Cooperatively Scheduled Runtimes Using CSP. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Fei, Huibiao Zhu, Jiaqi Yin |
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Coughlin, Kirsten Winter, Graeme Smith 0001 |
Compositional Reasoning for Non-multicopy Atomic Architectures. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Charguéraud |
Review on Functional Algorithms, Verified!: By Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, and Bohua Zhan Freely downloadable: https://functional-algorithms-verified.org. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung 0003, Mattias Ulbrich, Alexander Weigl |
Formal Specification and Verification of JDK's Identity Hash Map Implementation. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný 0001, Jiri Zárevúcky, Dorde Zikelic |
On Lexicographic Proof Rules for Probabilistic Termination. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001 |
Bit-Vector Typestate Analysis. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock 0001 |
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis |
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Wright 0001, Sadegh Dalvandi, Mark Batty, Brijesh Dongol |
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu 0003, Jun Sun 0001 |
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Elisabeth Haxthausen, Alessandro Fantechi |
Compositional Verification of Railway Interlocking Systems. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marieke Huisman, Corina S. Pasareanu, Naijun Zhan |
Introduction to the Special Section on FM 2021. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Maximova, Sven Schneider 0001, Holger Giese |
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Blair Archibald, Muffy Calder, Michele Sevegnani |
Probabilistic Bigraphs. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock 0001 |
A Survey of Practical Formal Methods for Security. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone |
Tight Error Analysis in Fixed-point Arithmetic. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-Hao Cai, Jing Sun 0002, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee |
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Coward, Lawrence C. Paulson, Theo Drane, Emiliano Morini |
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hichem Debbi |
A Debugging Game for Probabilistic Models. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács |
Algebra-Based Reasoning for Loop Synthesis. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Michaelson |
Review of Formal Methods: An Appetizer: By Flemming Nielson and Hanne Riis Nielson Springer, 2019, ISBN 978-3-030-05155-6, https: //link.springer.com/book/10.1007/978-3-030-05156-3, pp. 1-160. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif |
Verification of Crashsafe Caching in a Virtual File System Switch. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Wilhelm |
Principles of Abstract Interpretation: By Patrick Cousot MIT Press, 2021, ISBN 9780262044905, pp. 1-819. Reviewed by Reinhard Wilhelm. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol, Elena Troubitsyna |
Introduction to the Special Section on iFM 2020. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Marmsoler |
Review on Modelling and Verification of Secure Exams: By Rosario Giustolisi Springer, Cham, 2018, X, 133 pp, ISBN: 9783319671062 (Hardback, £89.99), ISBN: 9783030097899 (Paperback, £64.99), ISBN: 9783319671079 (eBook, £51.99). |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones, Martyn Thomas |
The Development and Deployment of Formal Methods in the UK. |
Formal Aspects Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong |
SDLV: Verification of Steering Angle Safety for Self-Driving Cars. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Marco Gario, David Jones, Cristian Mattarei |
Model-based Safety Assessment of a Triple Modular Generator with xSAP. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørnar Luteberget, Christian Johansen |
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi 0002, Paola Spoletini |
TOrPEDO: witnessing model correctness with topological proofs. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cabot, Heike Wehrheim, Eerke A. Boiten |
Editorial. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Wilhelm |
Foundations of programming languages. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Jin, Jie An 0001, Bohua Zhan, Naijun Zhan, Miaomiao Zhang |
Inferring Switched Nonlinear Dynamical Systems. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle McIver, Maurice H. ter Beek |
Editorial. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
Verifying correctness of persistent concurrent data structures: a sound and complete method. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet |
Modular verification of programs with effects and effects handlers. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky |
A refinement-based development of a distributed signalling system. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Blair Archibald, Géza Kulcsár, Michele Sevegnani |
A tale of two graph models: a case study in wireless sensor networks. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger |
Efficient data validation for geographical interlocking systems. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock 0001 |
Learning safe neural network controllers with barrier certificates. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu 0001, Xin Chen 0027, Xuandong Li |
Machine learning steered symbolic execution framework for complex software code. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide G. Cavezza, Dalal Alrajeh, András György 0001 |
A Weakness Measure for GR(1) Formulae. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang 0001, Lijun Zhang 0001 |
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan |
Enhancing Probabilistic Model Checking with Ontologies. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Loreti |
Semantics of the probabilistic Lambda Calculus By Dirk Draheim. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle |
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Amram, Shahar Maoz, Or Pistiner |
GR(1)*: GR(1) specifications extended with existential guarantees. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Signe Geisler, Anne Elisabeth Haxthausen |
Stepwise development and model checking of a distributed interlocking system using RAISE. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Flammini, Stefano Marrone 0001, Roberto Nardone, Valeria Vittorini |
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Bacci 0001, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier |
Optimal and robust controller synthesis using energy timed automata with uncertainty. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Esther Guerra |
Language Family Engineering with Product Lines of Multi-level Models. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhibin Yang, Yang Bao 0007, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu 0001 |
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Gleirscher, Radu Calinescu, Jim Woodcock 0001 |
RiskStructures: A design algebra for risk-aware machines. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder |
From generic partition refinement to weighted tree automata minimization. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci 0001, Maria Eichlseder, Kim G. Larsen |
L*-based learning of Markov decision processes (extended version). |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen |
Counterexample-guided inductive synthesis for probabilistic systems. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Rossi |
Modeling and analysis of communicating systems. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Weidmann, Anthony Anjorin |
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Hennicker, Alexander Knapp, Alexandre Madeira |
Hybrid dynamic logic institutions for event/data-based systems. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard Ekembe Ngondi |
Denotational semantics of channel mobility in UTP-CSP. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim H. Hesselink |
UNITY and Büchi automata. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoping Chen, Zhiming Liu 0001, Ji Wang, Jim Woodcock 0001 |
Editorial. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue |
Symbolic execution formally explained. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Foster 0001, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly |
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Kiam Tan, André Platzer |
An axiomatic approach to existence and liveness for differential equations. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock 0001 |
Editorial. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim |
Editorial. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wanling Xie, Huibiao Zhu, Qiwen Xu |
A process calculus BigrTiMo of mobile systems and its formal semantics. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik P. de Vink, Ana Cavalcanti 0001 |
Editorial. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò |
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandros Evangelidis, David Parker 0001 |
Quantitative verification of Kalman filters. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang 0001, Stanley Bak, Taylor T. Johnson |
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbo Zhang 0004, Xian Xu 0001, Qiang Yin 0002, Huan Long |
On the Interactive Power of Higher-order Processes Extended with Parameterization. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Cordy, Sami Lazreg, Mike Papadakis, Axel Legay |
Statistical model checking for variability-intensive systems: applications to bug detection and minimization. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Williams, Salaheddin Darwish, Steve Schneider, David R. Michael |
Legislation-driven development of a Gift Aid system using Event-B. |
Formal Aspects Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller 0001, Gethin Norman |
Collaborative models for autonomous systems controller synthesis. |
Formal Aspects Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Knapp, Markus Roggenbach |
André Platzer: Logical foundations of cyber-physical systems. |
Formal Aspects Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi 0001 |
PuRSUE -from specification of robotic environments to synthesis of controllers. |
Formal Aspects Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanhong Huang, Haiping Pang, Jianqi Shi |
Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP. |
Formal Aspects Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xilong Zhuo, Chenyi Zhang |
TFA: an efficient and precise virtual method call resolution for Java. |
Formal Aspects Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Waqar Ahmad, Osman Hasan, Sofiène Tahar |
Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. |
Formal Aspects Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi 0001 |
Using formal verification to evaluate the execution time of Spark applications. |
Formal Aspects Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1041 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license