Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Michael Carl Tschantz at CMU
[go: Go Back, main page]
Ahoy, Ahoy,
Salutations and Welcome to The Æthernet Ballyhoo of
Mr. Michael Carl Tschantz, Sc.B.,
Gentleman, Graduate Aſsistant, Doctoral Student of the Mysteries of the
Analytical Engine &c.
at Carnegie Mellon University, Pittsburgh, Penn.
Studies under the world renowned
Profeſsor J. M. Wing, Ph.D., S.M., S.B.,
fellow of Learned Societies, celebrated as
~~~~ The Dragon Lady ~~~~
Inquiries may be Sent
The Electric Epistle .............................. mtschant 'at-sign' cs.cmu.edu
The Speaking Telegraph ................................................ 412-268-5941
The Fac-Simile ................................................................ 412-268-5576
The Postal Service ............................. Computer Science Department
  "        "         "      .................................. Carnegie Mellon University
  "        "         "      .............................................. 5000 Forbes Avenue
  "        "         "      ............................................. Pittsburgh, PA 15213

Meet him in person at Rm. 9009 in Gates
Coal! Good for Heating
Electrical Fluid! Good for Analytical Engines
Purveyor in Knowledge, Monger of Facts, to wit:
~~~~~The Promulgation Announcing a Method of Confidentiality Policy Extraction~~~~~
M. C. Tschantz and J. M. Wing
Extracting Conditional Confidentiality Policies
S.E.F.M. '08: Proceedings of the Sixth I.E.E.E. International Conferences on Software Engineering and Formal Methods, November 2008
hand pointing Read the paper: (p.d.f.)
hand pointing Try the software: here
hand pointing A more complete tech. report: (p.d.f.)
~~~~~The Eſsays on the Topic of the Tongues of Access Control~~~~~
M. C. Tschantz and S. Krishnamurthi
Towards Reasonability Properties for Access-Control Policy Languages
S.A.C.M.A.T. '06: Proceedings of the Eleventh A.C.M. Symposium on Access Control Models and Technologies, June 2006
hand pointing Read the paper: (p.d.f.)
hand pointing A more complete tech. report: (p.d.f.)
K. Fisler, S. Krishnamurthi, L. A. Meyerovich, and M. C. Tschantz
Verification and Change-Impact Analysis of Access-Control Policies
27th International Conference on Software Engineering (I.C.S.E.), 2005
hand pointing Read the paper: (p.d.f.)
hand pointing Try the software: Margrave
hand pointing A related tech. report with proofs: (p.d.f.)

~~~~~The Works Detailing the Optimal Allocation of Goods by Automata~~~~~
M. Benisch, A. Greenwald, I. Grypari, R. Lederman, V. Naroditskiy, and M. C. Tschantz
Botticelli: A Supply Chain Management Agent
Third International Joint Conference on Autonomous Agents and Multiagent Systems (A.A.M.A.S.), 2004
hand pointing Read the paper: (p.d.f.)
M. Benisch, A. Greenwald, V. Naroditskiy, and M. C. Tschantz
A Stochastic Programming Approach to Scheduling in T.A.C. S.C.M.
A.C.M. Electronic Commerce Conference, 2004
hand pointing Read the paper: (p.d.f.)

A more complete list of M. C. Tschantz's works
A BibTeX file for his promulgations
Page maintained by Michael Carl Tschantz (mtschant 'at-sign' cs.cmu.edu).
This webpage was generated by hand using the Emacs operating system.