Følg
George Avrunin
George Avrunin
Professor Emeritus of Mathematics and Statistics
Bekræftet mail på math.umass.edu - Startside
Titel
Citeret af
Citeret af
År
Patterns in property specifications for finite-state verification
MB Dwyer, GS Avrunin, JC Corbett
Proceedings of the 21st international conference on Software engineering …, 1999
19691999
Property specification patterns for finite-state verification
MB Dwyer, GS Avrunin, JC Corbett
Proceedings of the second workshop on Formal methods in software practice, 7-15, 1998
6791998
Single-peaked functions and the theory of preference.
CH Coombs, GS Avrunin
Psychological review 84 (2), 216, 1977
4871977
Propel: an approach supporting property elucidation
RL Smith, GS Avrunin, LA Clarke, LJ Osterweil
Proceedings of the 24th International Conference on Software Engineering, 11-21, 2002
2222002
The structure of conflict
CH Coombs, GS Avrunin
Psychology Press, 2013
1812013
An efficient algorithm for computing MHP information for concurrent Java programs
G Naumovich, GS Avrunin, LA Clarke
Software Engineering—ESEC/FSE’99, 338-354, 1999
1471999
Quillen stratification for modules
GS Avrunin, LL Scott
Inventiones mathematicae 66 (2), 277-286, 1982
1471982
Automated analysis of concurrent systems with the constrained expression toolset
GS Avrunin, UA Buy, JC Corbett, LK Dillon, JC Wileden
IEEE Transactions on Software Engineering 17 (11), 1204-1222, 1991
1441991
A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel
G Naumovich, GS Avrunin
ACM SIGSOFT Software Engineering Notes 23 (6), 24-34, 1998
1301998
Applying static analysis to software architectures
G Naumovich, GS Avrunin, LA Clarke, LJ Osterweil
Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly …, 1997
1061997
Combining symbolic execution with model checking to verify parallel numerical programs
SF Siegel, A Mironova, GS Avrunin, LA Clarke
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 1-34, 2008
1012008
Data flow analysis for checking properties of concurrent Java programs
G Naumovich, GS Avrunin, LA Clarke
Proceedings of the 1999 International Conference on Software Engineering …, 1999
921999
Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems
GS Avrunin, LK Dillon, JC Wileden, WE Riddle
IEEE Transactions on Software Engineering, 278-292, 1986
901986
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
JM Cobleigh, GS Avrunin, LA Clarke
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 1-52, 2008
892008
Using integer programming to verify general safety and liveness properties
JC Corbett, GS Avrunin
Formal Methods in System Design 6 (1), 97-123, 1995
881995
User guidance for creating precise and accessible property specifications
RL Cobleigh, GS Avrunin, LA Clarke
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006
862006
Using model checking with symbolic execution to verify parallel numerical programs
SF Siegel, A Mironova, GS Avrunin, LA Clarke
Proceedings of the 2006 international symposium on Software testing and …, 2006
852006
Increasing patient safety and efficiency in transfusion therapy using formal process definitions
EA Henneman, GS Avrunin, LA Clarke, LJ Osterweil, C Andrzejewski Jr, ...
Transfusion Medicine Reviews 21 (1), 49-57, 2007
702007
Analyzing medical processes
B Chen, GS Avrunin, EA Henneman, LA Clarke, LJ Osterweil, ...
Engineering of Software, 399-417, 2011
672011
Insider threat identification by process analysis
M Bishop, HM Conboy, H Phan, BI Simidchieva, GS Avrunin, LA Clarke, ...
2014 IEEE Security and Privacy Workshops, 251-264, 2014
662014
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20