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
🗒 A Graphical Interactive Debugger for Distributed Systems
👥 Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
🗒 Detecting Speech Act Types in Developer Question/Answer Conversations During Bug Repair
👥 Andrew Wood, Paige Rodeghero, Ameer Armaly, Collin McMillan
🗒 How Usable are Rust Cryptography APIs?
👥 Kai Mindermann, Philipp Keck, Stefan Wagner
🗒 Model-Based Safety-Cases for Software-Intensive Systems
👥 Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
🗒 An Approximation-based Approach for the Random Exploration of Large Models
👥 Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko
🗒 When Regression Verification Meets CEGAR
👥 Fei He, Qianshan Yu, Liming Cai
🗒 A Product Line Systems Engineering Process for Variability Identification and Reduction
👥 Mole Li, Alan Grigg, Charles Dickerson, Lin Guan, Siyuan Ji
🗒 Deep Learning to Detect Redundant Method Comments
👥 Annie Louis, Santanu Kumar Dash, Earl T. Barr, Charles Sutton
🗒 Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
👥 Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
🗒 A Directed Acyclic Graph Approach to Online Log Parsing
👥 Pinjia He, Jieming Zhu, Pengcheng Xu, Zibin Zheng, Michael R. Lyu
🗒 The History of Software Architecture - In the Eye of the Practitioner
👥 Henry Muccini, Patricia Lago, Karthik Vaidyanathan, Francesco Osborne, Eltjo Poort
🗒 Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017
👥 Lawrence C Paulson
🗒 ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification
👥 Moussa Amrani, Levi Lúcio, Adrien Bibal
🗒 Engaging Millennials into Learning Formal Methods
👥 Néstor Cataño
#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
🗒 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
🗒 Improved Density-Based Spatio--Textual Clustering on Social Media
👥 Minh D. Nguyen, Won-Yong Shin
🗒 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
🗒 SybilBlind: Detecting Fake Users in Online Social Networks without Manual Labels
👥 Binghui Wang, Le Zhang, Neil Zhenqiang Gong
🗒 Social Networks through the Prism of Cognition
👥 Radosław Michalski, Bolesław K. Szymański, Przemysław Kazienko, Christian Lebiere, Omar Lizardo, Marcin Kulisiewicz
🗒 Swarming for Faster Convergence in Stochastic Optimization
👥 Shi Pu, Alfredo Garcia
🗒 Constructing Social Networks From Binary Data
👥 Sirui Wang, Mei Wang
🗒 Detecting Statistically Significant Communities
👥 Zengyou He, Hao Liang, Zheng Chen, Can Zhao
🗒 A Survey on Trust Modeling from a Bayesian Perspective
👥 Bin Liu
🗒 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
🗒 Noise-based control of social dynamics
👥 Wei Su, Ge Chen
🗒 Collaboration Diversity and Scientific Impact
👥 Yuxiao Dong, Hao Ma, Jie Tang, Kuansan Wang
🗒 Complex network representation through multi-dimensional node projection
👥 Stanislav Sobolevsky
🗒 Data based reconstruction of complex cyberphysical networks
👥 Chuang Ma, Han-Shuang Chen, Xiang Li, Ying-Cheng Lai, Hai-Feng Zhang
#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
🗒 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
🗒 An Input-Delay Event-Triggered Control Design for Nonlinear Systems
👥 Lijun Zhu, Zhiyong Chen, David J. Hill, Shengli Du
🗒 Decentralized Ergodic Control: Distribution-Driven Sensing and Exploration for Multi-Agent Systems
👥 Ian Abraham, Todd D. Murphey
🗒 Recent Progress in Optimization of Multiband Electrical Filters
👥 Andrei Bogatyrëv
🗒 Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies
👥 Asad Ullah Awan, Majid Zamani
🗒 Maintenance of Smart Buildings using Fault Trees
👥 Nathalie Cauchi, Khaza Anuaral Hoque, Marielle Stoelinga, Alessandro Abate
🗒 Speculative Thread Framework for Transient Management and Bumpless Transfer in Reconfigurable Digital Filters
👥 Michael Giardino, Wayne Maxwell, Bonnie Ferri, Aldo Ferri
🗒 Tropical Abstractions of Max-Plus-Linear Systems
👥 Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessndro Abate
🗒 On The Design of Nonlinear PID Controller for Nonlinear Quadrotor System
👥 Aws Abdulsalam Najm, Ibraheem Kasim Ibraheem
🗒 Adaptive MPC for Autonomous Lane Keeping
👥 Monimoy Bujarbaruah, Xiaojing Zhang, H. Eric Tseng, Francesco Borrelli
🗒 Unobservable False Data Injection Attacks against PMUs: Feasible Conditions and Multiplicative Attacks
👥 Zhigang Chu, Jiazi Zhang, Oliver Kosut, Lalitha Sankar
🗒 PAC-Bayes Control: Synthesizing Controllers that Provably Generalize to Novel Environments
👥 Anirudha Majumdar, Maxwell Goldstein
🗒 Regions of Attraction Approximation Using Individual Invariance
👥 Surour Alaraifi, Seddik Djouadi, Mohamed El-Moursi
🗒 Learning an Approximate Model Predictive Controller with Guarantees
👥 Michael Hertneck, Johannes Köhler, Sebastian Trimpe, Frank Allgöwer
#SystemsandControl
AI Python & arXiv Channel