BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Ireland
1 × Norway
1 × South Africa
1 × The Netherlands
3 × Germany
Collaborated with:
Thomas Gerlitz S.Biallas J.Brauer D.Franke C.Weise J.Preußig David Thönnessen A.Polzer N.Prakobkosol A.King C.Elsemann S.Hauck-Stattelmann B.Schlich R.Jetley A.Michailidis U.Spieth T.Ringler B.Hedenetz G.Botterweck A.Pleuß D.Dhungana Manfred Smieschek Timo Hinrichs André Stollenwerk Rudiger Preub Niklas Reinker Stefan Rakel Andrei Svetlakov Nick Smallbone M.Fabian K.Claessen D.Schmitz M.Zhang T.Rose M.Jarke J.Palczynski M.Reke
Talks about:
model (5) control (4) applic (4) test (3) simulink (2) properti (2) discret (2) develop (2) system (2) matlab (2)

Person: Stefan Kowalewski

DBLP DBLP: Kowalewski:Stefan

Facilitated 1 volumes:

TACAS 2009Ed

Contributed to:

FM 20152015
ASE 20122012
ICST 20122012
SAS 20122012
WCRE 20112011
DATE 20102010
PLEASE 20102010
ECMDA-FA 20092009
TACAS 19961996
WICSA 20162016
CASE 20182018
CASE 20192019

Wrote 14 papers:

FM-2015-Hauck-Stattelmann #behaviour #industrial
Analyzing the Restart Behavior of Industrial Control Applications (SHS, SB, BS, SK, RJ), pp. 585–588.
ASE-2012-BiallasBK #framework #logic #platform #programmable #verification
Arcade.PLC: a verification platform for programmable logic controllers (SB, JB, SK), pp. 338–341.
ICST-2012-FrankeKWP #consistency #lifecycle #mobile #testing
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.
Loop Leaping with Closures (SB, JB, AK, SK), pp. 214–230.
WCRE-2011-FrankeEKW #lifecycle #mobile #reverse engineering
Reverse Engineering of Mobile Application Lifecycles (DF, CE, SK, CW), pp. 283–292.
DATE-2010-MichailidisSRHK #development
Test front loading in early stages of automotive software development based on AUTOSAR (AM, US, TR, BH, SK), pp. 435–440.
PLEASE-2010-BotterweckPDPK #evolution #named #product line
EvoFM: feature-driven planning of product-line evolution (GB, AP, DD, AP, SK), pp. 24–31.
ECMDA-FA-2009-SchmitzZRJPPKR #development #modelling
Mapping Requirement Models to Mathematical Models in Control System Development (DS, MZ, TR, MJ, AP, JP, SK, MR), pp. 253–264.
TACAS-1996-KowalewskiP #composition #framework #modelling #realtime #verification
Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control (SK, JP), pp. 225–240.
WICSA-2016-GerlitzK #matlab #modelling #slicing
Flow Sensitive Slicing for MATLAB/Simulink Models (TG, SK), pp. 81–90.
WICSA-2016-GerlitzK16a #analysis #architecture #matlab #modelling
Architectural Analysis of MATLAB/Simulink Models with Artshop (TG, SK), pp. 307–310.
A New Condition Indicator for Slow-Rotating Roller Chains based on the Angle and Torque of the Driving Motor (MS, TH, AS, SK, RP), pp. 642–644.
CASE-2018-ThonnessenRRSK #algorithm #correctness #multi #specification
Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications (DT, NR, SR, AS, SK), pp. 1197–1202.
CASE-2019-ThonnessenSFCK #quickcheck #safety #testing #using
Testing Safety PLCs Using QuickCheck (DT, NS, MF, KC, SK), pp. 1–6.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.