المؤلفون: Päßler, Juliane, ter Beek, Maurice H., Damiani, Ferruccio, Tarifa, S. Lizeth Tapia, Johnsen, Einar Broch

المصدر: iFM 2023, Lecture Notes in Computer Science, vol 14300, pp. 343-363

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Robotics, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2308.14663

المؤلفون: Silva, Gustavo Rezende, Päßler, Juliane, Zwanepol, Jeroen, Alberts, Elvin, Tarifa, S. Lizeth Tapia, Gerostathopoulos, Ilias, Johnsen, Einar Broch, Corbato, Carlos Hernández

مصطلحات موضوعية: Computer Science - Robotics

URL الوصول: http://arxiv.org/abs/2303.09220

المؤلفون: Din, Crystal, Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar, Broch, Pun, Violet, Ka I, Tarifa, S. Lizeth Tapia

المساهمون: Compilation et Analyse, Logiciel et Matériel (CASH), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 0164-0925.

مصطلحات موضوعية: CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, CCS Concepts, Theory of computation → Parallel computing models, Programming logic, Program semantics, • Software and its engineering → Concurrent programming structures, [INFO]Computer Science [cs]

الاتاحة: https://hal.science/hal-04732946
https://hal.science/hal-04732946v1/document
https://hal.science/hal-04732946v1/file/LAGC.pdf
https://doi.org/10.1145/3648439

المؤلفون: Johnsen, Einar Broch, Pun, Ka I, Tarifa, S. Lizeth Tapia

المصدر: EPTCS 228, 2016, pp. 16-26

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1610.08199

المؤلفون: Kobialka, Paul, Tarifa, S. Lizeth Tapia, Bergersen, Gunnar R., Johnsen, Einar Broch

مصطلحات موضوعية: Customer Journeys, Games, Model Checking, Data-driven model construction

Relation: https://doi.org/10.5281/zenodo.6958452; https://doi.org/10.5281/zenodo.6958453; oai:zenodo.org:6958453

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

المؤلفون: Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tarifa, S. Lizeth Tapia

المصدر: ACM Transactions on Programming Languages & Systems; Mar2024, Vol. 46 Issue 1, p1-58, 58p

مصطلحات موضوعية: PROGRAMMING language semantics, SYMBOLIC computation, LOGIC, LOGIC design, MODULAR design, FIRST-order logic, SEMANTICS, CONCRETE

المؤلفون: Kamburjan, Eduard, Din, Crystal Chang, Schlatte, Rudolf, Tarifa, S. Lizeth Tapia, Johnsen, Einar Broch

المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles ; Lecture Notes in Computer Science ; page 188-204 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031198489 9783031198496

الاتاحة: http://dx.doi.org/10.1007/978-3-031-19849-6_12
https://link.springer.com/content/pdf/10.1007/978-3-031-19849-6_12

المؤلفون: Kamburjan, Eduard, Klungre, Vidar Norstein, Schlatte, Rudolf, Tarifa, S. Lizeth Tapia, Cameron, David, Johnsen, Einar Broch

المصدر: Lecture Notes in Computer Science ; Leveraging Applications of Formal Methods, Verification and Validation. Practice ; page 71-88 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031197611 9783031197628

الاتاحة: http://dx.doi.org/10.1007/978-3-031-19762-8_6
https://link.springer.com/content/pdf/10.1007/978-3-031-19762-8_6

المؤلفون: Schlatte, Rudolf, Johnsen, Einar Broch, Kazemeyni, Fatemeh, Tarifa, S. Lizeth Tapia

المصدر: Electronic Notes in Theoretical Computer Science ; volume 274, page 67-81 ; ISSN 1571-0661

الاتاحة: http://dx.doi.org/10.1016/j.entcs.2011.07.007
https://api.elsevier.com/content/article/PII:S1571066111000909?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1571066111000909?httpAccept=text/plain

المؤلفون: Johnsen, Einar Broch, Pun, Ka I, Tarifa, S. Lizeth Tapia

المصدر: 2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) ; page 1-6

الاتاحة: http://dx.doi.org/10.23919/softcom.2017.8115501
http://xplorestaging.ieee.org/ielx7/8106909/8115491/08115501.pdf?arnumber=8115501

المؤلفون: Brandauer, Stephan, Castegren, Elias, Clarke, Dave, Fernandez-Reyes, Kiko, Johnsen, Einar Broch, Pun, Ka I., Tarifa, S. Lizeth Tapia, Wrigstad, Tobias, Yang, Albert Mingkun

المصدر: Formal Methods for Multicore Programming Lecture Notes in Computer Science. :1-56

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-267514

المؤلفون: Bijo, Shiji, Johnsen, Einar Broch, Pun, Ka I., Tarifa, S. Lizeth Tapia

المصدر: Proceedings of the 31st Annual ACM Symposium on Applied Computing

الاتاحة: http://dx.doi.org/10.1145/2851613.2851718
https://dl.acm.org/doi/pdf/10.1145/2851613.2851718

المؤلفون: Albert, Elvira, Genaim, Samir, Gómez-Zamalloa, Miguel, Johnsen, Einar Broch, Schlatte, Rudolf, Tarifa, S. Lizeth Tapia

المصدر: Lecture Notes in Computer Science ; FM 2011: Formal Methods ; page 353-368 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642214363 9783642214370

الاتاحة: http://dx.doi.org/10.1007/978-3-642-21437-0_27
http://link.springer.com/content/pdf/10.1007/978-3-642-21437-0_27

المؤلفون: Parisaca Vargas, Abigail, Garis, Ana G., Tarifa, S. Lizeth Tapia, George, Chris

المصدر: Lecture Notes in Computer Science ; Integrated Formal Methods ; page 231-245 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642002540 9783642002557

الاتاحة: http://dx.doi.org/10.1007/978-3-642-00255-7_16
http://link.springer.com/content/pdf/10.1007/978-3-642-00255-7_16

المؤلفون: Mauro, Jacopo, Tarifa, S. Lizeth Tapia, Chieh Yu, Ingrid

المصدر: Norsk Informatikkonferanse; 2018, p1-12, 12p

مصطلحات موضوعية: MATHEMATICAL optimization, QUALITY of service, SERVICE level agreements, MATHEMATICAL complex analysis, DEPENDENCE (Statistics)