ResearcherID Thomson Reuters  

Koppenhoefer, Shawn E
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: E-9436-2010
Other Names: DrK
URL: http://www.researcherid.com/rid/E-9436-2010
Subject: Arts & Humanities - Other; Automation & Control Systems; Dance; Environmental Sciences & Ecology; Mathematics
Keywords: arve; atmosphere regolith vegetation; climate system; earth system models; anthropogenic emissions; climate models; fip; esterel; temporal logic; real-time systems
ORCID: http://orcid.org/0000-0002-6562-1997
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
Joint Affiliation:
Sub-org/Dept: Institute of Earth Surface Dynamics; Faculty of Geosciences and Environment
Role:
Description:
My URLs: http://personnes.epfl.ch/shawn.koppenhoefer
http://LinkedIn.shawnkoppenhoefer.com/
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  1  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Testing Temporal Logic Properties in Distributed Systems
 Author(s): Dietrich, Falk; Hubaux, Jean-Pierre; Koppenhoefer, Shawn; et al.
 Conference: IWTCS`98 Year: 1998
added
20-Sep-10
2.  Title: Modelling and Testing Object-Oriented Distributed Systems with Linear-time Temporal Logic
 Author(s): Dietrich, Falk; Logean, Xavier; Koppenhoefer, Shawn; et al.
added
20-Sep-10
3.  Title: The Impact of the Internet on Telecommunication Architectures
 Author(s): Hubaux, Jean-Pierre; Gbaguidi, Constant; Koppenhoefer, Shawn; et al.
added
20-Sep-10
4.  Title: The Impact of the Internet on Telecommunication Architectures
 Author(s): Hubaux, Jean-Pierre; Gbaguidi, Constant; Koppenhoefer, Shawn; et al.
 Source: Computer Networks and ISDN Systems, Special Issue on Internet Telephony Volume: 31 Issue: 3 Pages: 257-73 Published: 1999
added
20-Sep-10
5.  Title: A formal synchronous model for distributed time-critical control-systems
 Author(s): Koppenhoefer, Shawn; Decotignie, Jean-Dominique
 Author-provided URL : http://library.epfl.ch/theses/?nr=1576
added
20-Sep-10
6.  Title: Run-time monitoring of distributed applications
 Author(s): Logean, Xavier; Dietrich, Falk; Koppenhoefer, Shawn
 Conference: Middleware`98 Year: 1998
added
20-Sep-10
publication(s)  
First Page Previous Page Page   of  1  Go Next Page Last Page
  Sort by:    Results per page: