University of Tartu Tartu Estonia

  1. Home
  2. search page
  3. affiliation

University of Tartu Tartu Estonia

국가: Estonia
주요 연구 분야: Verification
주요 키워드: #verifying #proofs #forensic
주요 저자:
#Santiago Rodrigo #Sergi Abadal #Carmen Garcia Almudéver #Eduard Alarcón #Domenico Spanò

📄 기관 상세정보

출판수8
총 인용수5
평균 인용수0.63
저자 수40
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (8건)

Declarative Process Specifications over Discrete/Continuous Event Data
저자: Carl Corea , Anti Alman , Fabrizio Maria Maggi , Paul Hermann Wittlinger
키워드: #sensors #logic #verifying #constraints #sensor
파트: Software Development | 연도: 2025
Forensic Readiness and Privacy: Towards Resolving Software Goal Conflict
저자: Lukas Daubner , Jakub Harašta , Raimundas Matulevičius
키워드: #software #evidence #forensic #investigation #preparation
파트: Safety | 연도: 2025
A Framework for Applying Digital Twins to Support Incident Response
저자: Sabah Suhail , Mubashar Iqbal , Kieran McLaughlin , Brian Lee , Babar Imtiaz
키워드: #cyber #cybersecurity #cyberattacks #espionage #sabotage
파트: Safety | 연도: 2025
SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F*
저자: Catalin Hritcu , Cezar Constantin Andrici , Danel Ahman , Ruxandra Icleanu , Guido Martínez , Exequiel Rivas , Théo Winterhalter
키워드: #interoperability #refinement #verification #protecting #proofs
파트: Verification | 연도: 2025
Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance
저자: Dan Bogdanov , Eduardo Brito , Annika Jaakson , Peeter Laud , Raul-Martin Rebane
키워드: #privacy #verifying #proofs #vehicle #taxation
파트: Verification | 연도: 2025
An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases
저자: Francesco Riva , Dario Benvenuti , Fabrizio Maria Maggi , Andrea Marrella , Marco Montali
키워드: #mining #databases #sql #weaknesses #relational
파트: Databases | 연도: 2023
A Model of Qualitative Factors in Forensic-Ready Software Systems
저자: Raimundas Matulevičius , Lukas Daubner , Barbora Buhnova
키워드: #engineering #security #designing #forensic #forensics
파트: Safety | 연도: 2023
Characterizing the spatio-temporal qubit traffic of a quantum intranet aiming at modular quantum computer architectures
저자: Santiago Rodrigo , Sergi Abadal , Carmen Garcia Almudéver , Eduard Alarcón , Domenico Spanò , Medina Bandic , Hans van Someren , Anabel Ovide , Sebastian Feld
키워드: #technology #algorithms #quantum #computers #processors
파트: Verification | 연도: 2022