Latest Published Articles:
Software Engineering
#SoftwareEngineering
π ServeNet: A Deep Neural Network for Web Service Classification
π₯ Yilong Yang, Peng Liu, Lianchao Ding, Bingqing Shen, Weiru Wang
π PDF
π A Graphical Interactive Debugger for Distributed Systems
π₯ Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
π PDF
π Detecting Speech Act Types in Developer Question/Answer Conversations During Bug Repair
π₯ Andrew Wood, Paige Rodeghero, Ameer Armaly, Collin McMillan
π PDF
π How Usable are Rust Cryptography APIs?
π₯ Kai Mindermann, Philipp Keck, Stefan Wagner
π PDF
π Model-Based Safety-Cases for Software-Intensive Systems
π₯ Peter Braun, Jan Philipps, Bernhard SchΓ€tz, Stefan Wagner
π PDF
π An Approximation-based Approach for the Random Exploration of Large Models
π₯ Julien Bernard, Pierre-Cyrille HΓ©am, Olga Kouchnarenko
π PDF
π When Regression Verification Meets CEGAR
π₯ Fei He, Qianshan Yu, Liming Cai
π PDF
π A Product Line Systems Engineering Process for Variability Identification and Reduction
π₯ Mole Li, Alan Grigg, Charles Dickerson, Lin Guan, Siyuan Ji
π PDF
π Deep Learning to Detect Redundant Method Comments
π₯ Annie Louis, Santanu Kumar Dash, Earl T. Barr, Charles Sutton
π PDF
π Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
π₯ Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
π PDF
π A Directed Acyclic Graph Approach to Online Log Parsing
π₯ Pinjia He, Jieming Zhu, Pengcheng Xu, Zibin Zheng, Michael R. Lyu
π PDF
π The History of Software Architecture - In the Eye of the Practitioner
π₯ Henry Muccini, Patricia Lago, Karthik Vaidyanathan, Francesco Osborne, Eltjo Poort
π PDF
π Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017
π₯ Lawrence C Paulson
π PDF
π ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification
π₯ Moussa Amrani, Levi LΓΊcio, Adrien Bibal
π PDF
π Engaging Millennials into Learning Formal Methods
π₯ NΓ©stor CataΓ±o
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π ServeNet: A Deep Neural Network for Web Service Classification
π₯ Yilong Yang, Peng Liu, Lianchao Ding, Bingqing Shen, Weiru Wang
π PDF
π A Graphical Interactive Debugger for Distributed Systems
π₯ Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
π PDF
π Detecting Speech Act Types in Developer Question/Answer Conversations During Bug Repair
π₯ Andrew Wood, Paige Rodeghero, Ameer Armaly, Collin McMillan
π PDF
π How Usable are Rust Cryptography APIs?
π₯ Kai Mindermann, Philipp Keck, Stefan Wagner
π PDF
π Model-Based Safety-Cases for Software-Intensive Systems
π₯ Peter Braun, Jan Philipps, Bernhard SchΓ€tz, Stefan Wagner
π PDF
π An Approximation-based Approach for the Random Exploration of Large Models
π₯ Julien Bernard, Pierre-Cyrille HΓ©am, Olga Kouchnarenko
π PDF
π When Regression Verification Meets CEGAR
π₯ Fei He, Qianshan Yu, Liming Cai
π PDF
π A Product Line Systems Engineering Process for Variability Identification and Reduction
π₯ Mole Li, Alan Grigg, Charles Dickerson, Lin Guan, Siyuan Ji
π PDF
π Deep Learning to Detect Redundant Method Comments
π₯ Annie Louis, Santanu Kumar Dash, Earl T. Barr, Charles Sutton
π PDF
π Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
π₯ Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
π PDF
π A Directed Acyclic Graph Approach to Online Log Parsing
π₯ Pinjia He, Jieming Zhu, Pengcheng Xu, Zibin Zheng, Michael R. Lyu
π PDF
π The History of Software Architecture - In the Eye of the Practitioner
π₯ Henry Muccini, Patricia Lago, Karthik Vaidyanathan, Francesco Osborne, Eltjo Poort
π PDF
π Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017
π₯ Lawrence C Paulson
π PDF
π ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification
π₯ Moussa Amrani, Levi LΓΊcio, Adrien Bibal
π PDF
π Engaging Millennials into Learning Formal Methods
π₯ NΓ©stor CataΓ±o
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Latest Published Articles:
Social and Information Networks
#SocialandInformationNetworks
π Immunization of networks with non-overlapping community structure
π₯ Zakariya Ghalmane, Mohammed El Hassouni, Hocine Cherifi
π PDF
π Status maximization as a source of fairness in a networked dictator game
π₯ Jan E. Snellman, Gerardo IΓ±iguez, JΓ‘nos KertΓ©sz, R. A. Barrio, Kimmo K. Kaski
π PDF
π Improved Density-Based Spatio--Textual Clustering on Social Media
π₯ Minh D. Nguyen, Won-Yong Shin
π PDF
π A Retrospective Analysis of the Fake News Challenge Stance Detection Task
π₯ Andreas Hanselowski, Avinesh PVS, Benjamin Schiller, Felix Caspelherr, Debanjan Chaudhuri, Christian M. Meyer, Iryna Gurevych
π PDF
π SybilBlind: Detecting Fake Users in Online Social Networks without Manual Labels
π₯ Binghui Wang, Le Zhang, Neil Zhenqiang Gong
π PDF
π Social Networks through the Prism of Cognition
π₯ RadosΕaw Michalski, BolesΕaw K. SzymaΕski, PrzemysΕaw Kazienko, Christian Lebiere, Omar Lizardo, Marcin Kulisiewicz
π PDF
π Swarming for Faster Convergence in Stochastic Optimization
π₯ Shi Pu, Alfredo Garcia
π PDF
π Constructing Social Networks From Binary Data
π₯ Sirui Wang, Mei Wang
π PDF
π Detecting Statistically Significant Communities
π₯ Zengyou He, Hao Liang, Zheng Chen, Can Zhao
π PDF
π A Survey on Trust Modeling from a Bayesian Perspective
π₯ Bin Liu
π PDF
π Spatial social networks identified from urban group travel
π₯ Huijun Sun, Kangli Zhu, Jianjun Wu, Daqing Li, Ziyou Gao, Haodong Yin, Yunchao Qu, Xin Yang, Hao Liu
π PDF
π Noise-based control of social dynamics
π₯ Wei Su, Ge Chen
π PDF
π Collaboration Diversity and Scientific Impact
π₯ Yuxiao Dong, Hao Ma, Jie Tang, Kuansan Wang
π PDF
π Complex network representation through multi-dimensional node projection
π₯ Stanislav Sobolevsky
π PDF
π Data based reconstruction of complex cyberphysical networks
π₯ Chuang Ma, Han-Shuang Chen, Xiang Li, Ying-Cheng Lai, Hai-Feng Zhang
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
Social and Information Networks
#SocialandInformationNetworks
π Immunization of networks with non-overlapping community structure
π₯ Zakariya Ghalmane, Mohammed El Hassouni, Hocine Cherifi
π PDF
π Status maximization as a source of fairness in a networked dictator game
π₯ Jan E. Snellman, Gerardo IΓ±iguez, JΓ‘nos KertΓ©sz, R. A. Barrio, Kimmo K. Kaski
π PDF
π Improved Density-Based Spatio--Textual Clustering on Social Media
π₯ Minh D. Nguyen, Won-Yong Shin
π PDF
π A Retrospective Analysis of the Fake News Challenge Stance Detection Task
π₯ Andreas Hanselowski, Avinesh PVS, Benjamin Schiller, Felix Caspelherr, Debanjan Chaudhuri, Christian M. Meyer, Iryna Gurevych
π PDF
π SybilBlind: Detecting Fake Users in Online Social Networks without Manual Labels
π₯ Binghui Wang, Le Zhang, Neil Zhenqiang Gong
π PDF
π Social Networks through the Prism of Cognition
π₯ RadosΕaw Michalski, BolesΕaw K. SzymaΕski, PrzemysΕaw Kazienko, Christian Lebiere, Omar Lizardo, Marcin Kulisiewicz
π PDF
π Swarming for Faster Convergence in Stochastic Optimization
π₯ Shi Pu, Alfredo Garcia
π PDF
π Constructing Social Networks From Binary Data
π₯ Sirui Wang, Mei Wang
π PDF
π Detecting Statistically Significant Communities
π₯ Zengyou He, Hao Liang, Zheng Chen, Can Zhao
π PDF
π A Survey on Trust Modeling from a Bayesian Perspective
π₯ Bin Liu
π PDF
π Spatial social networks identified from urban group travel
π₯ Huijun Sun, Kangli Zhu, Jianjun Wu, Daqing Li, Ziyou Gao, Haodong Yin, Yunchao Qu, Xin Yang, Hao Liu
π PDF
π Noise-based control of social dynamics
π₯ Wei Su, Ge Chen
π PDF
π Collaboration Diversity and Scientific Impact
π₯ Yuxiao Dong, Hao Ma, Jie Tang, Kuansan Wang
π PDF
π Complex network representation through multi-dimensional node projection
π₯ Stanislav Sobolevsky
π PDF
π Data based reconstruction of complex cyberphysical networks
π₯ Chuang Ma, Han-Shuang Chen, Xiang Li, Ying-Cheng Lai, Hai-Feng Zhang
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
Latest Published Articles:
Systems and Control
#SystemsandControl
π Simultaneous Sensor and Actuator Selection/Placement through Output Feedback Control
π₯ Sebastian Nugroho, Ahmad F. Taha, Tyler Summers, Nikolaos Gatsis
π PDF
π Stabilization with a Specified External Gain for Linear MIMO Systems and Its Applications to Control of Networked Systems
π₯ Lijun Zhu, Zhiyong Chen, Xi Chen, David J. Hill
π PDF
π An Input-Delay Event-Triggered Control Design for Nonlinear Systems
π₯ Lijun Zhu, Zhiyong Chen, David J. Hill, Shengli Du
π PDF
π Decentralized Ergodic Control: Distribution-Driven Sensing and Exploration for Multi-Agent Systems
π₯ Ian Abraham, Todd D. Murphey
π PDF
π Recent Progress in Optimization of Multiband Electrical Filters
π₯ Andrei BogatyrΓ«v
π PDF
π Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies
π₯ Asad Ullah Awan, Majid Zamani
π PDF
π Maintenance of Smart Buildings using Fault Trees
π₯ Nathalie Cauchi, Khaza Anuaral Hoque, Marielle Stoelinga, Alessandro Abate
π PDF
π Speculative Thread Framework for Transient Management and Bumpless Transfer in Reconfigurable Digital Filters
π₯ Michael Giardino, Wayne Maxwell, Bonnie Ferri, Aldo Ferri
π PDF
π Tropical Abstractions of Max-Plus-Linear Systems
π₯ Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessndro Abate
π PDF
π On The Design of Nonlinear PID Controller for Nonlinear Quadrotor System
π₯ Aws Abdulsalam Najm, Ibraheem Kasim Ibraheem
π PDF
π Adaptive MPC for Autonomous Lane Keeping
π₯ Monimoy Bujarbaruah, Xiaojing Zhang, H. Eric Tseng, Francesco Borrelli
π PDF
π Unobservable False Data Injection Attacks against PMUs: Feasible Conditions and Multiplicative Attacks
π₯ Zhigang Chu, Jiazi Zhang, Oliver Kosut, Lalitha Sankar
π PDF
π PAC-Bayes Control: Synthesizing Controllers that Provably Generalize to Novel Environments
π₯ Anirudha Majumdar, Maxwell Goldstein
π PDF
π Regions of Attraction Approximation Using Individual Invariance
π₯ Surour Alaraifi, Seddik Djouadi, Mohamed El-Moursi
π PDF
π Learning an Approximate Model Predictive Controller with Guarantees
π₯ Michael Hertneck, Johannes KΓΆhler, Sebastian Trimpe, Frank AllgΓΆwer
π PDF
#SystemsandControl
AI Python & arXiv Channel
Systems and Control
#SystemsandControl
π Simultaneous Sensor and Actuator Selection/Placement through Output Feedback Control
π₯ Sebastian Nugroho, Ahmad F. Taha, Tyler Summers, Nikolaos Gatsis
π PDF
π Stabilization with a Specified External Gain for Linear MIMO Systems and Its Applications to Control of Networked Systems
π₯ Lijun Zhu, Zhiyong Chen, Xi Chen, David J. Hill
π PDF
π An Input-Delay Event-Triggered Control Design for Nonlinear Systems
π₯ Lijun Zhu, Zhiyong Chen, David J. Hill, Shengli Du
π PDF
π Decentralized Ergodic Control: Distribution-Driven Sensing and Exploration for Multi-Agent Systems
π₯ Ian Abraham, Todd D. Murphey
π PDF
π Recent Progress in Optimization of Multiband Electrical Filters
π₯ Andrei BogatyrΓ«v
π PDF
π Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies
π₯ Asad Ullah Awan, Majid Zamani
π PDF
π Maintenance of Smart Buildings using Fault Trees
π₯ Nathalie Cauchi, Khaza Anuaral Hoque, Marielle Stoelinga, Alessandro Abate
π PDF
π Speculative Thread Framework for Transient Management and Bumpless Transfer in Reconfigurable Digital Filters
π₯ Michael Giardino, Wayne Maxwell, Bonnie Ferri, Aldo Ferri
π PDF
π Tropical Abstractions of Max-Plus-Linear Systems
π₯ Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessndro Abate
π PDF
π On The Design of Nonlinear PID Controller for Nonlinear Quadrotor System
π₯ Aws Abdulsalam Najm, Ibraheem Kasim Ibraheem
π PDF
π Adaptive MPC for Autonomous Lane Keeping
π₯ Monimoy Bujarbaruah, Xiaojing Zhang, H. Eric Tseng, Francesco Borrelli
π PDF
π Unobservable False Data Injection Attacks against PMUs: Feasible Conditions and Multiplicative Attacks
π₯ Zhigang Chu, Jiazi Zhang, Oliver Kosut, Lalitha Sankar
π PDF
π PAC-Bayes Control: Synthesizing Controllers that Provably Generalize to Novel Environments
π₯ Anirudha Majumdar, Maxwell Goldstein
π PDF
π Regions of Attraction Approximation Using Individual Invariance
π₯ Surour Alaraifi, Seddik Djouadi, Mohamed El-Moursi
π PDF
π Learning an Approximate Model Predictive Controller with Guarantees
π₯ Michael Hertneck, Johannes KΓΆhler, Sebastian Trimpe, Frank AllgΓΆwer
π PDF
#SystemsandControl
AI Python & arXiv Channel