المؤلفون: Christoph Schimeczek, Marc Deissenroth-Uhrig, Ulrich Frey, Benjamin Fuchs, A. Achraf El Ghazi, Manuel Wetzel, Kristina Nienhaus

مصطلحات موضوعية: parallelisation, Automotive Engineering, agent-based, energy systems, modelling framework, Java

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::53c12e7d6628d4fc077f2e5622f56931
https://elib.dlr.de/194775/

المؤلفون: Klemens Böhm, Aboubakr Achraf El Ghazi, Gabriela Suntaxi

المصدر: ACM Transactions on Cyber-Physical Systems. 5:1-29

مصطلحات موضوعية: Service (business), Control and Optimization, Computer Networks and Communications, business.industry, Computer science, 020206 networking & telecommunications, Access control, 02 engineering and technology, Service provider, Adversary, Computer security, computer.software_genre, Encryption, Human-Computer Interaction, Symmetric-key algorithm, Artificial Intelligence, Hardware and Architecture, 020204 information systems, Secrecy, Location-based service, 0202 electrical engineering, electronic engineering, information engineering, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::723faf2b4c2520f3bc3687cdb25001d6
https://doi.org/10.1145/3396071

المؤلفون: Gabriela Suntaxi, Klemens Böhm, Aboubakr Achraf El Ghazi

المصدر: Distributed and parallel databases, 39, 35–77

مصطلحات موضوعية: Information Systems and Management, Computer science, Secrecy, 02 engineering and technology, Encryption, computer.software_genre, Performance model, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Data_FILES, business.industry, DATA processing & computer science, Adversary, Service provider, Data structure, Graph data, Database outsourcing, Hardware and Architecture, Graph (abstract data type), 020201 artificial intelligence & image processing, Data mining, ddc:004, business, Data outsourcing, computer, Software, Information Systems

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b416e9861df2499204e183f73f5dfc1c
https://publikationen.bibliothek.kit.edu/1000105706/82974074

المؤلفون: Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm

المصدر: SACMAT

مصطلحات موضوعية: Syntax (programming languages), Computer science, business.industry, Authorization, 020207 software engineering, Access control, 02 engineering and technology, Computer security, computer.software_genre, Semantics, Reciprocity (evolution), 020204 information systems, Phenomenon, 0202 electrical engineering, electronic engineering, information engineering, Role-based access control, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::75f7ca857ae52d0375a9e0216f3c7561
https://doi.org/10.1145/3322431.3325415

المؤلفون: Mihai Herda, Mana Taghdiri, Aboubakr Achraf El Ghazi

المصدر: Lecture Notes in Computer Science ISBN: 9783319175232
NFM

مصطلحات موضوعية: Discrete mathematics, Automated theorem proving, Correctness, Transitive closure, Invariant (mathematics), First order, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::de3cd7419a86c44f48d8bd04c2565479
https://doi.org/10.1007/978-3-319-17524-9_11

المؤلفون: Mattias Ulbrich, Mana Taghdiri, Shmuel S. Tyszberowicz, Christoph Gladisch, Aboubakr Achraf El Ghazi

المصدر: Lecture Notes in Computer Science ISBN: 9783319061993
NASA Formal Methods

مصطلحات موضوعية: Java, Computer science, Programming language, Proof assistant, Transitive closure, Specification language, computer.software_genre, Automated theorem proving, Relational calculus, Codd's theorem, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, computer, Java Modeling Language, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::69fbfb2647c93f329341f5f72f430b60
https://doi.org/10.1007/978-3-319-06200-6_13

المؤلفون: Ulrich Geilmann, Mattias Ulbrich, Mana Taghdiri, Aboubakr Achraf El Ghazi

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

مصطلحات موضوعية: Correctness, Theoretical computer science, Programming language, Proof assistant, Transitive closure, Sequent calculus, Specification language, computer.software_genre, Condensed Matter::Materials Science, Automated theorem proving, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Alloy Analyzer, Software_SOFTWAREENGINEERING, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Completeness (logic), computer, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::433c4f4293fdab2654518e0e40023da3
https://doi.org/10.1007/978-3-642-28756-5_29

المؤلفون: Aboubakr Achraf El Ghazi, Mana Taghdiri

المصدر: Lecture Notes in Computer Science ISBN: 9783642214363
FM

مصطلحات موضوعية: Theoretical computer science, Relation (database), Programming language, Computer science, Statistical relational learning, computer.software_genre, Relational operator, Tautology (logic), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Alloy Analyzer, Relational calculus, Codd's theorem, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Bounded function, Relational model, Relational reasoning, computer, Relational logic, Counterexample

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2f07b78987a66eb303703fa7c3ccdb2e
https://doi.org/10.1007/978-3-642-21437-0_12