Travelled to:1 × Canada
1 × China
1 × Denmark
1 × France
1 × Germany
1 × Sweden
1 × Switzerland
1 × United Kingdom
14 × USA
Collaborated with:L.A.Clarke J.C.Corbett G.Naumovich S.F.Siegel J.Tan L.K.Dillon L.J.Osterweil U.A.Buy J.C.Wileden ∅ B.Chen S.Wang R.L.Cobleigh J.M.Cobleigh M.B.Dwyer A.Mironova R.L.Smith D.Wang J.Pan S.Zilberstein S.Leue E.A.Henneman P.L.Henneman
Talks about:analysi (6) program (5) concurr (5) system (5) properti (4) model (4) process (3) verif (3) check (3) time (3)
Person: George S. Avrunin
DBLP: Avrunin:George_S=
Contributed to:
2010
2008
2006
20062006
2006
20052004200420022000
199919991998
19971997
199619941993199119911989Wrote 24 papers:
- SEKE-2010-WangPACC #analysis #automation #process
- An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language (DW, JP, GSA, LAC, BC), pp. 765–770.
- ICSE-2008-ChenAHCOH #process
- Analyzing medical processes (BC, GSA, EAH, LAC, LJO, PLH), pp. 623–632.
- CBSE-2006-WangAC #architecture #design
- Architectural Building Blocks for Plug-and-Play System Design (SW, GSA, LAC), pp. 98–113.
- FSE-2006-CobleighAC #precise #specification
- User guidance for creating precise and accessible property specifications (RLC, GSA, LAC), pp. 208–218.
- ICSE-2006-TanAC #finite #verification
- Managing space for finite-state verification (JT, GSA, LAC), pp. 152–161.
- ISSTA-2006-CobleighAC #composition #reasoning
- Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.
- ISSTA-2006-SiegelMAC #execution #model checking #parallel #source code #symbolic computation #using #verification
- Using model checking with symbolic execution to verify parallel numerical programs (SFS, AM, GSA, LAC), pp. 157–168.
- PPoPP-2005-SiegelA #modelling #source code #verification
- Modeling wildcard-free MPI programs for verification (SFS, GSA), pp. 95–106.
- FSE-2004-TanACZL
- Heuristic-guided counterexample search in FLAVERS (JT, GSA, LAC, SZ, SL), pp. 201–210.
- ICSE-2004-TanAC #heuristic #refinement
- Heuristic-Based Model Refinement for FLAVERS (JT, GSA, LAC), pp. 635–644.
- ICSE-2002-SmithACO #approach #named
- PROPEL: an approach supporting property elucidation (RLS, GSA, LAC, LJO), pp. 11–21.
- ISSTA-2000-SiegelA #precise
- Improving the precision of INCA by preventing spurious cycles (SFS, GSA), pp. 191–200.
- ESEC-FSE-1999-NaumovichAC #algorithm #concurrent #java #performance #source code
- An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs (GN, GSA, LAC), pp. 338–354.
- ICSE-1999-DwyerAC #finite #specification #verification
- Patterns in Property Specifications for Finite-State Verification (MBD, GSA, JCC), pp. 411–420.
- ICSE-1999-NaumovichAC #analysis #concurrent #data flow #java #source code
- Data Flow Analysis for Checking Properties of Concurrent Java Programs (GN, GSA, LAC), pp. 399–410.
- FSE-1998-NaumovichA #algorithm #data flow #detection #parallel
- A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel (GN, GSA), pp. 24–34.
- ESEC-FSE-1997-NaumovichACO #architecture #static analysis
- Applying Static Analysis to Software Architectures (GN, GSA, LAC, LJO), pp. 77–93.
- ICSE-1997-AvruninCD #realtime
- Analyzing Partially-Implemented Real-Time Systems (GSA, JCC, LKD), pp. 228–238.
- CAV-1996-Avrunin #algebra #geometry #model checking #using
- Symbolic Model Checking Using Algebraic Geometry (GSA), pp. 26–37.
- FSE-1994-CorbettA #analysis #composition #scalability #towards
- Towards Scalable Compositional Analysis (JCC, GSA), pp. 53–61.
- ISSTA-1993-CorbettA #bound #concurrent #realtime
- A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems (JCC, GSA), pp. 110–116.
- CAV-1991-AvruninBC #analysis #concurrent #integer #programming
- Integer Programming in the Analysis of Concurrent Systems (GSA, UAB, JCC), pp. 92–102.
- TAV-1991-AvruninBCDW #tool support
- Experiments with an Improved Constrained Expression Toolset (GSA, UAB, JCC, LKD, JCW), pp. 178–187.
- TAV-1989-AvruninWD #analysis #automation #concurrent
- Experiments in Automated Analysis of Concurrent Software Systems (GSA, JCW, LKD), pp. 124–130.