Separation of Individual Noise Sources from Compound Noise Measurements in Digital Circuits. - Vivek Nigam; Masud H. Chowdhury; Roland Priemer (APCCAS, 2006)

A Dynamic Logic Programming Based System for Agents with Declarative Goals. - Vivek Nigam; João Leite 001 (DALT, 2006)

Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. - Alexander Kozlenkov; Rafael Peñaloza; Vivek Nigam; Loïc Royer; Gihan Dawelbait; Michael Schroeder 001 (EDBT Workshops, 2006)

A Procedure to Extract the Aortic and the Pulmonary Sounds from the Phonocardiogram. - Vivek Nigam; Roland Priemer (EMBC, 2006)

Compound noise analysis in digital circuits using blind source separation. - Vivek Nigam; Masud H. Chowdhury; Roland Priemer (ISCAS, 2006)

Adding Knowledge Updates to 3APL. - Vivek Nigam; João Leite 001 (PROMAS, 2006)

Fuzzy logic based variable step size algorithm for blind delayed source separation. - Vivek Nigam; Roland Priemer (Fuzzy Sets Syst., 2006)

A Snore Extraction Method from Mixed Sound for a Mobile Snore Recorder. - Vivek Nigam; Roland Priemer (J. Medical Syst., 2006)

Incorporating Tables into Proofs. - Dale Miller 001; Vivek Nigam (CSL, 2007)

Focusing in Linear Meta-logic. - Vivek Nigam; Dale Miller 001 (IJCAR, 2008)

Generalized Blind Delayed Source Separation Model for Online Non-invasive Twin-fetal Sound Separation: A Phantom Study. - Vivek Nigam; Roland Priemer (J. Medical Syst., 2008)

Compound noise separation in digital circuits using blind source separation. - Jingye Xu; Vivek Nigam; Abinash Roy; Masud H. Chowdhury (Microelectron. J., 2008)

Algorithmic specifications in linear logic with subexponentials. - Vivek Nigam; Dale Miller 001 (PPDP, 2009)

An Operational Semantics for Network Datalog. - Vivek Nigam; Limin Jia 001; Anduo Wang; Boon Thau Loo; Andre Scedrov (LAM@LICS, 2010)

Specifying Proof Systems in Linear Logic with Subexponentials. - Vivek Nigam; Elaine Pimentel; Giselle Reis (LSFA, 2010)

A Framework for Proof Systems. - Vivek Nigam; Dale Miller 001 (J. Autom. Reason., 2010)

Towards an automated assistant for clinical investigations. - Vivek Nigam; Tajana Ban Kirigin; Andre Scedrov; Carolyn L. Talcott; Max I. Kanovich; Ranko Perovic (IHI, 2012)

On the Complexity of Linear Authorization Logics. - Vivek Nigam (LICS, 2012)

A Rewriting Framework for Activities Subject to Regulations. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott; Ranko Perovic (RTA, 2012)

Maintaining distributed logic programs incrementally. - Vivek Nigam; Limin Jia 001; Boon Thau Loo; Andre Scedrov (Comput. Lang. Syst. Struct., 2012)

FSR: formal analysis and implementation toolkit for safe interdomain routing. - Anduo Wang; Limin Jia 001; Wenchao Zhou; Yiqing Ren; Boon Thau Loo; Jennifer Rexford; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (IEEE/ACM Trans. Netw., 2012)

A General Proof System for Modalities in Concurrent Constraint Programming. - Vivek Nigam; Carlos Olarte; Elaine Pimentel (CONCUR, 2013)

Bounded Memory Protocols and Progressing Collaborative Systems. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov (ESORICS, 2013)

Dynamic Spaces in Concurrent Constraint Programming. - Carlos Olarte; Vivek Nigam; Elaine Pimentel (LSFA, 2013)

Preface. - Valeria de Paiva; Mario R. F. Benevides; Vivek Nigam; Elaine Pimentel (IMLA@UNILOG, 2013)

Checking Proof Transformations with ASP. - Vivek Nigam; Giselle Reis; Leonardo Lima 001 (Theory Pract. Log. Program., 2013)

Quati: An Automated Tool for Proving Permutation Lemmas. - Vivek Nigam; Giselle Reis; Leonardo Lima 001 (IJCAR, 2014)

A Selective Defense for Application Layer DDoS Attacks. - Yuri Gil Dantas; Vivek Nigam; Iguatemi E. Fonseca (JISIC, 2014)

Abstract effects and proof-relevant logical relations. - Nick Benton; Martin Hofmann 001; Vivek Nigam (POPL, 2014)

Bounded memory protocols. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov (Comput. Lang. Syst. Struct., 2014)

Bounded memory Dolev-Yao adversaries in collaborative systems. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov (Inf. Comput., 2014)

A framework for linear authorization logics. - Vivek Nigam (Theor. Comput. Sci., 2014)

A Proof Theoretic Study of Soft Concurrent Constraint Programming. - Elaine Pimentel; Carlos Olarte; Vivek Nigam (Theory Pract. Log. Program., 2014)

Inferring Executable Models from Formalized Experimental Evidence. - Vivek Nigam; Robin Donaldson; Merrill Knapp; Tim McCarthy; Carolyn L. Talcott (CMSB, 2015)

Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (POST, 2015)

Towards the Automated Generation of Focused Proof Systems. - Vivek Nigam; Giselle Reis; Leonardo Lima 001 (WoF'15, 2015)

Multi-focused Proofs with Different Polarity Assignments. - Elaine Pimentel; Vivek Nigam; João Neto 002 (LSFA, 2015)

Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16). - Marco Gaboardi; Vivek Nigam; Tachio Terauchi (NII Shonan Meet. Rep., 2015)

Subexponential concurrent constraint programming. - Carlos Olarte; Elaine Pimentel; Vivek Nigam (Theor. Comput. Sci., 2015)

Counting Successes: Effects and Transformations for Non-deterministic Programs. - Nick Benton; Andrew Kennedy; Martin Hofmann 001; Vivek Nigam (A List of Successes That Can Change the World, 2016)

Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. - Vivek Nigam; Carolyn L. Talcott; Abraão Aires Urquiza (ESORICS (2), 2016)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (FORMATS, 2016)

A Framework for the Analysis of UAV Strategies Using Co-simulation. - Jose de Sousa Barros; Thyago Oliveira; Vivek Nigam; Alisson V. Brito (SBESC, 2016)

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. - Carolyn L. Talcott; Vivek Nigam; Farhad Arbab; Tobias Kappé (SFM, 2016)

Formal Specification and Verification of a Selective Defense for TDoS Attacks. - Yuri Gil Dantas; Marcilio O. O. Lemos; Iguatemi E. Fonseca; Vivek Nigam (WRLA, 2016)

Preface. - Vivek Nigam; Mário Florido (LSFA, 2016)

An extended framework for specifying and reasoning about proof systems. - Vivek Nigam; Elaine Pimentel; Giselle Reis (J. Log. Comput., 2016)

Módulo de Proteção contra Ataques de Negação de Serviço na Camada de Aplicação: uma Análise de Qualidade de Serviço e Experiência de Usuá rio∗. - Túlio A. Pascoal; João Henrique G. M. Corrêa; Rafael Brayner; Vivek Nigam; Iguatemi E. Fonseca (SBRC, 2017)

Slow TCAM Exhaustion DDoS Attack. - Túlio A. Pascoal; Yuri Gil Dantas; Iguatemi E. Fonseca; Vivek Nigam (SEC, 2017)

A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. - Ian A. Mason; Vivek Nigam; Carolyn L. Talcott; Alisson Vasconcelos de Brito (SEFM Workshops, 2017)

Analysis of design strategies for unmanned aerial vehicles using co-simulation. - Jose de Sousa Barros; Thyago Oliveira; Vivek Nigam; Alisson V. Brito (Des. Autom. Embed. Syst., 2017)

Mechanizing Focused Linear Logic in Coq. - Bruno Xavier; Carlos Olarte; Giselle Reis; Vivek Nigam (LSFA, 2017)

Time, computational complexity, and probability in the analysis of distance-bounding protocols. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (J. Comput. Secur., 2017)

A rewriting framework and logic for activities subject to regulations. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott; Ranko Perovic (Math. Struct. Comput. Sci., 2017)

On subexponentials, focusing and modalities in concurrent systems. - Vivek Nigam; Carlos Olarte; Elaine Pimentel (Theor. Comput. Sci., 2017)

A Logical Framework with Commutative and Non-commutative Subexponentials. - Max I. Kanovich; Stepan L. Kuznetsov; Vivek Nigam; Andre Scedrov (IJCAR, 2018)

Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. - Musab A. AlTurki; Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CPS-SPC@CCS, 2018)

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. - Wei Chen 023; Yuhui Lin; Vashti Galpin; Vivek Nigam; Myungjin Lee; David Aspinall 001 (SEC, 2018)

Symbolic Timed Observational Equivalence. - Vivek Nigam; Carolyn L. Talcott; Abraão Aires Urquiza (CoRR, 2018)

Model-Based Safety and Security Engineering. - Vivek Nigam; Alexander Pretschner; Harald Ruess (CoRR, 2018)

Compliance in Real Time Multiset Rewriting Models. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CoRR, 2018)

On the accuracy of formal verification of selective defenses for TDoS attacks. - Marcilio O. O. Lemos; Yuri Gil Dantas; Iguatemi E. Fonseca; Vivek Nigam (J. Log. Algebraic Methods Program., 2018)

Proof-Relevant Logical Relations for Name Generation. - Nick Benton; Martin Hofmann 001; Vivek Nigam (Log. Methods Comput. Sci., 2018)

Effect-dependent transformations for concurrent programs. - Nick Benton; Martin Hofmann 001; Vivek Nigam (Sci. Comput. Program., 2018)

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. - Musab A. AlTurki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Symbolic Timed Trace Equivalence. - Vivek Nigam; Carolyn L. Talcott; Abraão Aires Urquiza (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Selectivity and Autoscaling as Complementary Defenses for DDoS Protection to Cloud Services. - João Henrique G. M. Corrêa; Epaminondas A. Sousa Junior; Iguatemi E. Fonseca; Vivek Nigam; Moisés R. N. Ribeiro; Rodolfo da Silva Villaça (CloudNet, 2019)

Resource-Bounded Intruders in Denial of Service Attacks. - Abraão Aires Urquiza; Musab A. AlTurki; Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CSF, 2019)

Formal Security Verification of Industry 4.0 Applications. - Vivek Nigam; Carolyn L. Talcott (ETFA, 2019)

TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. - Aellison Cassimiro T. dos Santos; Ben Schneider; Vivek Nigam (FMCAD, 2019)

ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. - Carmen Cârlan; Vivek Nigam; Sebastian Voss; Alexandros Tsalidis (ISSRE Workshops, 2019)

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. - Antoaneta Kondeva; Vivek Nigam; Harald Ruess; Carmen Cârlan (ISSRE Workshops, 2019)

A Multi-UAV Co-Simulation Environment for Safety and Performance Analysis. - Leydson Silva; Ewerton Salvador; Alisson V. Brito; Jose de Sousa Barros; Vivek Nigam (SBESC, 2019)

Towards Computer-Aided Software Requirements Process. - Marina Reich; Tatiana Chuprina; Vivek Nigam (Software Engineering (Workshops), 2019)

Subexponentials in non-commutative linear logic. - Max I. Kanovich; Stepan L. Kuznetsov; Vivek Nigam; Andre Scedrov (Math. Struct. Comput. Sci., 2019)

Logical and Semantic Frameworks with Applications. - Vivek Nigam; René Thiemann (Theor. Comput. Sci., 2019)

Soft Subexponentials and Multiplexing. - Max I. Kanovich; Stepan L. Kuznetsov; Vivek Nigam; Andre Scedrov (IJCAR (1), 2020)

A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. - Yuri Gil Dantas; Vivek Nigam; Carolyn L. Talcott (VNC, 2020)

Slow denial-of-service attacks on software defined networks. - Túlio A. Pascoal; Iguatemi E. Fonseca; Vivek Nigam (Comput. Networks, 2020)

Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns. - Yuri Gil Dantas; Antoaneta Kondeva; Vivek Nigam (ICLP Technical Communications, 2020)

Security Engineering for ISO 21434. - Yuri Gil Dantas; Vivek Nigam; Harald Ruess (CoRR, 2020)

On the Complexity of Verification of Time-Sensitive Distributed Systems. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Protocols, Strands, and Logic, 2021)

Proof Search and Certificates for Evidential Transactions. - Vivek Nigam; Giselle Reis; Samar Rahmouni; Harald Ruess (CADE, 2021)

Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). - Elaine Pimentel; Carlos Olarte; Vivek Nigam (FSCD, 2021)

On Security Analysis of Periodic Systems: Expressiveness and Complexity. - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (ICISSP, 2021)

On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CoRR, 2021)

Resource and timing aspects of security protocols. - Abraão Aires Urquiza; Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (J. Comput. Secur., 2021)

On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (ICTAC, 2022)

A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. - Yuri Gil Dantas; Tiziano Munaro; Carmen Cârlan; Vivek Nigam; Simon Barner; Shiqing Fan; Alexander Pretschner; Ulrich Schöpp; Sergey Tverdyshev (MODELSWARD, 2022)

Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. - Vivek Nigam; Carolyn L. Talcott (WRLA@ETAPS, 2022)

Automating Safety and Security Co-Design through Semantically-Rich Architectural Patterns. - Yuri Gil Dantas; Vivek Nigam (CoRR, 2022)

Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology. - Yuri Gil Dantas; Simon Barner; Pei Ke; Vivek Nigam; Ulrich Schöpp (CoRR, 2022)

Automated construction of security integrity wrappers for Industry 4.0 applications. - Vivek Nigam; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2022)

On the Security and Complexity of Periodic Systems. - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (SN Comput. Sci., 2022)

Detection and diagnosis of deviations in distributed systems of autonomous agents. - Vivek Nigam; Minyoung Kim 002; Ian A. Mason; Carolyn L. Talcott (Math. Struct. Comput. Sci., 2022)

Incremental Rewriting Modulo SMT. - Gerald Whitters; Vivek Nigam; Carolyn L. Talcott (CADE, 2023)

Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology. - Yuri Gil Dantas; Simon Barner; Pei Ke; Vivek Nigam; Ulrich Schöpp (ICISSP, 2023)

Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform. - Tarik Terzimehic; Simon Barner; Yuri Gil Dantas; Ulrich Schöpp; Vivek Nigam; Pei Ke (ICSA-C, 2023)

Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. - Vivek Nigam; Carolyn L. Talcott (TASE, 2023)

Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. - Vivek Nigam; Carolyn L. Talcott (CoRR, 2023)

BLE injection-free attack: a novel attack on bluetooth low energy devices. - Aellison Cassimiro T. dos Santos; José L. Soares Filho; Ávilla Í. S. Silva; Vivek Nigam; Iguatemi E. Fonseca (J. Ambient Intell. Humaniz. Comput., 2023)

Automating Safety and Security Co-design through Semantically Rich Architecture Patterns. - Yuri Gil Dantas; Vivek Nigam (ACM Trans. Cyber Phys. Syst., 2023)

A Toolchain for Synthesizing and Validating Safety Architectures. - Yuri Gil Dantas; Tiziano Munaro; Carmen Cârlan; Vivek Nigam; Simon Barner; Shiqing Fan; Alexander Pretschner; Ulrich Schöpp; Sergey Tverdyshev (SN Comput. Sci., 2023)

Towards an Approach to Pattern-based Domain-Specific Requirements Engineering. - Tatiana Chuprina; Daniel Méndez 001; Vivek Nigam; Marina Reich; Andreas Schweiger (CoRR, 2024)

Design for dependability - State of the art and trends. - Hezhen Liu; Chengqiang Huang; Ke Sun; Jiacheng Yin; Xiaoyu Wu; Jin Wang; Qunli Zhang; Yang Zheng; Vivek Nigam; Feng Liu; Joseph Sifakis (J. Syst. Softw., 2024)

A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design. - Yuri Gil Dantas; Vivek Nigam; Ulrich Schöpp (SN Comput. Sci., 2024)

A novel open-source framework for performing TSN schedules. - Aellison Cassimiro T. dos Santos; Renan M. Silva; Ben Schneider; Malte Wilhelm; Iguatemi E. Fonseca; Vivek Nigam (Simul. Model. Pract. Theory, 2025)

Fault Injection and Reliability Analysis on Time-Sensitive Networking. - Renan M. Silva; Aellison Cassimiro T. dos Santos; Iguatemi E. Fonseca; Vivek Nigam (IEEE Internet Things J., 2025)