-
1
-
-
29244483736
-
On the systematic analysis of natural language requirements with circe
-
V. Ambriola and V. Gervasi. On the systematic analysis of natural language requirements with circe. Automated Software Eng., 13(1):107-167, 2006.
-
(2006)
Automated Software Eng
, vol.13
, Issue.1
, pp. 107-167
-
-
Ambriola, V.1
Gervasi, V.2
-
2
-
-
57349083369
-
Complex medical processes as context for embedded systems
-
G. S. Avrunin, L. A. Clarke, E. A. Henneman, and L. J. Osterweil. Complex medical processes as context for embedded systems. ACM SIGBED Rev., 3(4):9-14, 2006.
-
(2006)
ACM SIGBED Rev
, vol.3
, Issue.4
, pp. 9-14
-
-
Avrunin, G.S.1
Clarke, L.A.2
Henneman, E.A.3
Osterweil, L.J.4
-
3
-
-
84896692839
-
Benchmarking finite-state verifiers
-
G. S. Avrunin, J. C. Corbett, and M. B. Dwyer. Benchmarking finite-state verifiers. Software Tools far-Technology Transfer, 2(4):317-320, 2000.
-
(2000)
Software Tools far-Technology Transfer
, vol.2
, Issue.4
, pp. 317-320
-
-
Avrunin, G.S.1
Corbett, J.C.2
Dwyer, M.B.3
-
4
-
-
55049132505
-
Formal system development with kiv
-
T. Maibaum, editor, Fundamental Approaches to Software Engineering, of
-
M. Balser, W. Reif, G. Schellhorn, K. Stenzel, and A. Thums. Formal system development with kiv. In T. Maibaum, editor, Fundamental Approaches to Software Engineering, volume 1783 of LNCS, pages 363-366, 2000.
-
(2000)
LNCS
, vol.1783
, pp. 363-366
-
-
Balser, M.1
Reif, W.2
Schellhorn, G.3
Stenzel, K.4
Thums, A.5
-
5
-
-
0027887160
-
Software process model evolution in the SPADE environment
-
December
-
S. C. Bandinelli, A. Fugetta, and C. Ghezzi. Software process model evolution in the SPADE environment. IEEE Trans, on Softw. Eng., 19(12), December 1993.
-
(1993)
IEEE Trans, on Softw. Eng
, vol.19
, Issue.12
-
-
Bandinelli, S.C.1
Fugetta, A.2
Ghezzi, C.3
-
6
-
-
0345215145
-
The attributes of medical event-reporting systems: Experience with a prototype medical event-reporting system for transfusion medicine
-
J. Battles, H. Kaplan, T. van der Schaaf, and C. Shea. The attributes of medical event-reporting systems: experience with a prototype medical event-reporting system for transfusion medicine. Arch. Pathology Laboratory Medicine, 122:231-238, 1998.
-
(1998)
Arch. Pathology Laboratory Medicine
, vol.122
, pp. 231-238
-
-
Battles, J.1
Kaplan, H.2
van der Schaaf, T.3
Shea, C.4
-
7
-
-
33745772612
-
Verification of medical guidelines by model checking - a case study
-
A. Valmari, editor, SPIN, of
-
S. Bäumler, M. Balser, A. Dunets, W. Reif, and J. Schmitt. Verification of medical guidelines by model checking - a case study. In A. Valmari, editor, SPIN, volume 3925 of LNCS, pages 219-233, 2006.
-
(2006)
LNCS
, vol.3925
, pp. 219-233
-
-
Bäumler, S.1
Balser, M.2
Dunets, A.3
Reif, W.4
Schmitt, J.5
-
9
-
-
35348871057
-
Ensuring reliable datasets for environmental models and forecasts
-
E. R. Boose, A. M. Ellison, L. J. Osterweil, L. Clarke, R. Podorozhny, J. L. Hadley, A. Wise, and D. R. Foster. Ensuring reliable datasets for environmental models and forecasts. In Ecological Informatics, volume 2, pages 237-247, 2007.
-
(2007)
Ecological Informatics
, vol.2
, pp. 237-247
-
-
Boose, E.R.1
Ellison, A.M.2
Osterweil, L.J.3
Clarke, L.4
Podorozhny, R.5
Hadley, J.L.6
Wise, A.7
Foster, D.R.8
-
10
-
-
0033683614
-
Little-jil/juliette: A process definition language and interpreter
-
Limerick, Ireland
-
A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, J. Stanley M. Sutton, and A. Wise. Little-jil/juliette: A process definition language and interpreter. In 22nd, Int. Conf. on Softw. Eng., pages 754-757, Limerick, Ireland, 2000.
-
(2000)
22nd, Int. Conf. on Softw. Eng
, pp. 754-757
-
-
Cass, A.G.1
Lerner, B.S.2
McCall, E.K.3
Osterweil, L.J.4
Stanley, J.5
Sutton, M.6
Wise, A.7
-
11
-
-
33745922871
-
Automatic fault tree derivation from little-jil process definitions
-
SPW/ProSim, of, Shanghai, May
-
B. Chen, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil. Automatic fault tree derivation from little-jil process definitions. In SPW/ProSim, volume 3966 of LNCS, pages 150-158, Shanghai, May 2006.
-
(2006)
LNCS
, vol.3966
, pp. 150-158
-
-
Chen, B.1
Avrunin, G.S.2
Clarke, L.A.3
Osterweil, L.J.4
-
12
-
-
57349100000
-
Rigorously defining and analyzing medical processes: An experience report
-
September
-
S. Christov, B. Chen, G. S. Avrunin, L, A. Clarke, and L. J. Osterweil. Rigorously defining and analyzing medical processes: An experience report. In 1st International Workshop on Model-Based Trustworthy Health Information Systems, September 2007.
-
(2007)
1st International Workshop on Model-Based Trustworthy Health Information Systems
-
-
Christov, S.1
Chen, B.2
Avrunin, G.S.3
Clarke, L.A.4
Osterweil, L.J.5
-
13
-
-
84937557946
-
NuSMV version 2: An opensource tool for symbolic model checking
-
Proc. Int. Conf. on Computer-Aided Verification, of, Copenhagen, Denmark, July, Springer
-
A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV version 2: An opensource tool for symbolic model checking. In Proc. Int. Conf. on Computer-Aided Verification, volume 2404 of LNCS, Copenhagen, Denmark, July 2002. Springer.
-
(2002)
LNCS
, vol.2404
-
-
Cimatti, A.1
Clarke, E.2
Giunchiglia, E.3
Giunchiglia, F.4
Pistore, M.5
Roveri, M.6
Sebastiani, R.7
Tacchella, A.8
-
14
-
-
0028513196
-
Model checking and abstraction
-
September
-
E. M. Clarke, O. Grumberg, and D. E. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5): 1512-1542, September 1994.
-
(1994)
ACM Transactions on Programming Languages and Systems
, vol.16
, Issue.5
, pp. 1512-1542
-
-
Clarke, E.M.1
Grumberg, O.2
Long, D.E.3
-
15
-
-
57349083723
-
-
E. M. Clarke, O. G. Jr., and D. A. Peled. Model Checking, MIT Press, 2000.
-
E. M. Clarke, O. G. Jr., and D. A. Peled. Model Checking, MIT Press, 2000.
-
-
-
-
16
-
-
0034592876
-
Verifying properties of process definitions
-
Portland, OR, August
-
J. M. Cobleigh, L. A. Clarke, and L. J. Osterweil. Verifying properties of process definitions. In ACM SIGSOFT Int. Symp. on Software Testing and Analysts, pages 96-101, Portland, OR, August 2000.
-
(2000)
ACM SIGSOFT Int. Symp. on Software Testing and Analysts
, pp. 96-101
-
-
Cobleigh, J.M.1
Clarke, L.A.2
Osterweil, L.J.3
-
17
-
-
34547365182
-
User guidance for creating precise and accessible property specifications
-
Portland, OR, November
-
R. L. Cobleigh, G. S. Avrunin, and L. A. Clarke. User guidance for creating precise and accessible property specifications. In 14th ACM SIGSOFT Int. Symp. on Foundations of Software Eng., pages 208-218, Portland, OR, November 2006.
-
(2006)
14th ACM SIGSOFT Int. Symp. on Foundations of Software Eng
, pp. 208-218
-
-
Cobleigh, R.L.1
Avrunin, G.S.2
Clarke, L.A.3
-
18
-
-
0029196522
-
Using integer programming to verify general safety and liveness properties
-
J. C. Corbett and G. S. Avrunin. Using integer programming to verify general safety and liveness properties. Formal Methods System Design, 6(1):97-123, 1995.
-
(1995)
Formal Methods System Design
, vol.6
, Issue.1
, pp. 97-123
-
-
Corbett, J.C.1
Avrunin, G.S.2
-
19
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
-
Los Angeles
-
P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, 1977.
-
(1977)
4th ACM Symposium on Principles of Programming Languages
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
20
-
-
34547273912
-
Visual formal specification using (n)tlcharts: Statechart automata with temporal logic and natural language conditioned transitions
-
April
-
D. Drusinsky. Visual formal specification using (n)tlcharts: Statechart automata with temporal logic and natural language conditioned transitions. In International Workshop on Parallel and Distributed Systems: Testing and Debugging, April 2004.
-
(2004)
International Workshop on Parallel and Distributed Systems: Testing and Debugging
-
-
Drusinsky, D.1
-
21
-
-
0032667112
-
Patterns in property specifications for finite-state verification
-
Los Angeles, May
-
M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in property specifications for finite-state verification. In 21st Int. Conf. on Softw. Eng., pages 411-420, Los Angeles, May 1999.
-
(1999)
21st Int. Conf. on Softw. Eng
, pp. 411-420
-
-
Dwyer, M.B.1
Avrunin, G.S.2
Corbett, J.C.3
-
22
-
-
12344305541
-
Flow analysis for verifying properties of concurrent software systems
-
October
-
M. B. Dwyer, L, A. Clarke, J. M. Cobleigh, and G. Naumovich. Flow analysis for verifying properties of concurrent software systems. ACM Trans. Softw. Eng. Methodol., 13(4):359-430, October 2004.
-
(2004)
ACM Trans. Softw. Eng. Methodol
, vol.13
, Issue.4
, pp. 359-430
-
-
Dwyer, M.B.1
Clarke, L.A.2
Cobleigh, J.M.3
Naumovich, G.4
-
23
-
-
0041833745
-
Evolution of quality management: Integration of quality assurance functions ïnto operations, or "quality is everyone's responsibility
-
September
-
M. Foss and S. Moore. Evolution of quality management: integration of quality assurance functions ïnto operations, or "quality is everyone's responsibility". Transfusion, 43(9):1330-1336, September 2003.
-
(2003)
Transfusion
, vol.43
, Issue.9
, pp. 1330-1336
-
-
Foss, M.1
Moore, S.2
-
24
-
-
84947911308
-
Attempto controlled english - not just another logic specification language
-
P. Flener, editor, 8th International Workshop on Logic Programming Synthesis and Transformation, number in
-
N. E. Fuchs, U. Schwertel, and R. Schwitter. Attempto controlled english - not just another logic specification language. In P. Flener, editor, 8th International Workshop on Logic Programming Synthesis and Transformation, number 1559 in LNCS, pages 1-20, 1998.
-
(1998)
LNCS
, vol.1559
, pp. 1-20
-
-
Fuchs, N.E.1
Schwertel, U.2
Schwitter, R.3
-
25
-
-
0030985003
-
Practical approaches to improve laboratory performance and transfusion safety
-
S. Galel and C. Richards. Practical approaches to improve laboratory performance and transfusion safety. American Journal of Clinical Pathology, 107(4) :S43-S49, 1997.
-
(1997)
American Journal of Clinical Pathology
, vol.107
, Issue.4
-
-
Galel, S.1
Richards, C.2
-
26
-
-
84947441305
-
Construction of abstract state graphs with pvs
-
9th Int. Conf. on Computer Aided Verification, number in
-
S. Graf and H. Saïdi. Construction of abstract state graphs with pvs. In 9th Int. Conf. on Computer Aided Verification, number 1254 in LNCS, pages 72-83, 1997.
-
(1997)
LNCS
, vol.1254
, pp. 72-83
-
-
Graf, S.1
Saïdi, H.2
-
27
-
-
84883849582
-
A declarative approach to business rules in contracts: Courteous logic programs in XML
-
Denver, CO
-
B. N. Grosof, Y. Labrou, and H. Y. Chan. A declarative approach to business rules in contracts: courteous logic programs in XML. In ACM Conf. on Electronic Commerce, pages 68-77, Denver, CO, 1999.
-
(1999)
ACM Conf. on Electronic Commerce
, pp. 68-77
-
-
Grosof, B.N.1
Labrou, Y.2
Chan, H.Y.3
-
28
-
-
33845307579
-
Increasing patient safety and efficiency in transfusion therapy using formal process definitions
-
January
-
E. A. Henneman, G. S. Avrunin, L. A. Clarke, L. J. Osterweil, C. Andrzejewski, Jr., K. Merrigan, R. Cobleigh, K. Frederick, E. Katz-Bassett, and P. L. Henneman. Increasing patient safety and efficiency in transfusion therapy using formal process definitions. In Transfusion Medicine Review, volume 21, pages 49-57, January 2007.
-
(2007)
Transfusion Medicine Review
, vol.21
, pp. 49-57
-
-
Henneman, E.A.1
Avrunin, G.S.2
Clarke, L.A.3
Osterweil, L.J.4
Andrzejewski Jr., C.5
Merrigan, K.6
Cobleigh, R.7
Frederick, K.8
Katz-Bassett, E.9
Henneman, P.L.10
-
30
-
-
24144469167
-
Translating Java for multiple model checkers: The bandera back-end
-
March
-
R. Iosif, M. B. Dwyer, and J. Hatcliff. Translating Java for multiple model checkers: The bandera back-end. Formal Methods in System Design, 26(2): 137-180, March 2005.
-
(2005)
Formal Methods in System Design
, vol.26
, Issue.2
, pp. 137-180
-
-
Iosif, R.1
Dwyer, M.B.2
Hatcliff, J.3
-
31
-
-
0003413171
-
-
L. T. Kohn, J. M. Corrigan, and M. S. Donaldson, editors, National Academy Press, Washington, D.C
-
L. T. Kohn, J. M. Corrigan, and M. S. Donaldson, editors. To Err Is Human: Building a Safer Health System. National Academy Press, Washington, D.C., 1999.
-
(1999)
To Err Is Human: Building a Safer Health System
-
-
-
32
-
-
23744465728
-
Verifying process models built using parameterized state machines
-
New York, USA
-
B. S. Lerner. Verifying process models built using parameterized state machines. In ACM SIGSOFT Int. Symp. on Software Testing and Analysis, pages 274-284, New York, USA, 2004.
-
(2004)
ACM SIGSOFT Int. Symp. on Software Testing and Analysis
, pp. 274-284
-
-
Lerner, B.S.1
-
33
-
-
34748920642
-
Glare: A domain-independent system for acquiring, representing and executing clinical guidelines
-
G. Molino, P. Terenziani, S. Montani, A. Bottrighi, and M. Torchio. Glare: a domain-independent system for acquiring, representing and executing clinical guidelines. In J. of the Amer. Medical Informatics Association (JAMIA) Symposium, supplement, 2006.
-
(2006)
J. of the Amer. Medical Informatics Association (JAMIA) Symposium, supplement
-
-
Molino, G.1
Terenziani, P.2
Montani, S.3
Bottrighi, A.4
Torchio, M.5
-
34
-
-
33644940354
-
Radiology interpretation process modeling
-
R. Noumeir. Radiology interpretation process modeling. J. of Biomedical Informatics, 39(2):103-114, 2006.
-
(2006)
J. of Biomedical Informatics
, vol.39
, Issue.2
, pp. 103-114
-
-
Noumeir, R.1
-
35
-
-
33745905478
-
Using process definitions to facilitate the specification of requirements
-
Technical report, Department of Computer Science, University of Massachusetts Amherst
-
L. J. Osterweil, N. K. Sondheimer, L. A. Clarke, E. Katsh, and D. Rainey. Using process definitions to facilitate the specification of requirements. Technical report, Department of Computer Science, University of Massachusetts Amherst, 2006.
-
(2006)
-
-
Osterweil, L.J.1
Sondheimer, N.K.2
Clarke, L.A.3
Katsh, E.4
Rainey, D.5
-
37
-
-
33745919519
-
Definition and analysis of election processes
-
SPW/ProSim 2006, of, Shanghai, May
-
M. S. Raunak, B. Chen, A. Elssamadisy, L. A. Clarke, and L. J. Osterweil. Definition and analysis of election processes. In SPW/ProSim 2006, volume 3966 of LNCS, pages 178-185, Shanghai, May 2006.
-
(2006)
LNCS
, vol.3966
, pp. 178-185
-
-
Raunak, M.S.1
Chen, B.2
Elssamadisy, A.3
Clarke, L.A.4
Osterweil, L.J.5
-
39
-
-
85009654750
-
-
P. P. Reid, W. D. Compton, J. H. Grossman, and G. Fanjiang, editors, National Academy Press, Washington, D.C
-
P. P. Reid, W. D. Compton, J. H. Grossman, and G. Fanjiang, editors. Building a Better Delivery System: A New Engineering/Health Care Partnership. National Academy Press, Washington, D.C., 2005.
-
(2005)
Building a Better Delivery System: A New Engineering/Health Care Partnership
-
-
-
40
-
-
27144476564
-
-
M. Ruffolo, C. Information, and R. Curia. Process management in health care: A system for preventing risks and medical errors. In Business Process Management, pages 334-343, 2005.
-
M. Ruffolo, C. Information, and R. Curia. Process management in health care: A system for preventing risks and medical errors. In Business Process Management, pages 334-343, 2005.
-
-
-
-
41
-
-
0032168169
-
The asgaard project: A task-specific framework for the application and critiquing of time-oriented clinical guidelines
-
Y. Shahar, S. Miksch, and P. Johnson. The asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artificial Intelligence in Medicine, 14(1-2):29-51, 1998.
-
(1998)
Artificial Intelligence in Medicine
, vol.14
, Issue.1-2
, pp. 29-51
-
-
Shahar, Y.1
Miksch, S.2
Johnson, P.3
-
43
-
-
0042835766
-
The syntax and semantics of the proforma guideline modeling language
-
Sep-Oct
-
D. R. Sutton and J. Fox. The syntax and semantics of the proforma guideline modeling language. In Journal of the American Medical Informatics Association, volume 10, pages 433-443, Sep-Oct 2003.
-
(2003)
Journal of the American Medical Informatics Association
, vol.10
, pp. 433-443
-
-
Sutton, D.R.1
Fox, J.2
-
44
-
-
0029333633
-
Appl/a: A language for software process programming
-
J. S. M. Sutton, D. Heimbigner, and L. J. Osterweil. Appl/a: a language for software process programming. ACM Trans, on Software Engineering and Methodology, 4(3):221-286, 1995.
-
(1995)
ACM Trans, on Software Engineering and Methodology
, vol.4
, Issue.3
, pp. 221-286
-
-
Sutton, J.S.M.1
Heimbigner, D.2
Osterweil, L.J.3
-
45
-
-
33644864400
-
-
A. ten Teije, M. Marcos, M. Balser, J. van Croonenborg, C. Duelli, F. van Harmelen, P. Lucas, S. Miksch, W. Reif, K. Rosenbrand, and A. Seyfang. Improving medical protocols by formal methods. Artificial Intell. in Medicine, 36(3): 193-209, 2006.
-
A. ten Teije, M. Marcos, M. Balser, J. van Croonenborg, C. Duelli, F. van Harmelen, P. Lucas, S. Miksch, W. Reif, K. Rosenbrand, and A. Seyfang. Improving medical protocols by formal methods. Artificial Intell. in Medicine, 36(3): 193-209, 2006.
-
-
-
-
46
-
-
64649089904
-
Spin model checking for the verification of clinical guidelines
-
August
-
P. Terenziani, L. Giordano, A. Bottrighi, S. Montani, and L. Donzella. Spin model checking for the verification of clinical guidelines. In ECAI 2006 Workshop on AI techniques in healthcare: evidence-based guidelines and protocols, August 2006.
-
(2006)
ECAI 2006 Workshop on AI techniques in healthcare: Evidence-based guidelines and protocols
-
-
Terenziani, P.1
Giordano, L.2
Bottrighi, A.3
Montani, S.4
Donzella, L.5
-
47
-
-
0036109175
-
Probabilities for a probabilistic network: A case study in oesophageal cancer
-
June
-
L. van der Gaag, S. Renooji, C. Witteman, B. Aleman, and B. Taal. Probabilities for a probabilistic network: a case study in oesophageal cancer. Artificial Intelligence in Medicine, 25(2): 123-148, June 2002.
-
(2002)
Artificial Intelligence in Medicine
, vol.25
, Issue.2
, pp. 123-148
-
-
van der Gaag, L.1
Renooji, S.2
Witteman, C.3
Aleman, B.4
Taal, B.5
-
48
-
-
0004269078
-
-
U.S. Nuclear Regulatory Commission, Washington, D.C, Jan
-
W. Vesely, F. Goldberg, N. Roberts, and D. Haasl. Fault Tree Handbook (NUREG-0492). U.S. Nuclear Regulatory Commission, Washington, D.C., Jan. 1981.
-
(1981)
Fault Tree Handbook (NUREG-0492)
-
-
Vesely, W.1
Goldberg, F.2
Roberts, N.3
Haasl, D.4
-
49
-
-
0034117483
-
Quality of transfusion practice beyond the blood transfusion laboratory is essential to prevent abo-incompatible death
-
June
-
D. Voak, J. Chapman, and P. Phillips. Quality of transfusion practice beyond the blood transfusion laboratory is essential to prevent abo-incompatible death. Transfusion Medicine, 10(2):95-96, June 2000,
-
(2000)
Transfusion Medicine
, vol.10
, Issue.2
, pp. 95-96
-
-
Voak, D.1
Chapman, J.2
Phillips, P.3
|