부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
교내접속
OFF
로그인
커뮤니티
공지 및 행사
게시판문의
자주묻는질문
전화/이메일 문의
도서관 일정
영문 바로가기
로그인
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
전체메뉴 열기
로그인하세요
부산대학교 도서관
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
clear
교내접속
OFF
영문 바로가기
Home
통합검색
학술논문
학술논문
arrow_drop_down
통합검색
ISSN
논문명
저널명
저자명
다국어
세부검색
히라가나
가타가나
독일,프랑스,스페인
그리스
라틴
러시아
로마자
한글고어
단위기호
학술기호
타이어
몽골어
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
あ
a
ぁ
か
ka
が
ga
さ
sa
ざ
za
た
ta
だ
da
な
na
は
ha
ば
ba
ぱ
pa
ま
ma
や
ya
ゃ
lya
ら
ra
わ
wa
ゎ
lwa
ん
n
l
い
i
ぃ
き
ki
ぎ
gi
し
si
じ
zi
ち
ti
ぢ
di
に
ni
ひ
hi
び
bi
ぴ
pi
み
mi
り
ri
ㅜ
う
u
ぅ
く
ku
ぐ
gu
す
su
ず
zu
つ
tu
づ
du
っ
ぬ
nu
ふ
hu
ぶ
bu
ぷ
pu
む
mu
ゆ
yu
ゅ
lyu
る
ru
ㅔ
え
e
ぇ
け
ke
げ
ge
せ
se
ぜ
ze
て
te
で
de
ね
ne
へ
he
べ
be
ぺ
pe
め
me
れ
re
ㅗ
お
o
ぉ
こ
ko
ご
go
そ
so
ぞ
zo
と
to
ど
do
の
no
ほ
ho
ぼ
bo
ぽ
po
も
mo
よ
yo
ょ
lyo
ろ
ro
を
wo
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
ア
a
ァ
カ
ka
ガ
ga
サ
sa
ザ
za
タ
ta
ダ
da
ナ
na
ハ
ha
バ
ba
パ
pa
マ
ma
ヤ
ya
ャ
lya
ラ
ra
ワ
wa
ヮ
lwa
ン
n
l
イ
i
ィ
キ
ki
ギ
gi
シ
si
ジ
zi
チ
ti
ヂ
di
ニ
ni
ヒ
hi
ビ
bi
ピ
pi
ミ
mi
リ
ri
ㅜ
ウ
u
ゥ
ク
ku
グ
gu
ス
su
ズ
zu
ツ
tu
ヅ
du
ッ
ヌ
nu
フ
hu
ブ
bu
プ
pu
ム
mu
ユ
yu
ュ
lyu
ル
ru
ヴ
vu
ㅔ
エ
e
ェ
ケ
ke
ゲ
ge
セ
se
ゼ
ze
テ
te
デ
de
ネ
ne
ヘ
he
ベ
be
ぺ
pe
メ
me
レ
re
ㅗ
オ
o
ォ
コ
ko
ゴ
go
ソ
so
ゾ
zo
ト
to
ド
do
ノ
no
ホ
ho
ボ
bo
ポ
po
モ
mo
ヨ
yo
ョ
lyo
ロ
ro
ヲ
wo
ー
ー
독일어
ä
Ä
ö
Ö
ü
Ü
ß
프랑스어
á
à
Á
À
é
è
É
È
ç
Ç
ê
스페인어
à
á
Á
é
É
í
Í
Ó
ó
Ú
ú
Ñ
ñ
ä
Ä
Α
Β
Γ
Δ
Ε
Ζ
Η
Θ
Ι
Κ
Λ
Μ
Ν
Ξ
Ο
Π
Ρ
Σ
Τ
Υ
Φ
Χ
Ψ
Ω
α
β
γ
δ
ε
ζ
η
θ
ι
κ
λ
μ
ν
ξ
ο
π
ρ
ς
σ
τ
υ
φ
χ
ψ
ω
À
Á
Â
Ã
Ä
Å
Æ
Ç
È
É
Ê
Ë
Ì
Í
Î
Ï
Ð
Ñ
Ò
Ó
Ô
Õ
Ö
Ø
Ù
Ú
Û
Ü
Ý
Þ
ß
à
á
â
ã
ä
å
æ
ç
è
é
ê
ë
ì
í
î
ï
ð
ñ
ò
ó
ô
õ
ö
ø
ù
ú
û
ü
ý
þ
ÿ
А
Б
В
Г
Д
Е
Ё
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
а
б
в
г
д
е
ё
ж
з
и
й
к
л
м
н
о
п
р
с
т
у
ф
х
ц
ч
ш
щ
ъ
ы
ь
э
ю
я
ⅰ
ⅱ
ⅲ
ⅳ
ⅴ
ⅵ
ⅶ
ⅷ
ⅸ
ⅹ
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
ㅥ
ㅦ
ㅧ
ㅨ
ㅩ
ㅪ
ㅫ
ㅬ
ㅭ
ㅮ
ㅯ
ㅰ
ㅱ
ㅲ
ㅳ
ㅴ
ㅵ
ㅶ
ㅷ
ㅸ
ㅹ
ㅺ
ㅻ
ㅼ
ㅽ
ㅾ
ㅿ
ㆀ
ㆁ
ㆂ
ㆃ
ㆄ
ㆅ
ㆆ
ㆇ
ㆈ
ㆉ
ㆊ
ㆋ
ㆌ
ㆍ
ㆎ
′
″
℃
Å
¢
£
¥
¤
℉
‰
$
%
F
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
발행년
-
(예 : 2010-2015)
'학술논문'
에서 검색결과
131
건 | 목록
1~10
전체선택
내보내기
Relevance
arrow_drop_down
Relevance
DateNewest
Date Oldest
10
arrow_drop_down
5
10
20
30
40
50
format_list_bulleted
format_list_bulleted
E-mail
EndNote
RefWorks
Towards global neural network abstractions with locally-exact reconstruction
Academic Journal
Manino, Edoardo
;
Bessa, Iury
;
Cordeiro, Lucas C.
In
Neural Networks
August 2023 165:344-357
Full Text (ScienceDirect 종량제)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Was it Slander? Towards Exact Inversion of Generative Language Models
Report
Skapars, Adrians
;
Manino, Edoardo
;
Sun, Youcheng
;
Cordeiro, Lucas C.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Synthetic Data Aided Federated Learning Using Foundation Models
Report
Abacha, Fatima
;
Teo, Sin G.
;
Cordeiro, Lucas C.
;
Mustafa, Mustafa A.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
ESBMC-Python: A Bounded Model Checker for Python Programs
Report
Farias, Bruno
;
Menezes, Rafael
;
Filho, Eddie B. de Lima
;
Sun, Youcheng
;
Cordeiro, Lucas C.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
Report
Li, Xianzhiyu
;
Song, Kunjian
;
Gadelha, Mikhail R.
;
Brauße, Franz
;
Menezes, Rafael S.
;
Korovin, Konstantin
;
Cordeiro, Lucas C.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study
Report
Menezes, Rafael Sá
;
Manino, Edoardo
;
Shmarov, Fedor
;
Aldughaim, Mohannad
;
de Freitas, Rosiane
;
Cordeiro, Lucas C.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
Report
Wu, Tong
;
Xiong, Shale
;
Manino, Edoardo
;
Stockwell, Gareth
;
Cordeiro, Lucas C.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Automated Repair of AI Code with Large Language Models and Formal Verification
Report
Charalambous, Yiannis
;
Manino, Edoardo
;
Cordeiro, Lucas C.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models
Report
Tihanyi, Norbert
;
Bisztray, Tamas
;
Ferrag, Mohamed Amine
;
Jain, Ridhi
;
Cordeiro, Lucas C.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches
Report
Braberman, Víctor A.
;
Bonomo-Braberman, Flavia
;
Charalambous, Yiannis
;
Colonna, Juan G.
;
Cordeiro, Lucas C.
;
de Freitas, Rosiane
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
1
2
3
4
…
11
12
13
14
다음
검색 결과 제한하기
arrow_forward
제한된 항목
[AR] Cordeiro, Lucas C.
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
arXiv
(46)
Science Citation Index Expanded
(19)
Complementary Index
(15)
IEEE Xplore Digital Library
(14)
MathSciNet via EBSCOhost
(10)
ACM Full-Text Collection
(8)
Springer Nature Journals
(7)
Academic Search Complete
(6)
Supplemental Index
(3)
Business Source Complete
(2)
ScienceDirect
(1)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
international journal on software tools for technology transfer
(10)
acm sigsoft software engineering notes
(5)
science of computer programming
(4)
scientific reports
(4)
formal methods: foundations and applications
(3)
ieee access
(3)
neural networks
(3)
software testing verification & reliability
(3)
software testing: verification & reliability
(3)
2014 ieee 3rd global conference on consumer electronics (gcce)
(2)
2018 33rd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2018 33rd ieee/acm international conference on
(2)
design automation for embedded systems
(2)
design automation for embedded systems: an international journal
(2)
ieee transactions on computer-aided design of integrated circuits and systems
(2)
journal of systems & software
(2)
journal of systems and software
(2)
journal of the brazilian computer society
(2)
model checking software
(2)
proceedings of the 33rd acm/ieee international conference on automated software engineering
(2)
2015 brazilian symposium on computing systems engineering (sbesc)
(1)
2015 ieee 4th global conference on consumer electronics (gcce)
(1)
2015 ieee 4th global conference on consumer electronics (gcce), consumer electronics (gcce), 2015 ieee 4th global conference on
(1)
2015 ieee international conference on consumer electronics (icce)
(1)
2015 ieee international conference on consumer electronics (icce), consumer electronics (icce), 2015 ieee international conference on
(1)
2016 ieee frontiers in education conference (fie)
(1)
2016 ieee frontiers in education conference (fie), frontiers in education conference (fie), 2016 ieee
(1)
2017 latin american robotics symposium (lars) and 2017 brazilian symposium on robotics (sbr), robotics symposium (lars) and 2017 brazilian symposium on robotics (sbr), 2017 latin american
(1)
2019 ix brazilian symposium on computing systems engineering (sbesc), computing systems engineering (sbesc), 2019 ix brazilian symposium on
(1)
2021 xi brazilian symposium on computing systems engineering (sbesc), computing systems engineering (sbesc), 2021 xi brazilian symposium on
(1)
2022 ieee conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2022 ieee conference on, icst
(1)
2022 ieee/acm 44th international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2022 ieee/acm 44th international conference on, icse-companion
(1)
2023 ieee international conference on communications workshops (icc workshops), communications workshops (icc workshops), 2023 ieee international conference on
(1)
2023 ieee/acm 45th international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2023 ieee/acm 45th international conference on, icse-companion
(1)
2023 international conference on consumer electronics - taiwan (icce-taiwan), consumer electronics - taiwan (icce-taiwan), 2023 international conference on
(1)
2023 international conference on smart energy systems and technologies (sest), smart energy systems and technologies (sest), 2023 international conference on
(1)
acta informatica
(1)
hscc 2018---proceedings of the 21st international conference on hybrid systems: computation and control
(1)
hscc'17---proceedings of the 20th international conference on hybrid systems: computation and control
(1)
ieee transactions on consumer electronics
(1)
institute of electrical and electronics engineers. transactions on computers
(1)
model checking software: 22nd international symposium, spin 2015, stellenbosch, south africa, august 24-26, 2015, proceedings
(1)
proceedings of the 2018 26th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering
(1)
proceedings of the 41st international conference on software engineering: companion proceedings
(1)
proceedings of the acm/ieee 44th international conference on software engineering: companion proceedings
(1)
tests and proofs
(1)
tools & algorithms for the construction & analysis of systems (9783662496732)
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
ieee
(18)
springer nature
(8)
acm
(5)
elsevier b.v.
(5)
ieee-inst electrical electronics engineers inc
(5)
springer, cham
(5)
springer berlin heidelberg
(3)
springer heidelberg
(3)
wiley
(3)
wiley-blackwell
(3)
acm, new york
(2)
elsevier science inc
(2)
springer
(2)
springer us
(2)
elsevier
(1)
elsevier ltd
(1)
elsevier science bv
(1)
nature portfolio
(1)
nature publishing group uk
(1)
pergamon-elsevier science ltd
(1)
sociedade brasileira de computacao (sbc)
(1)
springer london
(1)
springer, [cham]
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Academic Journals
(47)
Reports
(46)
Conference Materials
(33)
Reviews
(10)
Magazines
(3)
Books
(2)
add
remove
더보기
zoom_in
재검색
주제어
bounded model checking
(21)
computer science - software engineering
(21)
model checking
(15)
computer science - artificial intelligence
(14)
computer science - cryptography and security
(14)
computer science - logic in computer science
(14)
formal methods
(12)
software engineering
(12)
computing and processing
(10)
formal verification
(10)
computer science - machine learning
(8)
communication, networking and broadcast technologies
(7)
software verification
(7)
components, circuits, devices and systems
(6)
digital tv
(6)
software testing
(6)
c++
(5)
verification
(5)
fuzzing
(4)
general topics for engineers
(4)
k-induction
(4)
neural networks
(4)
robotics and control systems
(4)
smt
(4)
test case generation
(4)
transportation
(4)
algorithms
(3)
benchmark testing
(3)
bug detection
(3)
computer science - programming languages
(3)
computer software development
(3)
conferences
(3)
engineered materials, dielectrics and plasmas
(3)
engineering profession
(3)
photonics and electrooptics
(3)
power, energy and industry applications
(3)
signal processing and analysis
(3)
training
(3)
abstract interpretation
(2)
aerospace
(2)
application software
(2)
artificial intelligence
(2)
binary integer programming
(2)
bioengineering
(2)
blockchain
(2)
computer bugs
(2)
computer programming
(2)
computer science - computation and language
(2)
computer science - computers and society
(2)
computer science - neural and evolutionary computing
(2)
add
remove
더보기
zoom_in
재검색
언어
english
(68)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기