BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Italy
1 × Norway
1 × Singapore
1 × Spain
1 × USA
1 × United Kingdom
2 × Germany
Collaborated with:
R.Goré R.Clouston Z.Hou H.Gunadi ∅ D.L.Li X.Du Y.Liu F.Baader A.Bauer J.E.Dawson T.Lyon D.Baelde A.Gacek D.Miller G.Nadathur Y.Li B.C.0001 M.Chandramohan S.Lin Y.L.0003
Talks about:
logic (7) sequent (3) intuitionist (2) theorem (2) syntact (2) monitor (2) system (2) runtim (2) polici (2) verif (2)

Person: Alwen Tiu

DBLP DBLP: Tiu:Alwen

Contributed to:

CADE 20152015
FM 20152015
FM 20142014
POPL 20142014
CSL 20132013
IJCAR 20122012
LATA 20092009
RTA 20092009
CADE 20072007
ESEC/FSE 20172017
CADE 20192019
CSL 20202020

Wrote 12 papers:

CADE-2015-HouGT #automation #logic #proving #theorem proving
Automated Theorem Proving for Assertions in Separation Logic with All Connectives (ZH, RG, AT), pp. 501–516.
FM-2015-DuLT #independence #ltl #monitoring #policy #runtime
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL (XD, YL, AT), pp. 231–247.
FM-2014-GunadiT #android #case study #logic #metric #monitoring #operating system #performance #runtime
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.
POPL-2014-HouCGT #logic #proving
Proof search for propositional abstract separation logics via labelled sequents (ZH, RC, RG, AT), pp. 465–476.
CSL-2013-CloustonDGT #calculus #linear #logic
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic (RC, JED, RG, AT), pp. 197–214.
IJCAR-2012-Tiu #logic
Stratification in Logics of Definitions (AT), pp. 544–558.
LATA-2009-BaaderBT #policy
Matching Trace Patterns with Regular Policies (FB, AB, AT), pp. 105–116.
RTA-2009-TiuG #analysis #proving
A Proof Theoretic Analysis of Intruder Theories (AT, RG), pp. 103–117.
CADE-2007-BaeldeGMNT #model checking
The Bedwyr System for Model Checking over Syntactic Expressions (DB, AG, DM, GN, AT), pp. 391–397.
ESEC-FSE-2017-LiCCLLT #fuzzing #named
Steelix: program-state based binary fuzzing (YL, BC0, MC, SWL, YL0, AT), pp. 627–637.
CADE-2019-LiT #automation #protocol #proving #security #theorem proving #verification
Combining ProVerif and Automated Theorem Provers for Security Protocol Verification (DLL, AT), pp. 354–365.
CSL-2020-LyonTGC #logic
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents (TL, AT, RG, RC), p. 16.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.