Travelled to:1 × Canada
1 × Germany
1 × Israel
1 × Italy
1 × The Netherlands
1 × United Kingdom
2 × Austria
2 × Sweden
9 × USA
Collaborated with:S.Krishnamurthi D.J.Dougherty J.G.Politz H.C.Li ∅ D.S.Batory G.Marceau M.Greenberg D.Patterson D.Yoo E.Schanzer T.Giannakopoulos D.Yoo L.A.Meyerovich M.C.Tschantz C.Blundell P.V.Hentenryck T.Nelson S.Saghafi H.Q.l.Vallee J.M.Walsh W.Zimrin R.Fraer G.Kamhi M.Y.Vardi Z.Yang D.Clarke T.Clear M.Hauswirth V.Tirronen T.Wrigstad G.T.Leavens J.Abrial M.J.Butler A.Coglio E.C.R.Hehner C.B.Jones D.Miller S.L.P.Jones M.Sitaraman D.R.Smith A.Stump
Talks about:verif (5) languag (4) program (3) modular (3) verifi (3) system (3) review (3) peer (3) flow (3) base (3)
♀ Person: Kathi Fisler
DBLP: Fisler:Kathi
Facilitated 3 volumes:
PrCoPrCoPrCoContributed to:
20142014
2013
201320112011
2009
2008
2006
20062005
20042004200220022001
2001
2001
1997Wrote 20 papers:
- ITiCSE-2014-PolitzKF #framework #named #overview #platform #programming
- CaptainTeach: a platform for in-flow peer review of programming assignments (JGP, SK, KF), p. 332.
- ITiCSE-2014-PolitzPKF #bibliography #multi #named #programming
- CaptainTeach: multi-stage, in-flow peer review for programming assignments (JGP, DP, SK, KF), pp. 267–272.
- ITiCSE-WGR-2014-ClarkeCFHKPTW #bibliography #perspective
- In-Flow Peer Review (DC, TC, KF, MH, SK, JGP, VT, TW), pp. 59–79.
- ICSE-2013-NelsonSDFK #named
- Aluminum: principled scenario exploration through minimality (TN, SS, DJD, KF, SK), pp. 232–241.
- Onward-2013-ValleeWZFK #modelling #problem #reasoning #security
- Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems (HQdlV, JMW, WZ, KF, SK), pp. 1–16.
- ITiCSE-2011-YooSKF #named #programming
- WeScheme: the browser is your programming environment (DY, ES, SK, KF), pp. 163–167.
- Onward-2011-MarceauFK #error message #fault #interactive
- Mind your language: on novices’ interactions with error messages (GM, KF, SK), pp. 3–18.
- FM-2009-GiannakopoulosDFK #alloy #semantics #towards
- Towards an Operational Semantics for Alloy (TG, DJD, KF, SK), pp. 483–498.
- FSE-2008-KrishnamurthiFDY #alloy #implementation #named #specification
- Alchemy: transmuting base alloy specifications into implementations (SK, KF, DJD, DY), pp. 158–169.
- GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
- Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
- IJCAR-2006-DoughertyFK #policy #reasoning #specification
- Specifying and Reasoning About Dynamic Access-Control Policies (DJD, KF, SK), pp. 632–646.
- ICSE-2005-FislerKMT #impact analysis #policy #verification
- Verification and change-impact analysis of access-control policies (KF, SK, LAM, MCT), pp. 196–205.
- ASE-2004-BlundellFKH #interface #product line #verification
- Parameterized Interfaces for Open System Verification of Product Lines (CB, KF, SK, PVH), pp. 258–267.
- FSE-2004-KrishnamurthiFG #verification
- Verifying aspect advice modularly (SK, KF, MG), pp. 137–146.
- ASE-2002-LiKF #composition #interface #verification
- Interfaces for Modular Feature Verification (HCL, SK, KF), pp. 195–204.
- FSE-2002-LiKF #verification
- Verifying cross-cutting features as open systems (HCL, SK, KF), pp. 89–98.
- CBSE-2001-FislerKB #collaboration #component #design #verification
- Verifying Component-Based Collaboration Designs (KF, SK, DSB), p. 17.
- ESEC-FSE-2001-FislerK #composition #design #verification
- Modular verification of collaboration-based software designs (KF, SK), pp. 152–163.
- TACAS-2001-FislerFVY #algorithm #detection #question
- Is There a Best Symbolic Cycle-Detection Algorithm? (KF, RF, GK, MYV, ZY), pp. 420–434.
- CAV-1997-Fisler #decidability #diagrams #regular expression
- Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable (KF), pp. 155–166.