The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ICTAC"( http://dblp.L3S.de/Venues/ICTAC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ictac

Publication years (Num. hits)
2004 (39) 2005 (42) 2006 (27) 2007 (33) 2008 (31) 2009 (25) 2010 (27) 2011 (18) 2012 (20) 2013 (26) 2014 (28) 2015 (37) 2016 (28) 2017 (18) 2018 (28) 2019 (23)
Publication types (Num. hits)
inproceedings(434) proceedings(16)
Venues (Conferences, Journals, ...)
ICTAC(450)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 142 occurrences of 118 keywords

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