|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 44 occurrences of 39 keywords
|
|
|
|
|
Results
Found 689 publication records. Showing 689 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
pymwp: A Static Analyzer Determining Polynomial Growth Bounds.  |
ATVA  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
Checking and Sketching Causes on Temporal Sequences. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Florian Kohn, Malte Schledjewski |
Leveraging Static Analysis: An IDE for RTLola. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider |
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenny Ballou, Elena Sherman |
Minimally Comparing Relational Abstract Domains. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Lutz, Daniel Neider, Rajarshi Roy 0002 |
Specification Sketching for Linear Temporal Logic. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Rappoport, Orna Grumberg, Yakir Vizel |
Structure-Guided Solution of Constrained Horn Clauses. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zitong Zhou, Zixin Huang, Sasa Misailovic |
AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun 0001 |
On the Difficulty of Intersection Checking with Polynomial Zonotopes. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang 0044 |
Lightweight Verification of Hyperproperties. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffan Christ Sølvsten, Jaco van de Pol |
Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Akshatha Shenoy 0001, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas |
Automated Property Directed Self Composition. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan 0001, Sayan Mitra |
RTAEval: A Framework for Evaluating Runtime Assurance Logic. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Thanos, Tim Coopmans, Alfons Laarman |
Fast Equivalence Checking of Quantum Circuits of Clifford Gates. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen |
Better Predicates and Heuristics for Improved Commutativity Synthesis. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Morgan McColl, Callum McColl, René Hexel |
Automatic Verification of High-Level Executable Models Running on FPGAs. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov |
AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson 0001, Magnus Lång, Konstantinos Sagonas |
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. |
ATVA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sören Tempel, Vladimir Herdt, Rolf Drechsler |
SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Sagi Saadon |
Learning and Characterizing Fully-Ordered Lattice Automata. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem |
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Meggendorfer |
PET - A Partial Exploration Tool for Probabilistic Verification. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Huang 0015, Jiameng Fan, Xin Chen 0002, Wenchao Li 0001, Qi Zhu 0002 |
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger 0001, Julian Siber |
Temporal Causality in Reactive Systems. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |
Verification of SMT Systems with Quantifiers. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Julius Adelt, Daniel Brettschneider, Paula Herber |
Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani |
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
Learning Monitorable Operational Design Domains for Assured Autonomy. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty |
Checking Scheduling-Induced Violations of Control Safety Properties. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma 0001 |
Fence Synthesis Under the C11 Memory Model. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matan Ostrovsky, Clark W. Barrett, Guy Katz |
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak |
An Impossibility Result in Automata-Theoretic Reinforcement Learning. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An 0001, Bohua Zhan, Naijun Zhan |
Learning Deterministic One-Clock Timed Automata via Mutation Testing. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré |
Repairing Real-Time Requirements. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiong Yang 0002, Supratik Chakraborty, Kuldeep S. Meel |
Projected Model Counting: Beyond Independent Support. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger |
Optimistic and Topological Value Iteration for Simple Stochastic Games. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo |
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gjøl Jensen, Stefan Schmid 0001, Morten Konggaard Schou, Jirí Srba |
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao |
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Lukás Holík, Zhilin Wu (eds.) |
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak |
Alternating Good-for-MDPs Automata. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Miriam García Soto, Thomas A. Henzinger, Christian Schilling 0001 |
Synthesis of Parametric Hybrid Automata from Time Series. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Kallwies, Martin Leucker, César Sánchez 0001 |
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi 0001 |
Optimal Repair for Omega-Regular Properties. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bader Abu Radi, Orna Kupferman |
Minimization of Automata for Liveness Languages. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Runqing Xu, Jie An 0001, Bohua Zhan |
Active Learning of One-Clock Timed Automata Using Constraint Solving. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo |
Runtime Enforcement of Hyperproperties. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vedad Hadzic, Robert Primas, Roderick Bloem |
Proving SIFA Protection of Masked Redundant Circuits. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Lavee, Salomon Sickert |
Certifying DFA Bounds for Recognition and Separation. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Enrico Magnago |
Automatic Discovery of Fair Paths in Infinite-State Transition Systems. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Florian Funke 0002, Simon Jantsch, Jakob Piribauer, Robin Ziemek |
Probabilistic Causes in Markov Chains. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Event-B Refinement for Continuous Behaviours Approximation. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Stevens, Tobias Nipkow |
A Verified Decision Procedure for Orders in Isabelle/HOL. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Noemi Passing |
Compositional Synthesis of Modular Systems. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Guidotti, Luca Pulina, Armando Tacchella |
pyNeVer: A Framework for Learning and Verification of Neural Networks. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
Incorporating Monitors in Reactive Synthesis Without Paying the Price. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001, Karlheinz Friedberger, Stephan Holzner |
PJBDD: A BDD Library for Java and Multi-Threading. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Brae J. Webb, Mark Utting, Ian J. Hayes |
A Formal Semantics of the GraalVM Intermediate Representation. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zixin Huang, Saikat Dutta 0001, Sasa Misailovic |
AQUA: Automated Quantized Inference for Probabilistic Programs. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Hou, Vijay Ganesh (eds.) |
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Khmelnitsky, Daniel Neider, Rajarshi Roy 0002, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem |
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy 0002, Ufuk Topcu, Zhe Xu 0005 |
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz |
Determinization and Limit-Determinization of Emerson-Lei Automata. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi |
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik |
Verification by Gambling on Program Slices. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler |
AALpy: An Active Automata Learning Library. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gjøl Jensen, Stefan Schmid 0001, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn |
Faster Pushdown Reachability Analysis with Applications in Network Verification. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas M. Tabajara, Moshe Y. Vardi |
Linear Temporal Logic - From Infinite to Finite Horizon. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel |
Verifying Verified Code. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Felix Klein 0001, Niklas Metzger 0001 |
Live Synthesis. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | A. R. Balasubramanian, Javier Esparza, Marijana Lazic |
Complexity of Verification and Synthesis of Threshold Automata. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
Verification of Indefinite-Horizon POMDPs. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Goyal 0002, Parasara Sridhar Duggirala |
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu |
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Herdt, Daniel Große, Rolf Drechsler |
RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
Probabilistic Hyperproperties of Markov Decision Processes. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Li 0031, Andrea Turrini, Xuechao Sun, Lijun Zhang 0001 |
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Jantsch, Florian Funke 0002, Christel Baier |
Minimal Witnesses for Probabilistic Timed Automata. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Gross, Nils Jansen 0001, Guillermo A. Pérez 0001, Stephan Raaijmakers |
Robustness Verification for Classifier Ensembles. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr |
DeepAbstract: Neural Network Abstraction for Accelerating Verification. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilina Stoilkovska, Igor Konnov 0001, Josef Widder, Florian Zuleger |
Eliminating Message Counters in Threshold Automata. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Faran, Orna Kupferman |
On (I/O)-Aware Good-For-Games Automata. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Raszyk, David A. Basin, Dmitriy Traytel |
Multi-head Monitoring of Metric Dynamic Logic. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dang Van Hung, Oleg Sokolsky (eds.) |
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejan Nickovic, Tomoya Yamaguchi 0001 |
RTAMT: Online Robustness Monitors from STL. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet |
Practical "Paritizing" of Emerson-Lei Automata. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak |
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Amjad Ibrahim, Alexander Pretschner |
From Checking to Inference: Actual Causality Computations as Optimization Problems. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Lång, Konstantinos Sagonas |
Parallel Graph-Based Stateless Model Checking. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi |
Boosting Sequential Consistency Checking Using Saturation. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuval Jacoby, Clark W. Barrett, Guy Katz |
Verifying Recurrent Neural Networks Using Invariant Inference. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahmoud Elfar, Yu Wang 0044, Miroslav Pajic |
Context-Aware Temporal Logic for Probabilistic Systems. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna |
Robust Controller Synthesis for Duration Calculus. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba |
Urgent Partial Order Reduction for Extended Timed Automata. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Chalupa |
DG: Analysis and Slicing of LLVM Bitcode. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Baumeister, Bernd Finkbeiner, Hazem Torfah |
Explainable Reactive Synthesis. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer |
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog |
Model Checking Branching Properties on Petri Nets with Transits. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck |
Verified Textbook Algorithms - A Biased Survey. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 689 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license