Andreas Leicher

According to our database1, Andreas Leicher authored at least 24 papers between 2001 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2013
Tree-formed verification data for trusted platforms.
Comput. Secur., 2013

2012
Smart OpenID: A Smart Card Based OpenID Protocol.
Proceedings of the Information Security and Privacy Research, 2012

Scalable Trust Assessment and Remediation of Wireless Devices.
Proceedings of the Security and Privacy in Mobile Information and Communication Systems, 2012

2011
Sender Scorecards.
IEEE Veh. Technol. Mag., 2011

2010
Trusted Platform Validation and Management.
Int. J. Dependable Trust. Inf. Syst., 2010

Secure Operations on Tree-Formed Verification Data
CoRR, 2010

Tree-formed Verification Data for Trusted Platforms
CoRR, 2010

Trusted Computing enhanced OpenID.
Proceedings of the 5th International Conference for Internet Technology and Secured Transactions, 2010

2009
Trust in M2M communication.
IEEE Veh. Technol. Mag., 2009

Ethemba Trusted Host EnvironmentMainly Based on Attestation
CoRR, 2009

Implementation of a Trusted Ticket System.
Proceedings of the Emerging Challenges for Security, 2009

2007
µTTCN - an approach to continuous signals in TTCN-3.
Proceedings of the Software Engineering 2007, 2007

Lessons Learned beim Übergang von Funktionsmodellierung mit Verhaltensmodellen zu Modellbasierter Software-Entwicklung mit Implementierungsmodellen.
Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

2005
Analysis of compositional conflicts in component based systems.
PhD thesis, 2005

TRIPLE - an RDF Rule Language with Context and Use Cases.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Analysis of Compositional Conflicts in Component-Based Systems.
Proceedings of the Software Composition - 4th International Workshop, 2005

Augmenting UML Models for Composition Conflict Analysis.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004
Platform Independent Model Transformation Based on Triple.
Proceedings of the Middleware 2004, 2004

2003
OCLPrime - Environment and Language for Model Query, Views and Transformations.
Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003

Model-Centric Engineering with the Evolution and Validation Environment.
Proceedings of the «UML» 2003, 2003

Integrating Container Services with Pluggable System Extensions.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Software Model Engineering and Reuse with the Evolution and Validation Environment.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

2002
External Requirements Validation for Component-Based Systems.
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

2001
Designing Distributed Component-Based Systems With DCL.
Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001


  Loading...