default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLei Bu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j20]Bochuan Chen, Xiao Guo
, Yuting Chen, Xiaofeng Yu, Lei Bu:
Constructing exception handling chains for testing Java virtual machine implementations. J. Softw. Evol. Process. 36(4) (2024)- [c58]Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li:
Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. CAV (3) 2024: 329-355 - [c57]Xiao Guo, Jianhua Zhao, Lei Bu:
Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters. HSCC 2024: 3:1-3:12 - [c56]Qi Guo, Xiaohong Li, Xiaofei Xie, Shangqing Liu, Ze Tang, Ruitao Feng, Junjie Wang, Jidong Ge, Lei Bu:
FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion. ISSTA 2024: 313-324 - [e2]Holger Hermanns, Jun Sun, Lei Bu:
Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings. Lecture Notes in Computer Science 14464, Springer 2024, ISBN 978-981-99-8663-7 [contents] - [i6]Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu:
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. CoRR abs/2401.08807 (2024) - [i5]Qi Guo, Xiaohong Li, Xiaofei Xie, Shangqing Liu, Ze Tang, Ruitao Feng, Junjie Wang, Jidong Ge, Lei Bu:
FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion. CoRR abs/2404.01554 (2024) - [i4]Suwan Li, Lei Bu, Guangdong Bai, Fuman Xie, Kai Chen, Chang Yue:
Model-Enhanced LLM-Driven VUI Testing of VPA Apps. CoRR abs/2407.02791 (2024) - [i3]Lezhi Ma, Shangqing Liu, Lei Bu, Shangru Li, Yida Wang, Yang Liu:
SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications. CoRR abs/2409.12866 (2024) - 2023
- [j19]Jing Yang, Lei Bu:
Blended English Teaching Model in Higher Education School Environment AR Constructive Technology. Int. J. Gaming Comput. Mediat. Simulations 15(1): 1-15 (2023) - [c55]Limin Wang, Lei Bu, Fu Song:
SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison. DAC 2023: 1-6 - [c54]Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao:
DStream: A Streaming-Based Highly Parallel IFDS Framework. ICSE 2023: 2488-2500 - [c53]Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li:
Security Checking of Trigger-Action-Programming Smart Home Integrations. ISSTA 2023: 639-651 - [c52]Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao:
GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. ISSTA 2023: 904-916 - [c51]Shiyu Zhang, Wenxia Liu, Qixin Wang, Lei Bu, Yu Pei:
A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization. RTCSA 2023: 95-100 - 2022
- [j18]Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li:
Preface. J. Comput. Sci. Technol. 37(1): 1-3 (2022) - [j17]Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li:
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(2): 238-251 (2022) - [j16]Lei Bu, Zhe Zhao, Yuchao Duan, Fu Song:
Taking Care of the Discretization Problem: A Comprehensive Study of the Discretization Problem and a Black-Box Adversarial Attack in Discrete Integer Domain. IEEE Trans. Dependable Secur. Comput. 19(5): 3200-3217 (2022) - [c50]Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi, Enea Zaffanella:
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH@SAFECOMP 2022: 44-57 - [c49]Fuman Xie, Yanjun Zhang, Chuan Yan, Suwan Li, Lei Bu, Kai Chen, Zi Huang, Guangdong Bai:
Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps. ASE 2022: 90:1-90:13 - [c48]Suwan Li, Lei Bu, Guangdong Bai, Zhixiu Guo, Kai Chen, Hanlin Wei:
VITAS : Guided Model-based VUI Testing of VPA Apps. ASE 2022: 115:1-115:12 - [c47]Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li:
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). TACAS (2) 2022: 408-412 - [c46]Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li:
Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. VMCAI 2022: 473-495 - 2021
- [j15]Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li:
Machine learning steered symbolic execution framework for complex software code. Formal Aspects Comput. 33(3): 301-323 (2021) - [c45]Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu:
Verification Assisted Gas Reduction for Smart Contracts. APSEC 2021: 264-274 - [c44]Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li:
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. FM 2021: 752-762 - [c43]Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li:
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization. HSCC 2021: 7:1-7:11 - [c42]Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong:
Identifying privacy weaknesses from multi-party trigger-action integration platforms. ISSTA 2021: 2-15 - 2020
- [j14]Lei Bu, Qixin Wang, Xinyue Ren, Shaopeng Xing, Xuandong Li:
Scenario-Based Online Reachability Validation for CPS Fault Prediction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10): 2081-2094 (2020) - [c41]Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella:
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH 2020: 1-15 - [c40]Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li:
Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. DATE 2020: 622-625 - [c39]Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng:
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. ICRA 2020: 151-157
2010 – 2019
- 2019
- [j13]Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng:
Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS. ACM Trans. Cyber Phys. Syst. 3(1): 2:1-2:25 (2019) - [c38]Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella:
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 2019: 1-13 - [c37]Lei Bu, Rajarshi Ray, Stefan Schupp:
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 2019: 120-128 - [c36]Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li:
Incremental Online Verification of Dynamic Cyber-Physical Systems. DATE 2019: 782-787 - [c35]Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li:
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT. SETSS 2019: 10-43 - [i2]Yuchao Duan, Zhe Zhao, Lei Bu, Fu Song:
Things You May Not Know About Adversarial Example: A Black-box Adversarial Image Attack. CoRR abs/1905.07672 (2019) - 2018
- [j12]Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Softw. Eng. Notes 43(3): 6-10 (2018) - [j11]Lei Bu, Wen Xiong, Chieh-Jan Mike Liang, Shi Han, Dongmei Zhang, Shan Lin, Xuandong Li:
Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems. ACM Trans. Cyber Phys. Syst. 2(3): 22:1-22:23 (2018) - [c34]Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella:
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS 2018: 1-13 - [c33]Lei Bu, Rajarshi Ray, Stefan Schupp:
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS 2018: 14-22 - [c32]Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov:
Chasing Errors Using Biasing Automata. ISoLA (2) 2018: 271-286 - [c31]Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang:
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. SPIN 2018: 275-291 - [p1]Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li:
HAT: Analyzing Linear Hybrid Automata as Labelled Transition System. Symposium on Real-Time and Hybrid Systems 2018: 85-104 - [e1]Lei Bu, Yingfei Xiong:
Software Analysis, Testing, and Evolution - 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings. Lecture Notes in Computer Science 11293, Springer 2018, ISBN 978-3-030-04271-4 [contents] - 2017
- [j10]Dingbao Xie, Wen Xiong, Lei Bu, Xuandong Li:
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure. IEEE Trans. Computers 66(3): 416-430 (2017) - [c30]Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe:
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek 2017: 124-133 - [c29]Lei Bu, Rajarshi Ray, Stefan Schupp:
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek 2017: 134-142 - [c28]Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li:
Sketch-guided GUI test generation for mobile applications. ASE 2017: 38-43 - 2016
- [c27]Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li:
ACSPChecker: an ASP based CSP model checking tool. Internetware 2016: 99-102 - [c26]Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li:
Symbolic execution of complex program driven by machine learning based constraint solving. ASE 2016: 554-559 - [c25]Chieh-Jan Mike Liang, Lei Bu, Zhao Li, Junbei Zhang, Shi Han, Börje F. Karlsson, Dongmei Zhang, Feng Zhao:
Systematically Debugging IoT Control System Correctness for Building Automation. BuildSys 2016: 133-142 - 2015
- [j9]Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Neeraj Suri:
A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking. IEEE Trans. Parallel Distributed Syst. 26(10): 2630-2642 (2015) - 2014
- [j8]Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li:
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata. Formal Methods Syst. Des. 45(1): 42-62 (2014) - [j7]Olfa Kanoun, Christian Müller, Abderahmane Benchirouf, Abdulkadir Sanli, Nghia Trong Dinh, Ammar Al-Hamry, Lei Bu, Carina Gerlach, Ayda Bouhamed:
Flexible Carbon Nanotube Films for High Performance Strain Sensors. Sensors 14(6): 10042-10071 (2014) - [j6]Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu:
From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations. IEEE Trans. Parallel Distributed Syst. 25(3): 642-652 (2014) - [c24]Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng:
WiP abstract: A framework on profiling cross-domain noise propagation in control CPS. ICCPS 2014: 224 - [c23]Dingbao Xie, Lei Bu, Xuandong Li:
Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification. RTSS 2014: 128-137 - 2013
- [j5]Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li:
Verifying Aspect-Oriented Models against Crosscutting Properties. Int. J. Softw. Eng. Knowl. Eng. 23(5): 655-676 (2013) - [c22]Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Rong Zheng, Neeraj Suri:
Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach. DSN 2013: 1-12 - 2012
- [j4]Minxue Pan, You Li, Lei Bu, Xuandong Li:
Loop reduction techniques for reachability analysis of linear hybrid automata. Sci. China Inf. Sci. 55(12): 2663-2674 (2012) - [j3]Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao:
Timing analysis of scenario-based specifications using linear programming. Softw. Test. Verification Reliab. 22(2): 121-143 (2012) - [c21]Lei Bu, Martin Bahnemann, Sabrina Mockel, Thomas Keutel, Olfa Kanoun:
Application of multi-walled carbon nanotube film strain gauge on metallic surface. SSD 2012: 1-5 - [c20]Yang Yang, Lei Bu, Xuandong Li:
Forward and backward: Bounded model checking of linear hybrid automata from two directions. FMCAD 2012: 204-208 - [c19]Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu:
From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP). ICCPS 2012: 13-22 - [c18]Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li:
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. ICCPS 2012: 222 - [c17]Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. ICCPS 2012: 237 - [c16]Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li:
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. SEKE 2012: 369-374 - [c15]Wenxu Ding, Xin Chen, Peng Jiang, Nan Ye, Lei Bu, Xuandong Li:
Path-oriented Test Data Generation Driven by Component Linear Fitting Functions. SERE (Companion) 2012: 37-38 - [c14]Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li:
Regression Test Cases Generation Based on Automatic Model Revision. TASE 2012: 127-134 - 2011
- [j2]Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li:
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. SIGBED Rev. 8(2): 7-10 (2011) - [j1]Lei Bu, Xuandong Li:
Path-oriented bounded reachability analysis of composed linear hybrid systems. Int. J. Softw. Tools Technol. Transf. 13(4): 307-317 (2011) - [c13]Lei Bu, Yang Yang, Xuandong Li:
IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata. Haifa Verification Conference 2011: 35-49 - [c12]Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li:
Feedback-Directed Test Case Generation Based on UML Activity Diagrams. SSIRI (Companion) 2011: 9-10 - [c11]Huajie Chen, Tian Zhang, Lei Bu, Xuandong Li:
An Instrumentation Tool for Program Dynamic Analysis in Java. SSIRI (Companion) 2011: 60-67 - [i1]Lei Bu, Xin Chen, Linzhang Wang, Xuandong Li:
Online Verification of Control Parameter Calculations in Communication Based Train Control System. CoRR abs/1101.4271 (2011) - 2010
- [c10]Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li:
BACH 2 : Bounded reachability checker for compositional linear hybrid systems. DATE 2010: 1512-1517 - [c9]Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta:
Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE 2010: 155-169 - [c8]Lin Tan, Lei Bu, Jianhua Zhao, Linzhang Wang:
Analyzing the robustness of FTSP with timed automata. Internetware 2010: 21 - [c7]You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Extending Ada to support multi-core based monitoring and fault tolerance. SIGAda 2010: 53-62 - [c6]Lei Bu, Jianhua Zhao, Xuandong Li:
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. VMCAI 2010: 78-94
2000 – 2009
- 2009
- [c5]Minxue Pan, Lei Bu, Xuandong Li:
TASS: Timing Analyzer of Scenario-Based Specifications. CAV 2009: 689-695 - 2008
- [c4]Lei Bu, You Li, Linzhang Wang, Xuandong Li:
BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. FMCAD 2008: 1-4 - 2006
- [c3]Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng:
Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403 - [c2]Xuandong Li, Sumit Jha Aanand, Lei Bu:
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. BMC@FLoC 2006: 57-70 - 2005
- [c1]Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng:
Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
