Result 1 to 20 of 59 total
An automatic failure mode and effect analysis technique for processes defined in the little-JIL process definition language (English)
SEKE, 765-770 (2010).
1
Supporting human-intensive systems (English)
FoSER, 87-92 (2010).
2
Process-based derivation of requirements for medical devices (English)
IHI, 656-665 (2010).
3
Experience modeling and analyzing medical processes: umass/baystate medical safety project overview (English)
IHI, 316-325 (2010).
4
An integrated collection of tools for continuously improving the processes by which health care is delivered: A tool report (English)
Business Process Management Workshops, 647-653 (2009).
5
Plug-and-play architectural design and verification. (English)
de Lemos, Rogério (ed.) et al., Architecting Dependable Systems V. Berlin: Springer (ISBN 978-3-540-85570-5/pbk). Lecture Notes in Computer Science 5135. Journal Subline, 273-297 (2008).
6
Combining symbolic execution with model checking to verify parallel numerical programs. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 2 (2008).
7
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. (English)
ACM Trans. Softw. Eng. Methodol. 17, No. 2 (2008).
8
Rigorously defining and analyzing medical processes: An experience report. (English)
Giese, Holger (ed.), Models in software engineering. Workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30‒October 5, 2007. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-540-69069-6/pbk). Lecture Notes in Computer Science 5002, 118-131 (2008).
9
Analyzing medical processes (English)
ICSE, 623-632 (2008).
10
Using software engineering technology to improve the quality of medical processes (English)
ICSE Companion, 889-898 (2008).
11
Verification of halting properties for MPI programs using nonblocking operations. (English)
Cappello, Franck (ed.) et al., Recent advances in parallel virtual machine and message passing interface. 14th European PVM/MPI user’s group meeting, Paris, France, September 30‒October 3, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75415-2/pbk). Lecture Notes in Computer Science 4757, 326-334 (2007).
12
Rigorously defining and analyzing medical processes: an experience report (English)
MoDELS Workshops, 118-131 (2007).
13
Plug-and-play architectural design and verification (English)
WADS, 273-297 (2007).
14
Engineering medical processes to improve their safety (English)
Situational Method Engineering, 267-282 (2007).
15
Verification of halting properties for MPI programs using nonblocking operations (English)
PVM/MPI, 326-334 (2007).
16
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (English)
ISSTA, 97-108 (2006).
17
Using model checking with symbolic execution to verify parallel numerical programs (English)
ISSTA, 157-168 (2006).
18
Verification support for plug-and-play architectural design (English)
ROSATEA, 49-50 (2006).
19
Architectural building blocks for plug-and-play system design (English)
CBSE, 98-113 (2006).
20
Result 1 to 20 of 59 total
Start
Contact
Print
General Help
