Cs-Lo
정량적 정보 흐름을 안전과 활동성 하이퍼특성으로 이해하기
유한 교대 전이 시스템을 위한 제어 전략 알고리즘
뮤 계산의 단일 변수 절단 제거
튜링 기계의 관측 가능성: 계산 이론의 새로운 시각
확률 시스템을 위한 가정 보장 추상화 정제 기법
모달 논리의 만족성 vs. 유한 만족성: 결정성의 이중성
스키몰 함수 제거와 인터랙티브 실현성
고차 참조가 있는 타입 동형성 연구
디지털 영상용 이산 벡터 필드 생성 알고리즘의 Coq 검증
시간적 해석을 이용한 LTL 불만족 핵 추출
멀티푸시다운 시스템 모델검사 복잡도 분석
힙과 재귀의 상호작용 검증
DC와 PDC 사양에 대한 근사 모델 검증
초기 의미론과 감소 규칙의 통합
계산 신뢰성 PDE부터 프로그램까지 기계 증명
자기쌍대 양화자를 이용한 구조 연산 체계 확장
효율적인 시뮬레이션 알고리즘
보간법 특성 및 SAT 기반 모델 검증의 통합 프레임워크
프로세스 대수와 행동 기반 CTL의 통합
시계가 있는 보헴 트리로 람다 항등식 구분하기
LTL FG 조각을 위한 결정적 오토마타
거친 집합 이론에서 지식 표현의 변증법
