المؤلفون: Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 260, Iss Proc. SYNT 2017, Pp 116-143 (2017)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1711.11439v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/0a5e0070b565485da8511bb0df92db2f

المؤلفون: Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 229, Iss Proc. SYNT 2016, Pp 149-177 (2016)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1609.00507v2; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/aaccd15b40d741e083b82d2c6cd3e043

المؤلفون: Swen Jacobs, Felix Klein, Sebastian Schirmer

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 229, Iss Proc. SYNT 2016, Pp 112-132 (2016)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1604.02284v3; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/8e4a3bbd14894ba6bcd8e747d026056b

المؤلفون: Swen Jacobs, Roderick Bloem

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 229, Iss Proc. SYNT 2016, Pp 133-148 (2016)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1611.07626v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/563850b7261148df9030e4db5ce2a3bf

المؤلفون: Swen Jacobs, Leander Tentrup, Martin Zimmermann

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 226, Iss Proc. GandALF 2016, Pp 228-241 (2016)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1509.05144v3; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/75473cdd672a49759ebed6bbb9318c3a

المؤلفون: Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 202, Iss Proc. SYNT 2015, Pp 27-57 (2016)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1602.01171v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/a9c45a590c8c4abeb527d9ec981ba822

المؤلفون: Roderick Bloem, Swen Jacobs, Ayrat Khalimov

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 157, Iss Proc. SYNT 2014, Pp 68-83 (2014)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1407.6580v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/53b7a93b1e5e443b9f04104c027cf411

المؤلفون: Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 157, Iss Proc. SYNT 2014, Pp 34-50 (2014)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1407.5395v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/03332321568842068c90d1d2e10b178e

المؤلفون: Swen Jacobs, Roderick Bloem

المصدر: Logical Methods in Computer Science, Vol Volume 10, Issue 1 (2014)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/736/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/ab9ef5b21b1449f0b9e381862a028b97

المؤلفون: Swen Jacobs, Mouhammad Sakr, Marcus Völp

مصطلحات موضوعية: Reliable Security Guarantees

Relation: https://figshare.com/articles/conference_contribution/Automatic_Repair_and_Deadlock_Detection_for_Parameterized_Systems/24614505

الاتاحة: https://doi.org/10.60882/cispa.24614505.v1
https://figshare.com/articles/conference_contribution/Automatic_Repair_and_Deadlock_Detection_for_Parameterized_Systems/24614505

المؤلفون: Swen Jacobs, Mouhammad Sakr

مصطلحات موضوعية: Reliable Security Guarantees

Relation: https://figshare.com/articles/conference_contribution/AIGEN_Random_Generation_of_Symbolic_Transition_Systems/24613653

الاتاحة: https://doi.org/10.60882/cispa.24613653.v1
https://figshare.com/articles/conference_contribution/AIGEN_Random_Generation_of_Symbolic_Transition_Systems/24613653

المؤلفون: Swen Jacobs, Guillermo A. Perez

Relation: https://doi.org/10.5281/zenodo.7588779; https://doi.org/10.5281/zenodo.10793078; oai:zenodo.org:10793078

الاتاحة: https://doi.org/10.5281/zenodo.10793078

المؤلفون: Swen Jacobs and Kenneth McMillan and Roopsha Samanta and Ilya Sergey, Jacobs, Swen, McMillan, Kenneth, Samanta, Roopsha, Sergey, Ilya

مصطلحات الفهرس: Deductive Verification, Distributed Algorithms, Formal Verification, Model Checking, Article, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.32
Is Part Of Dagstuhl Reports, Volume 13, Issue 3 (2023)

المؤلفون: Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5b2763737c6b2f245dfdfa6d520b31cb
https://doi.org/10.1007/978-3-031-30820-8_19

المؤلفون: Swen Jacobs, Milind Kulkarni, Roopsha Samanta, Christopher Wagner, Nouraldin Jaber

المصدر: Proceedings of the ACM on Programming Languages. 5:1-31

مصطلحات موضوعية: Service (systems architecture), Leader election, Record locking, Computer science, business.industry, Distributed computing, Mobile robot, Modular design, Encoding (memory), Scalability, Key (cryptography), Safety, Risk, Reliability and Quality, business, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8f0c5d1285a14cb97e851ad494e9d1c3
https://doi.org/10.1145/3485534

المؤلفون: Swen Jacobs, Guillermo A. Perez

Relation: https://doi.org/10.5281/zenodo.7588779; https://doi.org/10.5281/zenodo.7588780; oai:zenodo.org:7588780

الاتاحة: https://doi.org/10.5281/zenodo.7588780

المؤلفون: Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

مصطلحات موضوعية: Reliable Security Guarantees

Relation: https://figshare.com/articles/conference_contribution/QuickSilver_Modeling_and_Parameterized_Verification_for_Distributed_Agreement-Based_Systems/24613758

الاتاحة: https://doi.org/10.60882/cispa.24613758.v1
https://figshare.com/articles/conference_contribution/QuickSilver_Modeling_and_Parameterized_Verification_for_Distributed_Agreement-Based_Systems/24613758

المؤلفون: Nahal Mirzaie, Borzoo Bonakdarpour, Swen Jacobs, Fathiyeh Faghih

المصدر: Acta Informatica. 57:271-304

مصطلحات موضوعية: Computer Networks and Communications, Computer science, Initialization, Parameterized complexity, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Network topology, Topology, 01 natural sciences, Closure (mathematics), 010201 computation theory & mathematics, Convergence (routing), Scalability, 0202 electrical engineering, electronic engineering, information engineering, State space, Maximal independent set, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4d2b10739c5b10f5e2647508cbfd4839
https://doi.org/10.1007/s00236-019-00361-7

المؤلفون: Swen Jacobs, Mouhammad Sakr, Martin Zimmermann

مصطلحات موضوعية: Reliable Security Guarantees

Relation: https://figshare.com/articles/conference_contribution/Promptness_and_Bounded_Fairness_in_Concurrent_and_Parameterized_Systems/24613155

الاتاحة: https://doi.org/10.60882/cispa.24613155.v1
https://figshare.com/articles/conference_contribution/Promptness_and_Bounded_Fairness_in_Concurrent_and_Parameterized_Systems/24613155

المؤلفون: Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta

مصطلحات موضوعية: Reliable Security Guarantees

Relation: https://figshare.com/articles/conference_contribution/Parameterized_Verification_of_Systems_with_Global_Synchronization_and_Guards/24613215

الاتاحة: https://doi.org/10.60882/cispa.24613215.v1
https://figshare.com/articles/conference_contribution/Parameterized_Verification_of_Systems_with_Global_Synchronization_and_Guards/24613215