Mihaela Sighireanu
Orcid: 0000-0002-1925-089X
According to our database1,
Mihaela Sighireanu
authored at least 45 papers
between 1996 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
A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code.
Proc. ACM Program. Lang., 2024
CoRR, 2024
What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
2022
The CoLiS platform for the analysis of maintainer scripts in Debian software packages.
Int. J. Softw. Tools Technol. Transf., 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
2019
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
2017
Formal Methods Syst. Des., 2017
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017
2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
2014
2013
Proceedings of the Static Analysis - 20th International Symposium, 2013
Proceedings of the Programming Languages and Systems, 2013
2012
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.
Proceedings of the Automated Technology for Verification and Analysis, 2012
2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011
2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism.
Proceedings of the Joint Proceedings of the 8th, 2009
Log. Methods Comput. Sci., 2009
Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2007
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007
2003
Sci. Comput. Program., 2003
Proceedings of the FME 2003: Formal Methods, 2003
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
2001
Proceedings of the Static Analysis, 8th International Symposium, 2001
Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
1999
A Graphical Parallel Composition Operator for Process Algebras.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999
1998
Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS.
Int. J. Softw. Tools Technol. Transf., 1998
1996
On the Introduction of Exceptions in E-LOTOS.
Proceedings of the Formal Description Techniques IX: Theory, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996