Publikationen
Wir teilen unser Wissen.
Hier finden Sie eine Liste unserer Publikationen. Bei Interesse an unseren Beiträgen kontaktieren Sie uns bitte per E-Mail (info@itpower.de) oder telefonisch (+49 (0)30 6098501-0).
2011
S. Sadeghipour, H.-W. Wiesbrock:
Auswertung automatisch generierter Testfälle durch regelbasierte Testüberwachung
Embedded Software Engineering Kongress, Sindelfingen.
S. Sadeghipour, H.-W. Wiesbrock:
Systematische Datenüberdeckung im Modellzentrierten Test
4. Symposium Testen im System- und Software-Life-Cycle, Stuttgart.
J. Grossmann, H.-W. Wiesbrock, F.-W. Schröer, J. Wieland:
TTCN-3 embedded: the conceptual extension of TTCN-3 for testing continuous and hybrid systems
TTCN-3 User Conference 2011, Bled, Slovenien.
H.-W. Wiesbrock:
Stochastische Robustheitstests von automobilen Steuergeräten und ihre automatische Auswertung
ATAMI 2011 - Advances in Testing: Academia meets Industry, Berlin.
M. Lim:
Qualitätssicherung medizinischer Software - Durchgängig automatisiert testen
Medizin+Elektronik 02/2011, S. 39-41.
2010
H.-W. Wiesbrock:
Rezertifizierung von Software-Komponenten: Ansätze zum Nachweis ihrer Gleichwertigkeit
Embedded goes Medical, Nürnberg.
C. Arbeiter, C. Gips und J. Wojtacki:
Automatisierung des funktionalen Tests auf der Basis textuell-formalisierter Testspezifikationen
Tagungsband 3. Autotest, Forschungsinstitut für Kraftfahrzeugwesen und Fahrzeugmotoren Stuttgart (FKFS)
M. Lim, M. Loose:
Mit Varianten-Management erfolgreich zum Ziel
Elektronik Automotive 1/2.2010, S. 33-35.
H.-W. Wiesbrock:
Ansätze zum Nachweis der Gleichwertigkeit von Software-Komponenten
Envision 2020, Paderborn.
S. Sadeghipour:
Testautomatisierung: Ein akademisches Thema?
Advances in Testing: Academia meets Industry (ATAMI'10), Berlin.
2009
S. Kagel, M. Lim:
Herausforderungen der Variantenentwicklung im Anforderungsmanagement meistern
RE Fachgruppentreffen 2009, Essen.
J. Grossmann, H.-W. Wiesbrock:
Wiederverwendbarkeit und Management von Modellbasierten X-in-the-Loop Tests mit TTCN-3 embedded
TAV Workshop 2009, Stralsund.
H.-W. Wiesbrock:
Testprozess automobiler Steuergerätesoftware unter Einsatz von TTCN-3 Embedded
TEMEA Workshop 2009, Berlin.
H.-W. Wiesbrock:
Das Entwicklungsdreieck: Anforderungen - Design - Test. Ein Praxisbericht über die Kopplung der einzelnen Artefakte
Software-Quality-Days 2009, Wien.
2008
H.-W. Wiesbrock, S. Kagel, F. Wiegand:
Die Herausforderungen der Variantenentwicklung im Anforderungsmanagement erfolgreich mit DOORS gelöst.
Telelogic Innovation 2008, Bad Gögging
S. Sadeghipour, S. Kagel:
Variantenvielfalt - Herausforderungen der Variantenentwicklung im Anforderungsmanagement
Elektronik Automotive 9/2008, S.40-41
J. Grossmann, S. Sadeghipour:
Das Testen komplexer Systeme wird nie einfach sein, aber wir können es einfach besser machen!
ObjektSpektrum, Onlineausgabe Testing 2008.
J. Grossmann, I. Schieferdecker, H.-W. Wiesbrock:
Modeling Property Based Stream Templates with TTCN-3
20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM)
Tokyo, Japan Juni 2008
Lecture Notes in Computer Science, SpringerLink Verlag.
M. Lim, S. Sadeghipour:
Werkzeugunterstützte Verknüpfung von Anforderungen und Tests - Voraussetzung für eine systematische Qualitätssicherung
GI-Fachgruppentreffen RE/TAV, Bad Honnef.
M. Lim, S. Sadeghipour:
Fettnäpfchen vermeiden - Richtiges Testen automobiler Steuergeräte-Software
Elektronik Automotive, Ausgabe 4/2008, S. 64-66.
H.-W. Wiesbrock:
Das Entwicklungsdreieck: Anforderungen - Design - Test. Ein Praxisbericht über die Kopplung der einzelnen Artefakte
REConf 2008, München.
2007
R. Stücka, M. Lim, H.-W. Wiesbrock:
Qualitätssteigerung im Entwicklungsprozess - Anforderungsmanagement und systematische Testmethoden lückenlos verknüpfen
E&E Kompendium 2007/2008, S. 152-154.
H.-W. Wiesbrock, M. Lim:
Modelle im herkömmlichen Entwicklungsprozess
Elektronik Automotive, Ausgabe 5/2007, S. 88-91.
H.-W. Wiesbrock, M. Lim:
Einsatz von Simulationen von Testmodellen im herkömmlichen Entwicklungsprozess (Praxisbericht)
ASIM/GI-Fachtagung "Simulation technischer Systeme" und "Grundlagen und Methoden in Modellbildung und Simulation", Bremen.
C. Gips, H.-W. Wiesbrock:
Proposal for an Automatic Evaluation of ECU Output Signals
Dagstuhl-Workshop MBEES 2007: Modellbasierte Entwicklung eingebetteter Systeme, Braunschweig.
2006
S. Behnke, L. Malkowski, H.-W. Wiesbrock:
Modellbasierte Testauswertung herkömmlicher Steuergeräte Entwicklung
1. AutoTest Fachkonferenz zum Thema Test und Diagnose von Hard- und Software in der Automobilentwicklung, Stuttgart.
H.-W. Wiesbrock, M. Lim:
Automatisierte Strukturtests in der modellbasierten Entwicklung
26. Tagung Elektronik im Kraftfahrzeug "Systeme von Morgen - Technische Innovationen und Entwicklungstrends", Dresden.
M. Conrad, S. Sadeghipour, H.-W. Wiesbrock:
Automatic Evaluation of ECU Software Tests
SAE`s 2005 Transactions- "The most outstanding SAE technical papers 2005". Veröffentlicht im März 2006/ Paper No. 2005-01-1659 Seite 583, Detroit.
2005
H.-W. Wiesbrock, M. Lim, J. Bielefeldt:
Kopplung der Werkzeuge DOORS und CTE XL für einen effizienten Entwicklungsprozess durch systematisches Testen
DESIGN&ELEKTRONIK Entwicklerforum "Software Entwicklung", München.
S. Sadeghipour, M. Lim:
Einsatz automatischer Testvektorgenerierung im modellbasierten Test
Workshop Modellbasierte Qualitätssicherung im Rahmen der 35. Jahrestagung der Gesellschaft für Informatik "Informatik 2005 - Informatik Live!", Bonn.
S.Sadeghipour, M. Lim, M. Conrad:
Modellbasierter Test sicherheitsrelevanter Steuergerätesoftware
Hanser Automotive, Ausgabe 9-10/2005, S. 94-96
S. Sadeghipour:
How to Use Automatic Test Vector Generation for Model Coverage?
Workshop Model-Based Development and Testing im Rahmen der 9. World Multiconference on Systemics, Cybernetics and Informatics, Orlando.
S. Sadeghipour:
How to Use Automatic Test Vector Generation for Model Coverage?
Treffen der ASIM-Fachgruppe 4.5.5. 'Simulation technischer Systeme', Berlin.
M. Conrad, S. Sadeghipour, H.-W. Wiesbrock:
Automatic Evaluation of ECU Software Tests
SAE 2005 World Congress, Detroit.
2004
H.-W. Wiesbrock:
Automatische Test-Evaluation für eingebettete Systeme
DESIGN&ELEKTRONIK Entwicklerforum Softwarequalität und -sicherheit, Juli 2004, München.
H. Schlingloff, C. Sühl, H. Dörr, M. Conrad, J. Stroop, S. Sadeghipour, M. Kühl, F. Rammig, G. Engels:
IMMOS - Eine integrierte Methodik zur modellbasierten Steuergeräteentwicklung
Forschungsoffensive des BMBF "Software Engineering 2006", Berlin.
M. Lim, H.-W. Wiesbrock:
ECU-Test - auf die Algorithmen kommt es an!
automotive electronics+systems, Ausgabe 5-6/2004, S. 64-66.
M. Lim, H.-W. Wiesbrock:
Automatische Signalanalyse - bessere Qualität durch automatisierte Testauswertung
Elektronik Automotive, Ausgabe 2/2004, S. 66-67.
M. Conrad, I. Fey, S. Sadeghipour:
Systematic Model-Based Testing of Embedded Automotive Software
ETAPS 2004 Workshop on Model Based Testing, Barcelona.
M. Conrad, I. Fey, S. Sadeghipour:
Systematic Model-Based Testing of Embedded Control software - The MB3T Approach
ICSE 2004 Workshop on Software Engineering for Automotive Systems, Edinburgh.
S. Sadeghipour, M. Lim:
Konvertierungs-Tool unterstützt Software-Entwicklung
Elektronik Automotive, Ausgabe 1/2004, S. 54-56.
2003
A. Baresel, M. Conrad, S. Sadeghipour, J. Wegener:
The Interplay Between Model Coverage and Code Coverage
EuroSTAR 2003, Amsterdam.
A. Baresel, H. Pohlheim, S. Sadeghipour:
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms
Genetic and Evolutionary Computation Conference GECCO, Chicago.
2002
M. Conrad, S. Sadeghipour:
Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle Ergebnisse
Softwaretechnik-Trends, Band 22, Heft 2.
2001
R.M. Hierons, S. Sadeghipour, H. Singh:
Testing a system specified using Statecharts and Z
Information and Software Technology 43 (2001), S. 137-149.
2000
S. Sadeghipour, H. Singh:
Combined Function and Trace Test
16th World Computer Congress, Conference on Software:
Theory and Practice, Beijing.
1999
H. Singh, M. Conrad, S. Sadeghipour:
Test Case Design on the Basis of Z Specifications
Softwaretechnik-Trends, Band 19, Heft 1.
S. Sadeghipour:
Testing Reactive Systems on the Basis of Formal Specifications
Fourth International Conference of Computer Society of Iran, Teheran.
1998
S. Sadeghipour:
Testing Cyclic Software Components of Reactive Systems on the Basis of Formal Specifications (PhD Thesis)
Dr. Kovac Verlag, Hamburg.
M. Heisel, R. Mackenthun, T. Neustupny, S. Sadeghipour, M. Weber:
Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz
28. GI-Jahrestagung, Magdeburg.
1997
H. Singh, M. Conrad and S. Sadeghipour:
Test Case Design Based on Z and the Classification-Tree Method
First International Conference on Formal Engineering Methods,
IEEE Computer Society.
S. Sadeghipour:
Test Sequencing on the Basis of Z and Statecharts.
ESPRESS Workshop: Test on the Basis of Formal Specifications, Berlin.
S. Sadeghipour:
Test Case Generation on the Basis of Formal Specifications
Workshop on Formal Design of Safety Critical Embedded Systems, München.
1996
H. Singh, M. Conrad, G. Egger and S. Sadeghipour:
Tool-Supported Test Case Design Based on Z and the Classification-Tree Method
Workshop on Tools for System Development and Verification, Bremen.
* Publikationen, an deren Erstellung die Gesellschafter oder Mitarbeiter der IT Power Consultants Dr. Sadeghipour Kalantary GbR beteiligt waren.