Следене
Alwen Tiu
Alwen Tiu
School of Computing, The Australian National University
Потвърден имейл адрес: anu.edu.au - Начална страница
Заглавие
Позовавания
Позовавания
Година
Steelix: program-state based binary fuzzing
Y Li, B Chen, M Chandramohan, SW Lin, Y Liu, A Tiu
Proceedings of the 2017 11th joint meeting on foundations of software …, 2017
3712017
A proof theory for generic judgments
D Miller, A Tiu
ACM Transactions on Computational Logic (TOCL) 6 (4), 749-783, 2005
241*2005
A local system for classical logic
K Brünnler, AF Tiu
International Conference on Logic for Programming Artificial Intelligence …, 2001
1882001
Expressiveness+ automation+ soundness: Towards combining SMT solvers and interactive proof assistants
P Fontaine, JY Marion, S Merz, L Nieto, A Tiu
Tools and Algorithms for the Construction and Analysis of Systems, 167-181, 2006
1232006
Abella: A system for reasoning about relational specifications
D Baelde, K Chaudhuri, A Gacek, D Miller, G Nadathur, A Tiu, Y Wang
Journal of formalized reasoning 7 (2), 1-89, 2014
1192014
Automating open bisimulation checking for the spi calculus
A Tiu, J Dawson
2010 23rd IEEE Computer Security Foundations Symposium, 307-321, 2010
1032010
The Bedwyr system for model checking over syntactic expressions
D Baelde, A Gacek, D Miller, G Nadathur, A Tiu
Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007
932007
A logical framework for reasoning about logical specifications
AF Tiu
The Pennsylvania State University, 2004
822004
A system of interaction and structure II: The need for deep inference
A Tiu
Logical Methods in Computer Science 2, 2006
812006
Induction and co-induction in sequent calculus
A Momigliano, A Tiu
International Workshop on Types for Proofs and Programs, 293-308, 2003
662003
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.
R Goré, L Postniece, A Tiu
Advances in Modal Logic 7, 43-66, 2008
652008
On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics
R Goré, L Postniece, AF Tiu
Logical Methods in Computer Science 7, 2011
612011
A local system for intuitionistic logic
A Tiu
Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006
56*2006
Proof search specifications of bisimulation and modal logics for the π-calculus
A Tiu, D Miller
ACM Transactions on Computational Logic (TOCL) 11 (2), 1-35, 2010
522010
A Proof Search Specification of the [pi]-Calculus
A Tiu, D Miller
Electronic Notes in Theoretical Computer Science 138 (1), 79-101, 2005
512005
Model checking for π-calculus using proof search
A Tiu
CONCUR 2005–Concurrency Theory, 36-50, 2005
492005
A logic for reasoning about generic judgments
A Tiu
Electronic Notes in Theoretical Computer Science 174 (5), 3-18, 2007
432007
Efficient runtime monitoring with metric temporal logic: A case study in the android operating system
H Gunadi, A Tiu
International Symposium on Formal Methods, 296-311, 2014
412014
Semantics for specialising attack trees based on linear logic
R Horne, S Mauw, A Tiu
Fundamenta Informaticae 153 (1-2), 57-86, 2017
392017
Cut Elimination for a Logic with Induction and Co-induction
A Tiu, A Momigliano
Journal of Applied Logic 10 (4), 330 - 367, 2012
372012
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20