Martin Lukasiewycz

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Dip Goswami

> Home > Persons > Martin Lukasiewycz

Publications

2013
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/KauerSGSLC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/KauerSGSLC13
Matthias Kauer, Sebastian Steinhorst, Dip Goswami, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty:
Formal verification of distributed controllers using Time-Stamped Event Count Automata. ASP-DAC 2013: 411-416
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/GoswamiLKSMCR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/GoswamiLKSMCR13
Dip Goswami, Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst, Alejandro Masrur, Samarjit Chakraborty, S. Ramesh:
Model-based development and verification of control software for electric vehicles. DAC 2013: 96:1-96:9
2012
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/LukasiewyczSGC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/LukasiewyczSGC12
Martin Lukasiewycz, Reinhard Schneider, Dip Goswami, Samarjit Chakraborty:
Modular scheduling of distributed heterogeneous time-triggered automotive systems. ASP-DAC 2012: 665-670
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/date/GoswamiLSC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/GoswamiLSC12
Dip Goswami, Martin Lukasiewycz, Reinhard Schneider, Samarjit Chakraborty:
Time-triggered implementations of mixed-criticality automotive software. DATE 2012: 1227-1232
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/samos/GoswamiSMLCVA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/samos/GoswamiSMLCVA12
Dip Goswami, Reinhard Schneider, Alejandro Masrur, Martin Lukasiewycz, Samarjit Chakraborty, Harald Voit, Anuradha Annaswamy:
Challenges in automotive cyber-physical systems design. ICSAMOS 2012: 346-354
2011
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/codes/SchneiderGZLC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codes/SchneiderGZLC11
Reinhard Schneider, Dip Goswami, Sohaib Zafar, Martin Lukasiewycz, Samarjit Chakraborty:
Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems. CODES+ISSS 2011: 139-148

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.