Daniel Karlsson

Proceedings of the Digital Healthcare Empowering Europeans, 2015

2014

Ontology Patterns for Clinical Information Modelling.

[BibT_eX]

[DOI]

Catalina Martínez-Costa

Stefan Schulz

Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

Towards feature-oriented requirements validation for automotive systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Telehealth for "the Digital Illiterate" - Elderly Heart Failure Patients Experiences.

[BibT_eX]

[DOI]

Proceedings of the e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31, 2014

Does SNOMED CT post-coordination scale?

[BibT_eX]

[DOI]

Mikael Nyström

Ronald Cornet

Proceedings of the e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31, 2014

Semantic Krippendorff's α for measuring inter-rater agreement in SNOMED CT coding studies.

[BibT_eX]

[DOI]

Kirstine Rosenbeck Gøeg

Håkan Örman

Anne Randorff Højen

Proceedings of the e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31, 2014

An Ontological Analysis of Reference in Health Record Statements.

[BibT_eX]

[DOI]

Stefan Schulz

Catalina Martínez-Costa

Proceedings of the Formal Ontology in Information Systems, 2014

2013

Applying representational state transfer (REST) architecture to archetype-based electronic health record systems.

[BibT_eX]

[DOI]

BMC Medical Informatics Decis. Mak., 2013

Digital Pen-Based Telemonitoring of Elderly Heart Failure Patients.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2013, 2013

The openEHR Developers' Workshop.

[BibT_eX]

Sérgio Miranda Freire

Proceedings of the MEDINFO 2013, 2013

User-Directed Coordination in SNOMED CT.

[BibT_eX]

[DOI]

Ronald Cornet

Mikael Nyström

Marie-Agnès Peraldi-Frati

Proceedings of the MEDINFO 2013, 2013

2012

Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2012

Timing Modeling with AUTOSAR - Current state and future directions.

[BibT_eX]

[DOI]

Hans Blom

Stefan Kuntz

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Improving automotive embedded systems engineering at European level.

[BibT_eX]

[DOI]

Elektrotech. Informationstechnik, 2011

Information Models and Ontologies for Representing the Electronic Health Record.

[BibT_eX]

[DOI]

Martin Berzell

Stefan Schulz

Proceedings of the 2nd International Conference on Biomedical Ontology, 2011

2009

Archetype-based conversion of EHR content models: pilot experience with a regional EHR system.

[BibT_eX]

[DOI]

BMC Medical Informatics Decis. Mak., 2009

Is the "International Classification for Patient Safety" a Classification?

[BibT_eX]

[DOI]

Proceedings of the Medical Informatics in a United and Healthy Europe - Proceedings of MIE 2009, The XXIInd International Congress of the European Federation for Medical Informatics, Sarajevo, Bosnia and Herzegovina, August 30, 2009

Clinical Laboratory Sciences Data Transmission: The NPU Coding System.

[BibT_eX]

[DOI]

Françoise Pontet

Ulla Magdal Petersen

Xavier Fuentes-Arderiu

2008

Integration of tools for binding archetypes to SNOMED CT.

[BibT_eX]

[DOI]

BMC Medical Informatics Decis. Mak., 2008

Patients' use of digital pens for pain assessment in advanced palliative home healthcare.

[BibT_eX]

[DOI]

Bengt Fridlund

Int. J. Medical Informatics, 2008

Model validation for embedded systems using formal method-aided simulation.

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 2008

Systematizing medical alerts.

[BibT_eX]

[DOI]

Proceedings of the eHealth Beyond the Horizon, 2008

An Archetype-based Testing Framework.

[BibT_eX]

[DOI]

Proceedings of the eHealth Beyond the Horizon, 2008

2007

Formal verification of component-based designs.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2007

What impacts course evaluation?

[BibT_eX]

[DOI]

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Transactor-based Formal Verification of Real-time Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2007

2006

Verification of Component-based Embedded System Designs.

[BibT_eX]

[DOI]

PhD thesis, 2006

Formal verification of systemc designs using a petri-net based representation.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Wide-Area Protection and Power System Utilization.

[BibT_eX]

[DOI]

Proc. IEEE, 2005

Wide-Area Protection and Emergency Control.

[BibT_eX]

[DOI]

Proc. IEEE, 2005

Validation of Embedded Systems Using Formal Method Aided Simulation.

[BibT_eX]

[DOI]

Proceedings of the Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August, 2005

2004

A Formal Verification Approach for IP-based Designs.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2004

A Formal Verification Methodology for IP-based Designs.

[BibT_eX]

[DOI]

Proceedings of the 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August, 2004

2003

Symptom Assessment in Home Healthcare Using Digital Pens.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2003, 2003

2002

Requirements and prototyping of a home health care application based on emerging JAVA technology.

[BibT_eX]

[DOI]

Int. J. Medical Informatics, 2002

Formal Verification in a Component-Based Reuse Methodology.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), 2002

2001

A Design and Prototype for a Decision-Support System in the Field of Urinary Tract Infections - Application of OpenGALEN Techniques for Indexing Medical Information.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2001, 2001

1999

Concepts, Contexts and Expert Systems.

[BibT_eX]

[DOI]