로드 중...
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
연간 인용횟수
중복된 서지정보
다음 학술 문서는 학술검색에서 병합되어 있습니다.
총 인용
횟수가 첫 번째 학술 문서에 대해서만 계산됩니다.
병합된 서지정보
이 '인용' 횟수는 학술검색의 다음 학술 문서에 대한 인용문을 포함합니다.
*
표시된 인용문은 프로필에 있는 학술 문서와 다를 수 있습니다.
공동 저자 추가
공동 저자
팔로우
이 저자의 새 학술자료
이 저자를 인용한 새 학술자료
이 저자의 연구와 관련된 새 학술자료
업데이트를 받을 이메일 주소
완료
내 프로필
내 서재
통계
알리미
설정
로그인
로그인
내 프로필 만들기
인용
전체
2019년 이후
서지정보
14
13
h-index
2
2
i10-index
1
1
0
6
3
2020
2021
2022
2023
2
6
5
공개 액세스
모두 보기
모두 보기
자료 2개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
Adrian Francalanza
University of Malta
um.edu.mt의 이메일 확인됨
Antonis Achilleos
Reykjavik University
ru.is의 이메일 확인됨
Léo Exibard
Assistant professor at LIGM, Université Gustave Eiffel
univ-eiffel.fr의 이메일 확인됨
Karoliina Lehtinen
CNRS, Aix-Marseille Université, LIS
lis-lab.fr의 이메일 확인됨
팔로우
Jasmine Xuereb
Reykjavik University
um.edu.mt의 이메일 확인됨
runtime monitoring
concurrent systems
학술자료
인용
공개 액세스
공동 저자
제목
정렬
서지정보순 정렬
연도순 정렬
제목순 정렬
인용
인용
연도
On implementing symbolic controllability
A Francalanza, J Xuereb
International Conference on Coordination Languages and Models, 350-369
, 2020
12
2020
A synthesis tool for optimal monitors in a branching-time setting
A Achilleos, L Exibard, A Francalanza, K Lehtinen, J Xuereb
International Conference on Coordination Languages and Models, 181-199
, 2022
2
2022
If At First You Don't Succeed: Extended Monitorability through Multiple Executions
A Achilleos, A Francalanza, J Xuereb
arXiv preprint arXiv:2306.05229
, 2023
2023
Mechanising symbolic controllability
J Xuereb
University of Malta
, 2021
2021
Epistemic Logic for verifying runtime verification communication protocols
A Achilleos, E Anastasiadi, A Francalanza, J Xuereb
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–5
더보기
개인정보처리방침
약관
도움말
학술검색 정보
검색 도움말