Scott A. Smolka - Publications, H-index & Citations | Canyam

Not logged in

Back

S

Scott A. Smolka

Technische Universitat Wien

42H-index

325Paper Count

6.8KCitation Count

Published Papers 16

Publication Date

Cumulative-Time Signal Temporal Logic

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS

IF2.6

2025-09-01

0

OAAI

Chen, Hongkai; Zhang, Zeyu; Roy, Shouvik; Bartocci, Ezio; Smolka, Scott A.; Stoller, Scott; Lin, Shan

Share

Save

Fault diagnosis of Discrete Event Systems under uncertain initial conditions

EXPERT SYSTEMS WITH APPLICATIONS

IF7.5

2024-12-01

1

PREAI

Karimoddini, Ali; Smolka, Scott A.; Karimadini, Mohammad

Share

Save

A distributed simplex architecture for multi-agent systems

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2023-01-01

6

OAAI

Mehmood, Usama; Roy, Shouvik; Damare, Amol; Grosu, Radu; Smolka, Scott A.; Stoller, Scott D.

Share

Save

Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs

IF3.6

2023-01-01

2

OAAI

Krish, Veena; Paoletti, Nicola; Smolka, Scott A. A.; Rahmati, Amir

Share

Save

Data-Driven Robust Control for a Closed-Loop Artificial Pancreas

IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS

IF3.4

2020-11-01

10

OAAI

Paoletti, Nicola; Liu, Kin Sum; Chen, Hongkai; Smolka, Scott A.; Lin, Shan

Share

Save

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems

IF3.6

2020-01-01

5

OAAI

Shmarov, Fedor; Soudjani, Sadegh; Paoletti, Nicola; Bartocci, Ezio; Lin, Shan; Smolka, Scott A.; Zuliani, Paolo

Share

Save

Quantitative Regular Expressions for Arrhythmia Detection

IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS

IF3.4

2019-09-01

11

OAAI

Abbas, Houssam; Rodionova, Alena; Mamouras, Konstantinos; Bartocci, Ezio; Smolka, Scott A.; Grosu, Radu

Share

Save

Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability

NONLINEAR ANALYSIS-HYBRID SYSTEMS

IF4.1

2017-02-01

3

PREAI

Murthy, Abhishek; Islam, Md. Ariful; Smolka, Scott A.; Grosu, Radu

Share

Save

Curvature Analysis of Cardiac Excitation Wavefronts

IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS

IF3.4

2013-03-01

9

OAAI

Murthy, Abhishek; Bartocci, Ezio; Fenton, Flavio H.; Glimm, James; Gray, Richard A.; Cherry, Elizabeth M.; Smolka, Scott A.; Grosu, Radu

Share

Save

Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes

COMMUNICATIONS OF THE ACM

IF12.2

2009-03-01

66

OAAI

Grosu, Radu; Smolka, Scott A.; Corradini, Flavio; Wasilewska, Anita; Entcheva, Emilia; Bartocci, Ezio

Share

Save

Model checking the Java metalocking algorithm

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2007-07-01

1

PREAI

Basu, Samik; Smolka, Scott A.

Share

Save

Distributed prototyping from validated specifications

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2004-03-01

3

PREAI

Hansel, D; Cleaveland, R; Smolka, SA

Share

Save

Strong interaction fairness via randomization

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS

IF6

1998-01-01

13

PREAI

Joung, YJ; Smolka, SA

Share

Save

Strategic directions in concurrency research

ACM COMPUTING SURVEYS

IF28

1996-12-01

30

OAAI

Cleaveland, R; Smolka, SA; Alur, R; Baeten, J; Bergstra, JA; Best, E; DeNicola, R; Gill, H; Gorrieri, R; Gouda, MG; Groote, JF; Henzinger, TA; Hoare, CAR; Luginbuhl, D; Meyer, A; Miller, D; Misra, J; Moller, F; Montanari, U; Pnueli, A; Prasad, S; Pratt, VR; Sifakis, J; SmolkaChair, SA; Steffen, B; Thomsen, B; Vaandrager, F; Vardi, M; Wolper, P

Share

Save

ON THE COMPUTATIONAL-COMPLEXITY OF BISIMULATION

ACM COMPUTING SURVEYS

IF28

1995-06-01

7

OAAI

MOLLER, F; SMOLKA, SA

Share

Save

ON RANDOMIZATION IN SEQUENTIAL AND DISTRIBUTED ALGORITHMS

ACM COMPUTING SURVEYS

IF28

1994-03-01

30

OAAI

GUPTA, R; SMOLKA, SA; BHASKAR, S

Share

Save