Cikkek nyilvánosan hozzáférhető megbízással - Steven SmythTovábbi információ
Valahol hozzáférhető: 11
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts
R Von Hanxleden, B Duderstadt, C Motika, S Smyth, M Mendler, ...
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
Megbízások: German Research Foundation
Runtime enforcement of cyber-physical systems
S Pinisetty, PS Roop, S Smyth, N Allen, S Tripakis, RV Hanxleden
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-25, 2017
Megbízások: US National Science Foundation, German Research Foundation, Academy of …
Compiling SCCharts—A case-study on interactive model-based compilation
C Motika, S Smyth, R Hanxleden
International Symposium On Leveraging Applications of Formal Methods …, 2014
Megbízások: German Research Foundation
Runtime enforcement of reactive systems using synchronous enforcers
S Pinisetty, PS Roop, S Smyth, S Tripakis, R Hanxleden
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
Megbízások: US National Science Foundation, German Research Foundation, Academy of …
SCEst: sequentially constructive esterel
S Smyth, C Motika, K Rathlev, RV Hanxleden, M Mendler
ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 1-26, 2017
Megbízások: German Research Foundation
Augmenting state models with data flow
N Wechselberg, A Schulz-Rosengarten, S Smyth, R Hanxleden
Principles of Modeling, 504-523, 2018
Megbízások: German Research Foundation
Towards interactive timing analysis for designing reactive systems
I Fuhrmann, D Broman, S Smyth, R Hanxleden
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2014
Megbízások: German Research Foundation, Swedish Research Council
Synthesizing manually verifiable code for statecharts
S Smyth, C Motika, R von Hanxleden
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and …, 2018
Megbízások: German Research Foundation
Runtime Enforcement of Cyber-Physical Systems
PS ROOP, S SMYTH, N ALLEN, RE VON HANXLEDEN
Megbízások: US National Science Foundation, German Research Foundation, Academy of …
Submitted to Special Issue of MEMOCODE 2015 Best Papers SCEst: Sequentially Constructive Esterel
S SMYTH, C MOTIKA, K RATHLEV, R VON HANXLEDEN
Megbízások: German Research Foundation
Sequential constructiveness, sccharts for safety-critical applications
RV Hanxleden, B Duderstadt, I Fuhrmann, C Motika, S Smyth, M Mendler, ...
Software-engineering and management 2015, 2015
Megbízások: German Research Foundation
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.