65 Infos zu Claudia Gsottberger

1 Aktuelle Nachrichten

Return to Claudia Gsottberger's Superhomepage. No news available. DBlife. Developed by the Database Group at the University of Wisconsin and Yahoo!

4 Profile in Sozialen Netzwerken

Sehen Sie sich das Profil von Claudia Gsottberger auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 1 Job Job ist im Profil von Claudia Gsottberger aufgelistet. Sehen Sie sich auf LinkedIn das vollständige Profil an. Erfahren Sie mehr über die Kontakte von Claudia Gsottberger und über Jobs bei ähnlichen ...

Sehen Sie sich das Profil von Dr. Claudia Gsottberger auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 1 Job Job ist im Profil von Dr. Claudia Gsottberger aufgelistet. Sehen Sie sich auf LinkedIn das vollständige Profil an. Erfahren Sie mehr über die Kontakte von Dr. Claudia Gsottberger und über Jobs bei ...

Contribute to DionyBudy/SameName_Update1 development by creating an account on GitHub.

Semantic Scholar profile for Claudia Gsottberger, with 4 highly influential citations and 3 scientific research papers.

1 Projekte

... W. Gschwind Michael Gschwind R. Gschwind Stephan Gschwind Thomas Gschwind Andras Gschwindt Heiko Gsell Claudia Gsottberger Yvonne Gsottberger ...

12 Bücher zum Namen

1. eBook. Zum Volltext · Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen,... Gsottberger, Claudia Gsottberger, Claudia

The refereed proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP 2003, held in Eindhoven, The Netherlands in...

... Frutos-Escrig Falk Fuenfstueck Marie-Claude Gaudel Susanne Graf Martin Grosse-Rhode Claudia Gsottberger Armando Haeberer Heinrich Hußmann Valérie ...

... Falk Fuenfstueck Marie-Claude Gaudel Susanne Graf Martin Grosse-Rhode Claudia Gsottberger Armando Haeberer Heinrich Hußmann Valérie Issarny Jean-Claude ...

1 Songs & Musik

... Grosu Claudia Gsottberger Elsa Gunter Peter Habermehl Andreas Hagerer Nicolas Halbwachs Nevin Heinze Holger Hermanns Jane Hillston Hyoung S. Hong Josef Hoomann Michael Huth Mia Indrika Manfred Jaeger Bertrand Jeannet Henrik Ejersbo Jensen Peter Krogsgaard Jensen Thierry Jeron Bernhard Josko Joost ...

3 Dokumente

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. Dept. of Comp. Science, Universit at PassauD Passau (Germany).

Manuvir Das. Stefan Edelkamp. Manuel Fahndrich. Jean-Claude Fernandez. Bernd Finkbeiner. Dana Fisman. Harald Ganzinger. Paul Gastin. Alex Groce. Claudia Gsottberger. Peter Habermehl. Keijo Heljanko. Loic Helouet. Holger Hermanns. Hardi Hungar. Radu Iosif. Marcin Jurdzinski. Joost-Pieter Katoen. Delia Kesner.

13 Wissenschaftliche Publikationen

List of computer science publications by Claudia Gsottberger

The dblp computer science bibliography is the online reference for open bibliographic information on major computer science journals and proceedings.

Bibliographic content of 3. TACAS 1997

Claudia Gsottberger, Universität Dortmund, Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, ...

6 Allgemeine Veröffentlichungen

von P Kelb · · Zitiert von: 61 — Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. Universits Passau, D Passau (Germany),. {kelb, tiziana,mendler, gsottber}@fmi, ...

Authors: Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. Download: http://dx.doi.org BFb Other: BibTeX PubZone ...

Mosel is a new tool-set for the analysis and verification in Monadic Second-order Logic. In this paper we concentrate on the system's design: Moselis a...

Authors: Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. Download: http://dx.doi.org _45. Other: BibTeX PubZone ...

1 Meinungen & Artikel

2006 University of Hanover http://d-nb.info Claudia Gsottberger Ein Framework zur modularisierten und pattern-basierten ...

23 Webfunde aus dem Netz

Claudia Gsottberger's 6 research works with 38 citations and 177 reads, including: Mosel : A sound and efficient tool for M2L(Str)

siemens.com; evosoft.com; siemens-healthineers.com. Fujitsu Employee Claudia Gsottberger's profile photo. Claudia Gsottberger. Enterprise Architect.

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger MOSEL: A Sound and Efficient Tool for M2L(Str). [Citation Graph (0, 0)][DBLP]

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger MOSEL: A FLexible Toolset for Monadic Second-Order Logic. [Citation Graph (0, 0)][DBLP]

von N Vaillette · · Zitiert von: 9 — Peter Kelb, Tiziana Margaria, Michael Mendler, and Claudia Gsottberger. MOSEL: A flexible toolset for MOnadic SEcond-order Logic. In Proc.

Peter Kelb, Tiziana Margaria-Steffen, Michael Mendler, Claudia Gsottberger MOSEL: A Sound and Efficient Tool for M2L(Str) CAV, CAV

Bibliographic content of CAV 1997

Kelb, Peter, Tiziana Margaria, Michael Mendier et Claudia Gsottberger. « Mosel: A sound and efficient tool for M2L(Str) ». Dans Computer Aided Verification, ...

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS 1997: , Electronic Edition · pubzone.org · CiteSeerX · Google scholar · BibTeX · bibliographical record in XML · Rance Cleaveland, Tiziana Margaria, Bernhard Steffen: ...

Peter Kelb Tiziana Margaria Michael Mendler Claudia Gsottberger · A formal requirements engineering method for specification, synthesis, and verification.

... Groote Roberto Grossi Claudia Gsottberger Joshua Guttman Johan Håstad Stefan Haar Lisa Hales Mikael Hammar Chris Hankin Rene Rydhof Hansen Sariel ...

Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen. Claudia Gsottberger. doctoral thesis published via Universität Dortmund. Diese Arbeit präsentiert ein Framework für die Entwicklung modular (aus einer Menge von Diensten) ...

Claudia Gsottberger: Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen.

... F. W. Gschaider S. Gschaider G. Gscheidle Michael Gschwandtner Otto Gschwandtner Daniel A. Gschwend Ernst Gschwind G. Gschwind Hans W. Gschwind Michael Gschwind R. Gschwind Stephan Gschwind Thomas Gschwind Andras Gschwindt Heiko Gsell Claudia Gsottberger Yvonne Gsottberger H. Gstalter Alice Gu ...

Claudia Freundorfer · Claudia Fried · Claudia Gdaniec · Claudia González · Claudia Gönner · Claudia Gsottberger · Claudia Guglielmina · Claudia Gutiérrez ...

HiNet

by Peter Kelb , Tiziana Margaria , Michael Mendler , Claudia Gsottberger ... {Peter Kelb and Tiziana Margaria and Michael Mendler and Claudia Gsottberger},

Lecture Notes in Computer Science Commenced Publication in Founding and Former Series Editors: Gerhard Goos, Juris ...

... Harald Ganzinger Danny Geist Stephen Gilmore Marcelo Glusman Alex David Groce Radu Grosu Claudia Gsottberger Elsa Gunter Peter Habermehl Andreas ...

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Berlin Heidelberg New Y...