E-LIB Suche - Ergebnisse für: Pnueli, Amir

1

From Real-time Logic to Timed Automata:

Ferrère, Thomas ; Maler, Oded ; Ničković, Dejan.
Journal of the ACM (JACM). 66 (2019) 3 - p. 1-31 , 2019

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

2

From Real-time Logic to Timed Automata:

Ferrère, Thomas ; Maler, Oded ; Ničković, Dejan.
Journal of the ACM. 66 (2019) 3 - p. 1-31 , 2019

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

3

Temporal Logic and Fair Discrete Systems:

, In: Handbook of Model Checking,

Piterman, Nir ; Pnueli, Amir - p. 27-73 , 2018

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

4

Once and for all:

Kupferman, Orna ; Pnueli, Amir ; Vardi, Moshe Y.
Journal of Computer and System Sciences. 78 (2012) 3 - p. 981-996 , 2012

Link: https://doi.org/10.1016/..

5

Synthesis of Reactive(1) designs:

Bloem, Roderick ; Jobstmann, Barbara ; Piterman, Nir..
Journal of Computer and System Sciences. 78 (2012) 3 - p. 911-938 , 2012

Link: https://doi.org/10.1016/..

6

Low dimensional hybrid systems – decidable, undecidable, do..:

Asarin, Eugene ; Mysore, Venkatesh P. ; Pnueli, Amir.
Information and Computation. 211 (2012) - p. 138-159 , 2012

Link: https://doi.org/10.1016/..

7

Verification of multi-linked heaps:

Balaban, Ittai ; Pnueli, Amir ; Sa'ar, Yaniv.
Journal of Computer and System Sciences. 78 (2012) 3 - p. 853-876 , 2012

Link: https://doi.org/10.1016/..

8

Time for verification

essays in memory of Amir Pnueli Lecture notes in computer science ; 6200

Manna, Zohar ; Pnueli, Amir ; Peled, Doron A. , 2010

Link: http://dx.doi.org/10.100..

9

Perspectives of systems informatics

7th International Andrei Ershov Memorial Conference, PSI 20... Lecture notes in computer science ; 5947

Pnueli, Amir ; Virbitskaite, Irina ; Voronkov, Andrei , 2010

Link: http://dx.doi.org/10.100..

10

Synthesis of programs from temporal property specifications:

, In: Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign,

Pnueli, Amir ; Klein, Uri - p. 1-7 , 2009

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

11

Program analysis for compiler validation:

, In: Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering,

Zaks, Anna ; Pnueli, Amir - p. 1-7 , 2008

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

12

A scenario-based approach to modeling development: A protot..:

Kam, Na'aman ; Kugler, Hillel ; Marelly, Rami...
Developmental Biology. 323 (2008) 1 - p. 1-5 , 2008

Link: https://doi.org/10.1016/..

13

Specify, Compile, Run: Hardware from PSL:

Bloem, Roderick ; Galler, Stefan ; Jobstmann, Barbara...
Electronic Notes in Theoretical Computer Science. 190 (2007) 4 - p. 3-16 , 2007

Link: https://doi.org/10.1016/..

14

Synthesizing reactive systems from LSC requirements using t..:

, In: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion,

Kugler, Hillel ; Plock, Cory ; Pnueli, Amir - p. 801-802 , 2007

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

15

Interactive presentation: Automatic hardware synthesis from..:

, In: Proceedings of the conference on Design, automation and test in Europe,

Bloem, Roderick ; Galler, Stefan ; Jobstmann, Barbara... - p. 1188-1193 , 2007

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