학술논문
전자자료 공정이용 안내
우리 대학 도서관에서 구독·제공하는 모든 전자자료(데이터베이스, 전자저널, 전자책 등)는 국내외 저작권법과 출판사와의 라이선스 계약에 따라 엄격하게 보호를 받고 있습니다.
전자자료의 비정상적 이용은 출판사로부터의 경고, 서비스 차단, 손해배상 청구 등 학교 전체에 심각한 불이익을 초래할 수 있으므로, 아래의 공정이용 지침을 반드시 준수해 주시기 바랍니다.
공정이용 지침
- 전자자료는 개인의 학습·교육·연구 목적의 비영리적 사용에 한하여 이용할 수 있습니다.
- 합리적인 수준의 다운로드 및 출력만 허용됩니다. (일반적으로 동일 PC에서 동일 출판사의 논문을 1일 30건 이하 다운로드할 것을 권장하며, 출판사별 기준에 따라 다를 수 있습니다.)
- 출판사에서 제공한 논문의 URL을 수업 관련 웹사이트에 게재할 수 있으나, 출판사 원문 파일 자체를 복제·배포해서는 안 됩니다.
- 본인의 ID/PW를 타인에게 제공하지 말고, 도용되지 않도록 철저히 관리해 주시기 바랍니다.
불공정 이용 사례
- 전자적·기계적 수단(다운로딩 프로그램, 웹 크롤러, 로봇, 매크로, RPA 등)을 이용한 대량 다운로드
- 동일 컴퓨터 또는 동일 IP에서 단시간 내 다수의 원문을 집중적으로 다운로드하거나, 전권(whole issue) 다운로드
- 저장·출력한 자료를 타인에게 배포하거나 개인 블로그·웹하드 등에 업로드
- 상업적·영리적 목적으로 자료를 전송·복제·활용
- ID/PW를 타인에게 양도하거나 타인 계정을 도용하여 이용
- EndNote, Mendeley 등 서지관리 프로그램의 Find Full Text 기능을 이용한 대량 다운로드
- 출판사 콘텐츠를 생성형 AI 시스템에서 활용하는 행위(업로드, 개발, 학습, 프로그래밍, 개선 또는 강화 등)
위반 시 제재
- 출판사에 의한 해당 IP 또는 기관 전체 접속 차단
- 출판사 배상 요구 시 위반자 개인이 배상 책임 부담
'학술논문'
에서 검색결과 105건 | 목록
1~20
Academic Journal
Lotz, Kevin (NC); Kulczynski, Mitja (NC); Nowotka, Dirk (NC); Poulsen, Danny Bøgsted (NC); Schlichtkrull, Anders (NC)
Conference
Proceedings of the 8th International Conference on Formal Methods in Software Engineering. :87-97
Conference
Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test. :85-88
Report
EPTCS 338, 2021, pp. 31-38
Conference
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. :102-111
Academic Journal
Hansen, René Rydhof; Larsen, Kim Guldstrand; Legay, Axel Bernard E; Jensen, Peter Gjøl; Poulsen, Danny Bøgsted
Hansen, R R, Larsen, K G, Legay, A B E, Jensen, P G & Poulsen , D B 2021, 'ADTLANG: A Programming Language Approach to Attack Defense Trees', International Journal on Software Tools for Technology Transfer, vol. 23, no. 1, pp. 89-104. https://doi.org/10.1007/s10009-020-00593-w
Report
David, Alexandre; Du, Dehui; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted; Sedwards, Sean
EPTCS 92, 2012, pp. 122-136
Report
Bulychev, Peter; David, Alexandre; Larsen, Kim Gulstrand; Mikučionis, Marius; Poulsen, Danny Bøgsted; Legay, Axel; Wang, Zheng
EPTCS 85, 2012, pp. 1-16
Kulczynski, M, Lotz, K, Manea, F, Poulsen , D B & Sarnighausen-Cahn, P 2025, SMTQuery : Analysing SMT-LIB String Benchmarks. in S C. Nogueira & C Teodorov (eds), Formal Methods : Foundations and Applications-27th Brazilian Symposium, SBMF 2024, Proceedings. 1 edn, vol. 15403, Springer, Lecture Notes in Computer Science, vol. 15403, pp. 22-34, Brazilian Symposium on Formal Methods, Vitória, Brazil, 04/12/2024. https://doi.org/10.1007/978-3-031-78116-2_2
Academic Journal
Kulczynski, Mitja; Manea, Florin; Nowotka, Dirk; Poulsen, Danny Bøgsted; 2 Department of Computer Science University of Göttingen Göttingen Germany; 1 Department of Computer Science Kiel University Kiel Germany; 3 Department of Computer Science Aalborg University Aalborg Denmark
Kulczynski, M, Manea, F, Nowotka, D & Poulsen , D B 2021, 'ZaligVinder : A generic test framework for string solvers', Journal of Software: Evolution and Process. https://doi.org/10.1002/smr.2400
Bøgedal, Tobias Worm; Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Poulsen, Danny Bøgsted
Bøgedal, T W, Hansen, R R, Larsen, K G, Legay, A & Poulsen , D B 2024, Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. in Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings. 1 edn, Springer, Lecture Notes in Computer Science, vol. 15217, pp. 379-397, AISoLA 2024, Crete, Greece, 30/10/2024. https://doi.org/10.1007/978-3-031-75434-0_25
Book
Lecture Notes in Computer Science ISBN: 9783030406073
Language and Automata Theory and Applications
Fleischmann, P, Kulczynski, M, Nowotka, D &Poulsen , D B 2020, On Collapsing Prefix Normal Words. in A Leporati, C Martín-Vide, D Shapira & C Zandron (eds), Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Springer, Lecture Notes in Computer Science (LNCS), vol. 12038, pp. 412-424, 14th International Conference on Language and Automata Theory and Applications, Milano, Italy, 04/03/2020. https://doi.org/10.1007/978-3-030-40608-0_29
Language and Automata Theory and Applications
Fleischmann, P, Kulczynski, M, Nowotka, D &
Gehlert, Lise Bech; Jørgensen, Malthe Peter Højen; Koch, Christoffer Brejnholm; Møller, Tobias; Rusbjerg, Signe Kirstine; Bøgedal, Tobias Worm; Poulsen, Danny Bøgsted; Hansen, René Rydhof; Lux, Daniel
Gehlert, L B, Jørgensen, M P H, Koch, C B, Møller, T, Rusbjerg, S K, Bøgedal, T W, Poulsen , D B, Hansen, R R & Lux, D 2024, Modelling and Analysis of DTLS : Power Consumption and Attacks. in A E Haxthausen & W Serwe (eds), Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14952 LNCS, pp. 136-151, 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, Milan, Italy, 09/09/2024. https://doi.org/10.1007/978-3-031-68150-9_8
Academic Journal
David, A, Larsen, K G, Legay, A, Mikučionis, M & Poulsen , D B 2015, 'Uppaal SMC tutorial', International Journal on Software Tools for Technology Transfer, vol. 17, no. 4, pp. 397-415. https://doi.org/10.1007/s10009-014-0361-y
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer
검색 결과 제한하기
제한된 항목
[검색어] Poulsen, Danny Bøgsted
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어