Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni |
Completeness of Abstract Domains for String Analysis of JavaScript Programs. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Gorla, Federica Granese, Catuscia Palamidessi |
Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Seyed Hossein Haeri, Paul Keir |
Solving the Expression Problem in C++, á la LMS. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Blahoudek, Juraj Major, Jan Strejcek |
LTL to Smaller Self-Loop Alternating Automata and Back. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata |
Optimal Run Problem for Weighted Register Automata. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Verification of Multi-agent Systems with Timeouts for Migration and Communication. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay, Karin Quaas |
Computing Branching Distances Using Quantitative Games. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Härmel Nestra |
Laws of Monadic Error Handling. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Thirioux, Alexis Maffart |
Taylor Series Revisited. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fateh Latreche, Abdelkader Moudjari, Hichem Talbi |
Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Méry |
Verification by Construction of Distributed Algorithms. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Jawher Jerray, Sahar Mhiri |
Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Kenny Zhuo Ming Lu |
Solving of Regular Equations Revisited. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoying Mou, Haiming Chen, Yeting Li |
Context-Free Grammars for Deterministic Regular Expressions with Interleaving. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Samir Ouchani |
Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Moez Krichen |
Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jafar Hamin |
Starvation-Free Monitors. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Huu-Vu Nguyen, Tayssir Touili |
BCARET Model Checking for Malware Detection. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arpit Sharma 0002 |
The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Härmel Nestra |
Double Applicative Functors. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Janin |
Spatio-Temporal Domains: An Overview. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Jonás, Jan Strejcek |
Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail N. Rybakov, Dmitry Shkatov |
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito |
Checking Modal Contracts for Virtually Timed Ambients. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Henriette Harmse, Katarina Britz, Aurona Gerber |
Generating Armstrong ABoxes for ALC ALC TBoxes. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Töws, Heike Wehrheim |
Information Flow Certificates. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Henrich Lauko, Petr Rockai, Jiri Barnat |
Symbolic Computation via Program Transformation. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yves Bertot |
Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Umeo, Naoki Kamikawa, Gen Fujita |
The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
Complexity Results on Register Context-Free Grammars and Register Tree Automata. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh 0002 |
Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wilmer Ricciotti, James Cheney |
Explicit Auditing. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Apiwat Chantawibul, Pawel Sobocinski 0001 |
Monoidal Multiplexing. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte, Simone Tini |
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Fischer 0002, Tarmo Uustalu (eds.) |
Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Raúl E. Monti |
Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Peter Thiemann 0001 |
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Dahlqvist, Louis Parlant, Alexandra Silva 0001 |
Layer by Layer - Combining Monads. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Éric Badouel, Rodrigue Aimé Djeumen Djatcha |
Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli |
Proof Nets and the Linear Substitution Calculus. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Venhoek, Joshua Moerman, Jurriaan Rot |
Fast Computations on Ordered Nominal Sets. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Siyang Xiao, Hanru Jiang, Hongjin Liang 0001, Xinyu Feng 0001 |
Non-preemptive Semantics for Data-Race-Free Programs. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva 0001 |
Convex Language Semantics for Nondeterministic Probabilistic Automata. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Berglund, Willem Bester, Brink van der Merwe |
Formalising Boost POSIX Regular Expression Matching. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder |
A Metalanguage for Guarded Iteration. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bertram Felgenhauer, Franziska Rapp |
Layer Systems for Confluence - Formalized. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Berglund, Ina Schaefer |
An Automata-Based View on Configurability and Uncertainty. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001, Kazuhiro Ogata 0001 |
A Formal Proof Generator from Semi-formal Proof Documents. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu, Niccolò Veltri |
The Delay Monad and Restriction Categories. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Alexandre Madeira |
Institutions for Behavioural Dynamic Logic with Binders. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Akim Demaille, Thibaud Michaud |
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abhisek Midya, D. Gnanaraj Thomas, Saleem Malik, Alok Kumar Pani |
Polynomial Time Learner for Inferring Subclasses of Internal Contextual Grammars with Local Maximum Selectors. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro |
A Probabilistic Semantics for the Pure \lambda -Calculus. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Agathoklis Kritsimallis |
Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dang Van Hung, Deepak Kapur (eds.) |
Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yuqin Xu, Shangli Zhao, Lanju Kong, Yongqing Zheng, Shidong Zhang, Qingzhong Li |
ECBC: A High Performance Educational Certificate Blockchain with Efficient Query. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Divyanshu Bagga, S. Arun-Kumar 0004 |
Logical Characterisation of Parameterised Bisimulations. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Quoc Huy Do 0002, Richard Bubel, Reiner Hähnle |
Inferring Secrets by Guided Experiments. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler |
Class-Diagrams for Abstract Data Types. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arpit Sharma 0002 |
Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bertram Felgenhauer, Aart Middeldorp |
Constructing Cycles in the Simplex Method for DPLL(T). |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba |
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Diego Marmsoler |
Towards a Calculus for Dynamic Architectures. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Umeo, Keisuke Kubo, Akira Nomura |
Smaller-State Implementations of 2D FSSP Algorithms - Recent Developments. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen König, Heike Wehrheim |
Value-Based or Conflict-Based? Opacity Definitions for STMs. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann |
Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Cauderlier, Catherine Dubois |
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi |
Towards MC/DC Coverage of Properties Specification Patterns. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
Ensuring Correctness of Model Transformations While Remaining Decidable. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Diego Marmsoler, Mario Gleirscher |
Specifying Properties of Dynamic Architectures Using Configuration Traces. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Travkin, Heike Wehrheim |
Verification of Concurrent Programs on Weak Memory Models. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Allyx Fontaine, Akka Zemmari |
Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Jim Woodcock 0001, Nuno Amálio |
Behavioural Models for FMI Co-simulations. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny |
Synthesis of Petri Nets with Whole-Place Operations and Localities. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
Schedulers and Finishers: On Generating the Behaviours of an Event Structure. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hsu-Chun Yen |
Petri Nets and Semilinear Sets (Extended Abstract). |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steven Obua, Phil Scott, Jacques D. Fleuriot |
ProofScript: Proof Scripting for the Masses. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang |
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André |
Parametric Deadlock-Freeness Checking Timed Automata. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Flávio L. C. de Moura |
Unification for \lambda -calculi Without Propagation Rules. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov |
Weighted Register Automata and Weighted Logic on Data Words. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia |
Deriving Inverse Operators for Modal Logic. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hilscher, Maike Schwammberger |
An Abstract Model for Proving Safety of Autonomous Urban Traffic. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Renato Neves, Luís Soares Barbosa |
Hybrid Automata as Coalgebras. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Akim Demaille |
Derived-Term Automata for Extended Weighted Rational Expressions. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Nazier Mosaad, Martin Fränzle, Bai Xue 0001 |
Temporal Logic Verification for Delay Differential Equations. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li |
Termination of Single-Path Polynomial Loop Programs. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins 0001 |
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simon Foster 0001, Frank Zeyda, Jim Woodcock 0001 |
Unifying Heterogeneous State-Spaces with Lenses. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Given-Wilson, Axel Legay |
On the Expressiveness of Symmetric Communication. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. F. Benevides, Bruno Lopes 0001, Edward Hermann Haeusler |
Propositional Dynamic Logic for Petri Nets with Iteration. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Halmagrand |
Soundly Proving B Method Formulæ Using Typed Sequent Calculus. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Augusto Sampaio, Farn Wang (eds.) |
Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David S. Karcher, Uwe Nestmann |
Higher-Order Dynamics in Event Structures. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten |
Newton Series, Coinductively. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Glynn Winskel |
On Probabilistic Distributed Strategies. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Davide Sangiorgi |
The Proof Technique of Unique Solutions of Contractions. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sophia Knight, Bastien Maubert, François Schwarzentruber |
Asynchronous Announcements in a Public Channel. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Wen-ling Huang, Jan Peleska 0001, Jim Woodcock 0001 |
CSP and Kripke Structures. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amin Timany, Bart Jacobs 0002 |
First Steps Towards Cumulative Inductive Types in CIC. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|