default search action

combined dblp search
author search
venue search
publication search

ask others

Alexander K. Wißpeintner

Alexander Karl Wißpeintner

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2006
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Wisspeintner2006a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Wisspeintner2006a
Alexander Karl Wißpeintner:
Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme: eine Adaption der Refactoring-Technik auf gezeitete Modelle unter Verwendung eines formalen Verhaltensäquivalenzbegriffs. Technical University Munich, 2006, pp. 1-243

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2004
[j1]
- view
  - electronic edition @ uni-siegen.de (archived)
  - details & citations
- export record
  dblp key:
  - journals/stt/SchatzPW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/SchatzPW04
Bernhard Schätz, Markus Pister, Alexander K. Wißpeintner:
Anforderungsanalyse in der modellbasierten Entwicklung am Beispiel von AutoFocus. Softwaretechnik-Trends 24(1) (2004)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2005
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/SchatzBHW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/SchatzBHW05
Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner:
Checking and Transforming Models with AutoFOCUS. ECBS 2005: 307-314
2003
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/SchatzBHW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/SchatzBHW03
Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner:
Consistency in Model-Based Development. ECBS 2003: 287-296
2002
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/VetterlingWW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/VetterlingWW02
Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner:
Secure systems development based on the common criteria: the PalME project. SIGSOFT FSE 2002: 129-138
2001
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sec/WimmelW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sec/WimmelW01
Guido Wimmel, Alexander K. Wißpeintner:
Extended Description Techniques for Security Engineering. SEC 2001: 469-
2000
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fbt/WisspeintnerHP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/WisspeintnerHP00
Alexander K. Wißpeintner, Franz Huber, Jan Philipps:
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. FBT 2000: 91-100

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.