E-LIB Suche - Ergebnisse für: Deligiannis, Pantazis

1

Industrial-Strength Controlled Concurrency Testing for $$\t..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Deligiannis, Pantazis ; Senthilnathan, Aditya ; Nayyar, Fahad.. - p. 433-452 , 2023

Link: https://doi.org/10.1007/..

2

Building Reliable Cloud Services Using Coyote Actors:

, In: Proceedings of the ACM Symposium on Cloud Computing,

Deligiannis, Pantazis ; Ganapathy, Narayanan ; Lal, Akash. - p. 108-121 , 2021

Link: https://dl.acm.org/doi/1..

3

Nekara : generalized concurrency testing:

, In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering,

Agarwal, Udit ; Deligiannis, Pantazis ; Huang, Cheng... - p. 679-691 , 2021

Link: https://dl.acm.org/doi/1..

4

Studying Ransomware Attacks Using Web Search Logs:

, In: Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval,

Bansal, Chetan ; Deligiannis, Pantazis ; Maddila, Chandra. - p. 1517-1520 , 2020

Link: https://dl.acm.org/doi/1..

5

Learning-based controlled concurrency testing:

Mukherjee, Suvam ; Deligiannis, Pantazis ; Biswas, Arpita.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-31 , 2020

Link: https://dl.acm.org/doi/1..

6

Learning-based controlled concurrency testing:

Mukherjee, Suvam ; Deligiannis, Pantazis ; Biswas, Arpita.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-31 , 2020

Link: https://doi.org/10.1145/..

7

Implementing and Evaluating Candidate-Based Invariant Gener..:

Betts, Adam ; Chong, Nathan ; Deligiannis, Pantazis..
IEEE Transactions on Software Engineering. 44 (2018) 7 - p. 631-650 , 2018

Link: https://doi.org/10.1109/..

8

Project snowflake: non-blocking safe manual memory manageme..:

Parkinson, Matthew ; Vytiniotis, Dimitrios ; Vaswani, Kapil...
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-25 , 2017

Link: https://dl.acm.org/doi/1..

9

Project snowflake: non-blocking safe manual memory manageme..:

Parkinson, Matthew ; Vytiniotis, Dimitrios ; Vaswani, Kapil...
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-25 , 2017

Link: https://doi.org/10.1145/..

10

Fast and precise symbolic analysis of concurrency bugs in d..:

, In: Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering,

Deligiannis, Pantazis ; Donaldson, Alastair F. ; Rakamarić, Zvonimir - p. 166-177 , 2015

Link: https://dl.acm.org/doi/1..

11

Asynchronous programming, analysis and testing with state m..:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Deligiannis, Pantazis ; Donaldson, Alastair F. ; Ketema, Jeroen.. - p. 154-164 , 2015

Link: https://dl.acm.org/doi/1..

12

Asynchronous programming, analysis and testing with state m..:

Deligiannis, Pantazis ; Donaldson, Alastair F. ; Ketema, Jeroen..
ACM SIGPLAN Notices. 50 (2015) 6 - p. 154-164 , 2015

Link: https://doi.org/10.1145/..

13

Improving the diagnosis of mild hypertrophic cardiomyopathy..:

, In: Proceedings of third international workshop on MapReduce and its Applications Date,

Deligiannis, Pantazis ; Loidl, Hans-Wolfgang ; Kouidi, Evangelia - p. 41-48 , 2012

Link: https://dl.acm.org/doi/1..

14

Haskell vs. f# vs. scala : a high-level language feature..:

, In: Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing,

Totoo, Prabhat ; Deligiannis, Pantazis ; Loidl, Hans-Wolfgang - p. 49-60 , 2012

Link: https://dl.acm.org/doi/1..

15

The use of pupillometry in the assessment of cardiac autono..:

Kaltsatou, Antonia ; Kouidi, Evangelia ; Fotiou, Dimitrios.
European Journal of Applied Physiology. 111 (2011) 9 - p. 2079-2087 , 2011

Link: https://doi.org/10.1007/..