No Image
Hardware/Software Co-verification Using Path-based Symbolic Execution
📝 Original Info Title: Hardware/Software Co-verification Using Path-based Symbolic Execution ArXiv ID: 2001.01324 Date: 2020-01-07 Authors: …
Computer Science / Formal Languages
All posts under category "Computer Science / Formal Languages"
10 posts total
Sorted by date
No Image
Incremental Monoidal Grammars
📝 Original Info Title: Incremental Monoidal Grammars ArXiv ID: 2001.02296 Date: 2020-01-13 Authors: Dan Shiebler, Alexis Toumi, Mehrnoosh …
No Image
Reconstructing Words from Right-Bounded-Block Words
📝 Original Info Title: Reconstructing Words from Right-Bounded-Block Words ArXiv ID: 2001.11218 Date: 2020-03-17 Authors: Pamela …
No Image
A Parametric Framework for Reversible Pi-Calculi
📝 Original Info Title: A Parametric Framework for Reversible Pi-Calculi ArXiv ID: 1808.08655 Date: 2018-08-28 Authors: Doriana Medic, …
No Image
Automatic Generation of Optimal Reductions of Distributions
📝 Original Info Title: Automatic Generation of Optimal Reductions of Distributions ArXiv ID: 1803.11034 Date: 2018-03-30 Authors: Liyong …
No Image
Static Program Analysis for String Manipulation Languages
📝 Original Info Title: Static Program Analysis for String Manipulation Languages ArXiv ID: 1808.07827 Date: 2019-08-21 Authors: Vincenzo …
No Image
Average-based Robustness for Continuous-Time Signal Temporal Logic
📝 Original Info Title: Average-based Robustness for Continuous-Time Signal Temporal Logic ArXiv ID: 1909.00898 Date: 2019-09-04 Authors: …
No Image
Guided Grammar Convergence
📝 Original Info Title: Guided Grammar Convergence ArXiv ID: 1503.08476 Date: 2015-03-31 Authors: Vadim Zaytsev 📝 Abstract Relating formal …
TarTar: A Timed Automata Repair Tool
📝 Original Info Title: TarTar: A Timed Automata Repair Tool ArXiv ID: 2002.02760 Date: 2020-05-13 Authors: Martin Koelbl (1) and Stefan Leue …
VC-dimensions of nondeterministic finite automata for words of equal length
📝 Original Info Title: VC-dimensions of nondeterministic finite automata for words of equal length ArXiv ID: 2001.02309 Date: 2021-08-06 …
< Category Statistics (Total: 1223) >
Astrophysics
2
Computer Science
720
Condensed Matter
3
Economics
35
Electrical Engineering and Systems Science
56
General
423
MATH-PH
1
Mathematics
51
Nonlinear Sciences
3
Physics
15
Quantitative Biology
4
Quantitative Finance
23
Quantum Physics
5
Statistics
46