Verification Templates for the Analysis of User Interface Software Design von Harrison, Michael D., Masci, Paolo, Campos, Jose C.

Volltext

Phosducin influences sympathetic activity and prevents stress-induced hypertension in humans and mice von Beetz, Nadine, Harrison, Michael D, Brede, Marc, Zong, Xiangang, Urbanski, Michal J, Sietmann, Anika, Kaufling, Jennifer, Lorkowski, Stefan, Barrot, Michel, Seeliger, Mathias W, Vieira-Coelho, Maria Augusta, Hamet, Pavel, Gaudet, Daniel, Seda, Ondrej, Tremblay, Johanne, Kotchen, Theodore A, Kaldunski, Mary, Nüsing, Rolf, Szabo, Bela, Jacob, Howard J, Cowley, Jr, Allen W, Biel, Martin, Stoll, Monika, Lohse, Martin J, Broeckel, Ulrich, Hein, Lutz

Volltext

Supporting the analysis of safety critical user interfaces: an exploration of three formal tools von Campos, José C., Fayollas, Camille, Harrison, Michael D., Martinie, Célia, Masci, Paolo, Palanque, Philippe

Volltext

Balancing the formal and the informal in user-centred design von Harrison, Michael D, Masci, Paolo, Campos, José Creissac

Volltext

Analyzing Human-Computer Interaction as Distributed Cognition: The Resources Model von Wright, Peter C., Fields, Robert E., Harrison, Michael D.

Volltext

Formal Verification of a Space System's User Interface With the IVY Workbench von Creissac Campos, Jose, Sousa, Manuel, Bergue Alves, Miriam C., Harrison, Michael D.

Volltext

Analysing interactive devices based on information resource constraints von Campos, José Creissac, Doherty, Gavin, Harrison, Michael D.

Volltext

Prototyping and analysing ubiquitous computing environments using multiple layers von Silva, José Luís, Campos, José Creissac, Harrison, Michael D.

Volltext

Demonstrating that Medical Devices Satisfy User Related Safety Requirements von Harrison, Michael douglas, Masci, Paolo, Campos, José C., Curzon, Paul

Volltext

Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers von Gilroy, Stephen W, Harrison, Michael D

Volltext

Don’t go in there! using the APEX framework in the design of ambient assisted living systems von Campos, José C., Abade, Tiago, Silva, José Luís, Harrison, Michael D.

Volltext

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web von Fayollas, Camille, Martinie, Célia, Palanque, Philippe, Masci, Paolo, Harrison, Michael D., Campos, José C., Rodrigues e Silva, Saulo

Volltext

Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 : Proceedings von Hutchison, David, Kanade, Takeo, Kittler, Josef

Volltext

An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation von Loer, Karsten, Harrison, Michael D.

Volltext

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices von Harrison, Michael D., Masci, Paolo, Creissac Campos, Jose, Curzon, Paul

Volltext

Formal techniques in the safety analysis of software components of a new dialysis machine von Harrison, Michael D., Freitas, Leo, Drinnan, Michael, Campos, José C., Masci, Paolo, di Maria, Costanzo, Whitaker, Michael

Volltext

Measuring reuse in hazard analysis von Smith, Shamus P., Harrison, Michael D.

Volltext

Model Checking Interactor Specifications von Campos, José C, Harrison, Michael D

Volltext

Demonstration of Safety in Healthcare Organisations von Sujan, Mark A., Harrison, Michael D., Steven, Alison, Pearson, Pauline H., Vernon, Susan J.

Volltext

Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment von Harrison, Michael D., Masci, Paolo

Volltext