NewA Language for Unified Verification and Implementation for Distributed
Avionics
Accepted 8/29/2018. To appear in Journal of Aerospace Information Systems, 2019.
[Full Text]
Modular Model-Checking of a Byzantine Fault-Tolerant ProtocolNASA Formal Methods
2017, Lecture Notes in Computer Science book series (LNCS, volume
10227). DOI: 10.1007/978-3-319-57288-8.
[Full Text]
On the Structure of Involutions and Symmetric Spaces of Dihedral Groups,
Note Mat. 34 (2014) no. 2, 23–40, DOI 10.1285/i15900932v34n2p23
[Full Text][Preprint]
On the Support Varieties of Demazure Modules
J. Aust. Math. Soc. *91* (2011), 343-363,
arxiv
First cohomology for finite groups of Lie type: simple modules with
small dominant weights
Trans. Amer. Math Soc. 365 (2013), 1025-1050,
arxiv
Normality of orbit closures in the enhanced nilpotent cone
Nagoya Math. J. *203* (2011), 1--45,
arxiv
Singular Chern Classes of Schubert Varieties via Small
Resolution
Int. Math. Res. Notices *8* (2010) 1371--1416,
doi
An analog of Kostant's theorem for the cohomology of quantum groups
Proc. Amer. Math. Soc. *138* (2010), 85--99
pdf
Software
LIMA: A language for integrated modeling and
analysis; see the paper "A Language for Unified Verification and
Implementation for Distributed Avionics" for more details!
source
BLT: A lattice-based (bounded) integer linear
programming solver; see the paper "Bounded Integer Linear
Constraint Solving via Lattice Search" above for details!
source
language-sal: a
SAL model generator in
Haskell;
source