Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alexander Krupp

Alfred Alexander Krupp

> Home > Persons

Person information

affiliation: Paderborn University, C-LAB, Paderborn, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

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

2010
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/date/Krupp010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/Krupp010
Alexander Krupp, Wolfgang Müller:
A systematic approach to the test of combined HW/SW systems. DATE 2010: 323-326
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/0003BKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/0003BKL10
Wolfgang Müller, Alexander Bol, Alexander Krupp, Ola Lundkvist:
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. DIPES/BICC 2010: 78-89
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Bol0K10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Bol0K10
Alexander Bol, Wolfgang Müller, Alexander Krupp:
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. MBMV 2010: 167-176

2000 – 2009

see FAQ

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

2009
[b1]
- view
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/de/Krupp2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Krupp2009
Alfred Alexander Krupp:
A verification plan for systematic verification of mechatronic systems. University of Paderborn, 2009, ISBN 978-3-8322-8251-6, pp. 1-160
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iess/Krupp009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iess/Krupp009
Alexander Krupp, Wolfgang Müller:
Systematic Model-in-the-Loop Test of Embedded Control Systems. IESS 2009: 171-184
2007
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iess/ZabelRK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iess/ZabelRK07
Henning Zabel, Achim Rettberg, Alexander Krupp:
Approach for a Formal Verification of a Bit-serial Pipelined Architecture. IESS 2007: 47-56
2006
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/aswsd/GrossmannFKCWM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aswsd/GrossmannFKCWM06
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller:
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. ASWSD 2006: 98-117
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/date/KruppM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/KruppM06
Alexander Krupp, Wolfgang Müller:
Classification trees for random tests and functional coverage. DATE 2006: 1031-1032
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ConradK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ConradK06
Mirko Conrad, Alexander Krupp:
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. MBT 2006: 3-11
2005
[c4]
- view
- export record
  dblp key:
  - conf/gi/KruppM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/KruppM05
Alexander Krupp, Wolfgang Müller:
Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. GI Jahrestagung (2) 2005: 191-195
2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/date/KruppMO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/KruppMO04
Alexander Krupp, Wolfgang Müller, Ian Oliver:
Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE 2004: 102-107
2003
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/KruppM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/KruppM03
Alexander Krupp, Wolfgang Müller:
Combining Formal Refinement and Model Checking for Real-Time Systems Verification. FDL 2003: 515-525
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Krupp003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Krupp003
Alexander Krupp, Wolfgang Müller:
Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. MBMV 2003: 219-228

Coauthor Index

see FAQ

a service of

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.