Brijesh Dongol
Orcid: 0000-0003-0446-3507
According to our database1,
Brijesh Dongol
authored at least 105 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., 2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Proceedings of the 2024 USENIX Annual Technical Conference, 2024
Proceedings of the Programming Languages and Systems, 2024
Proceedings of the Programming Languages and Systems, 2024
2023
Formal Aspects Comput., June, 2023
Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version).
CoRR, 2023
CoRR, 2023
Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2023
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
ACM Trans. Comput. Log., 2022
Proc. ACM Program. Lang., 2022
J. Autom. Reason., 2022
Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version).
CoRR, 2022
CoRR, 2022
CoRR, 2022
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022
Proceedings of the Programming Languages and Systems, 2022
Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
2021
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras.
Log. Methods Comput. Sci., 2021
Verifying correctness of persistent concurrent data structures: a sound and complete method.
Formal Aspects Comput., 2021
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version).
CoRR, 2021
Proceedings of the 35th International Symposium on Distributed Computing, 2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
2019
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, 2019
2018
Formal Aspects Comput., 2018
CoRR, 2018
Proceedings of the 32nd International Symposium on Distributed Computing, 2018
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2017
Inf. Comput., 2017
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
Proceedings of the Provably Correct Systems, 2017
2016
Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency.
ACM Trans. Comput. Log., 2016
Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016
2015
Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems.
Sci. Comput. Program., 2015
Towards linking correctness conditions for concurrent objects and contextual trace refinement.
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015
2014
Deriving real-time action systems with multiple time bands using algebraic reasoning.
Sci. Comput. Program., 2014
Formal Aspects Comput., 2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
Proceedings of the Hardware and Software: Verification and Testing, 2014
Proceedings of the FM 2014: Formal Methods, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the Proceedings 16th International Refinement Workshop, 2013
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013
2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
2010
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
2009
Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009
2008
Formal Aspects Comput., 2008
2007
Proceedings of the Theoretical Aspects of Computing, 2007
2006
Log. Methods Comput. Sci., 2006
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006
Proceedings of the Formal Methods and Software Engineering, 2006
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006
2005
Proceedings of the Theory of Computing 2005, 2005