1 |
M.D.Ernst,(ed.), "Dynamically Discovering Likely Program Topics to Support Program Evolution", ICSE, 2000.
|
2 |
M.B. Dwyer, "Property specification patterns for finite Place verification", Proceedings of the Workshop on Formal Methods in Software Practice, 1998.
|
3 |
R. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation", IEEE Transactions on Computer, 1986.
|
4 |
V. Devedzic, "Knowledge Modeling - State of the art", ACM integrated computer aided engineering, 2001.
|
5 |
Scholer, A., Rickel, "Learning domain knowledge for teaching procedural task", AAAI, 2000.
|
6 |
William Chan, "Temporal Logic Queries, Proceedings of CAV", LNCS 1855, Springer, 2000.
|
7 |
W.Y. Liu, "Using IDEF0/Petri net for Ontology based task knowledge analysis: the case of emergency response for debris flow", System Sciences, HICSS Volume 4, 2006.
|
8 |
S.Edelkamp, S.Jabbar, "Action Planning for Directed Model Checking of Petri Nets" Electronic Notes in Theoretical Computer Science, 2006.
|
9 |
J. B. Rosser, "On the Complexities of Complex Economic Dynamics", Journal of Economic Perspectives, 1990.
|
10 |
D. Ruan, F. Hardeman, "Intelligent Decision and Policy Making Support Systems", Springer, 2008.
|
11 |
Robert J. Thierauf, "Optimal Knowledge Management, IDEA Group Publishing, 2006,
|
12 |
V. Devedzic, "Knowledge Modeling - State of the art, ACM integrated computer aided engineering, 2001.
|
13 |
Edmund M. Clarke, "Model Checking, foundations of software technology and theoretical computer science", LNCS, 1997.
|
14 |
A. Neuser, "A GUI for Real-time Visualization of On-line Model Checking with UPPAAL", Institute for Software Systems, Hamburg University of Technology (TUHH), 2014.
|
15 |
Campos, J. Creissac, Machado, "A specification patterns system for discrete event systems analysis", InTech, 2013.
|
16 |
Savas Konur, "Towards Light-Weight Probabilistic Model Checking", Hindawi publishing corporation, Journal of Applied Mathematics, 2014.
|
17 |
Dou, Wei, "A Model-Driven Approach to Trace Checking of Temporal Properties with OCL", Open Repository and Bibliography, S&T Centre, University of Luxembourg, 2014.
|
18 |
DR Kulkarni, "Improved model generation and property specification for analog/mixed-signal circuits", async.ece.utah.edu, 2013.
|