Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Parosh Aziz Abdulla 25 träffar

Titel Författare År Språk
1 An Integrated Specification and Verification Technique for Highly Concurrent Data Structures ITALY Rome 2013 16-24 March 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Parosh Aziz Abdulla 2013 Engelska
2 Automatic verification of a class of systolic hardware circuits Parosh Aziz Abdulla 1990 Engelska
3 Bisimulation minimization of tree automata Parosh Aziz Abdulla 2006 Engelska
4 Counter-Example Guided Fence Insertion under TSO TACAS 2012 Parosh Aziz Abdulla 2012 Engelska
5 Decision problems in systolic circuit verification Parosh Aziz Abdulla 1990 Engelska
6 MEMORAX, a Precise and Sound Tool for Automatic Fence Insertion under TSO Italy Rome 2013 March 16-24 ETAPS 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software TACAS 2013 19th International Conference Parosh Aziz Abdulla 2013 Engelska
7 Parameterized Verification under TSO with Data Types 2023 April 22–27 France Paris ETAPS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software TACAS 2023 29th International Conference Parosh Aziz Abdulla 2023 Engelska
8 Parsimonious Optimal Dynamic Partial Order Reduction CANADA Montreal 2024 JUN 24-27 36th International Conference on Computer-Aided Verification (CAV) Parosh Aziz Abdulla 2024 Engelska
9 Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings Parosh Aziz. Abdulla 2013 Engelska
10 The Decidability of Verification under PS 2.0 ELECTR NETWORK 2021 MAR 27-APR 01 30th European Symposium on Programming (ESOP) Held as Part of the 24th European Joint Conferences on Theory and Practice of Software (ETAPS) Parosh Aziz Abdulla 2021 Engelska
11 Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings Parosh Aziz. Abdulla 2011 Engelska
12 "Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proce" Parosh Aziz Abdulla 2011 Okänt
13 Verification of Directed Acyclic Ad Hoc Networks Italy Florence 2013 June 3-5 Formal Techniques for Distributed Systems (FORTE 2013) Parosh Aziz Abdulla 2013 Engelska
14 Verification of Dynamic Register Automata December 15–17 2014. India New Delhi IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Parosh Aziz Abdulla 2014 Engelska
15 Verification of heap manipulating programs with ordered data by extended forest automata Vietnam Hanoi October 15-18 ATVA 2013 Parosh Aziz Abdulla 2013 Engelska
16 Verification under TSO with an infinite Data Domain Luxembourg Luxembourg 2024 April 6-11 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 27th European Joint Conferences on Theory and Practice of Software (ETAPS) Parosh Aziz Abdulla 2024 Engelska
17 Few is Just Enough! - Small Model Theorem for Parameterized Verification and Shape Analysis Frédéric Haziza 2015 Engelska
18 Verification of Software under Relaxed Memory Carl Leonardsson 2016 Engelska
19 Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers 2016 Engelska
20 Networked Systems 2016 Okänt

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.