-
5
-
-
0026258660
-
Automated analysis of concurrent systems with the constrained expression toolset
-
Avrunin G., Buy U., Corbett J., Dillon L., Wileden J., Automated analysis of concurrent systems with the constrained expression toolset. IEEE Transactions on Software Engineering. 17(11):1991;1204-1222.
-
(1991)
IEEE Transactions on Software Engineering
, vol.17
, Issue.11
, pp. 1204-1222
-
-
Avrunin, G.1
Buy, U.2
Corbett, J.3
Dillon, L.4
Wileden, J.5
-
7
-
-
2342648527
-
The Adriane Debugger: Scalable application of event-based abstraction
-
ACM Press
-
J. Cuny, G. Forman, A. Hough, J. Kundu, C. Lin, L. Snyder, D. Stemple, The Adriane Debugger: scalable application of event-based abstraction, in: Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, ACM Press, 1993, pp. 85-95.
-
(1993)
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging
, pp. 85-95
-
-
Cuny, J.1
Forman, G.2
Hough, A.3
Kundu, J.4
Lin, C.5
Snyder, L.6
Stemple, D.7
-
8
-
-
0040552473
-
Process discovery and validation through event-data analysis
-
University of Colorado, Boulder, CO, November
-
J. Cook, Process discovery and validation through event-data analysis, Technical Report CU-CS-817-96, University of Colorado, Boulder, CO, November 1996.
-
(1996)
Technical Report
, vol.CU-CS-817-96
-
-
Cook, J.1
-
11
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
Harel D., Statecharts: a visual formalism for complex systems. Science of Computer Programming. 8:1987;231-274.
-
(1987)
Science of Computer Programming
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
12
-
-
0003435471
-
-
Brooks/Cole, Pacific Grove, CA
-
J. Devore, Probability and Statistics for Engineering and the Sciences, third ed., Brooks/Cole, Pacific Grove, CA, 1991.
-
(1991)
Probability and Statistics for Engineering and the Sciences, Third Ed.
-
-
Devore, J.1
-
14
-
-
0020815483
-
Inductive inference: Theory and methods
-
Angluin D., Smith C., Inductive inference: theory and methods. ACM Computing Surveys. 15(3):1983;237-269.
-
(1983)
ACM Computing Surveys
, vol.15
, Issue.3
, pp. 237-269
-
-
Angluin, D.1
Smith, C.2
-
15
-
-
85037549689
-
Inductive inference, DFAs, and computational complexity
-
Analogical and Inductive Inference, Springer-Verlag, New York
-
L. Pitt, Inductive inference, DFAs, and computational complexity, in: Analogical and Inductive Inference, vol. 397 of Lecture Notes in Artificial Intelligence (subseries of LNCS), Springer-Verlag, New York, 1989, pp. 18-44.
-
(1989)
Lecture Notes in Artificial Intelligence (Subseries of LNCS)
, vol.397
, pp. 18-44
-
-
Pitt, L.1
-
16
-
-
49949150022
-
Language identification in the limit
-
Gold E., Language identification in the limit. Information and Control. 10:1967;447-474.
-
(1967)
Information and Control
, vol.10
, pp. 447-474
-
-
Gold, E.1
-
17
-
-
0021518106
-
A theory of the learnable
-
Valiant L., A theory of the learnable. Communications of the ACM. 27:1984;1134-1142.
-
(1984)
Communications of the ACM
, vol.27
, pp. 1134-1142
-
-
Valiant, L.1
-
18
-
-
0348224251
-
On monotonic strategies for learning R.E. languages
-
Algorithmic Learning Theory, Springer-Verlag, New York
-
S. Jain, A. Sharma, On monotonic strategies for learning R.E. languages, in: Algorithmic Learning Theory, vol. 872 of Lecture Notes in Artificial Intelligence (subseries of LNCS), Springer-Verlag, New York, 1994, pp. 349-364.
-
(1994)
Lecture Notes in Artificial Intelligence (subseries of LNCS)
, vol.872
, pp. 349-364
-
-
Jain, S.1
Sharma, A.2
-
19
-
-
0040469751
-
Language learning from good examples
-
Algorithmic Learning Theory, Springer-Verlag, New York
-
S. Lange, J. Nessel, R. Wiehagen, Language learning from good examples, in: Algorithmic Learning Theory, vol. 872 of Lecture Notes in Artificial Intelligence (subseries of LNCS), Springer-Verlag, New York, 1994, pp. 423-437.
-
(1994)
Lecture Notes in Artificial Intelligence (subseries of LNCS)
, vol.872
, pp. 423-437
-
-
Lange, S.1
Nessel, J.2
Wiehagen, R.3
-
20
-
-
84988545491
-
Learning stochastic regular grammars by means of a state merging method
-
Grammatical Inference and Applications, Springer-Verlag, New York
-
R. Carrasco, J. Oncina, Learning stochastic regular grammars by means of a state merging method, in: Grammatical Inference and Applications, vol. 862 of Lecture Notes in Artificial Intelligence (subseries of LNCS), Springer-Verlag, New York, 1994, pp. 139-152.
-
(1994)
Lecture Notes in Artificial Intelligence (subseries of LNCS)
, vol.862
, pp. 139-152
-
-
Carrasco, R.1
Oncina, J.2
-
21
-
-
0038517726
-
Syntactic and Structural Pattern Recognition: Theory and Applications
-
of Series in World Scientific, New Jersey, Chapter 9
-
L. Miclet, Syntactic and Structural Pattern Recognition: Theory and Applications, vol. 7 of Series in Computer Science: Grammatical Inference, World Scientific, New Jersey, 1990, Chapter 9, pp. 237-290.
-
(1990)
Computer Science: Grammatical Inference
, vol.7
, pp. 237-290
-
-
Miclet, L.1
-
23
-
-
84974712025
-
A machine learning approach to workflow management
-
Springer-Verlag, Berlin
-
J. Herbst, A machine learning approach to workflow management, in: Proceedings of the 11th European Conference on Machine Learning, vol. 1810, Springer-Verlag, Berlin, 2000, pp. 183-194.
-
(2000)
Proceedings of the 11th European Conference on Machine Learning
, vol.1810
, pp. 183-194
-
-
Herbst, J.1
-
28
-
-
0002414201
-
From MSCs to statecharts
-
Kluwer Academic Publishers, Dordrecht
-
I. Kruger, R. Grosu, G. Scholz, M. Broy, From MSCs to statecharts, in: Proceedings of the 1998 Distributed and Parallel Embedded Systems, Kluwer Academic Publishers, Dordrecht, 1999, pp. 61-71.
-
(1999)
Proceedings of the 1998 Distributed and Parallel Embedded Systems
, pp. 61-71
-
-
Kruger, I.1
Grosu, R.2
Scholz, G.3
Broy, M.4
-
29
-
-
84886647896
-
From scenarios to timed automata: Building specifications from users requirements
-
S. Some, R. Dssouli, J. Vaucher, From scenarios to timed automata: building specifications from users requirements, in: Proceedings of the 1995 Asia Pacific Software Engineering Conference (IEEE'1998), 1998, pp. 48-57.
-
(1998)
Proceedings of the 1995 Asia Pacific Software Engineering Conference (IEEE'1998)
, pp. 48-57
-
-
Some, S.1
Dssouli, R.2
Vaucher, J.3
-
30
-
-
0033682244
-
Inference of message sequence charts
-
R. Alur, K. Etessami, M. Yannakakis, Inference of message sequence charts, in: Proceedings of the 22nd International Conference on Software Engineering, 2000, pp. 304-313.
-
(2000)
Proceedings of the 22nd International Conference on Software Engineering
, pp. 304-313
-
-
Alur, R.1
Etessami, K.2
Yannakakis, M.3
-
32
-
-
0004631835
-
Design recovery for distributed systems
-
Holtzblatt L., Piazza R., Reubenstein H., Roberts S., Harris D., Design recovery for distributed systems. IEEE Transactions on Software Engineering. 23(7):1997;461-472.
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.7
, pp. 461-472
-
-
Holtzblatt, L.1
Piazza, R.2
Reubenstein, H.3
Roberts, S.4
Harris, D.5
-
33
-
-
0029253406
-
Testing and debugging distributed programs using global predicates
-
Venkatesan S., Dathan B., Testing and debugging distributed programs using global predicates. IEEE Transactions on Software Engineering. 21(2):1995;163-177.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.2
, pp. 163-177
-
-
Venkatesan, S.1
Dathan, B.2
-
34
-
-
0028755449
-
Observer - A concept for formal on-line validation of distributed systems
-
Diaz M., Juanole G., Courtiat J., Observer - a concept for formal on-line validation of distributed systems. IEEE Transactions on Software Engineering. 20(12):1994;900-913.
-
(1994)
IEEE Transactions on Software Engineering
, vol.20
, Issue.12
, pp. 900-913
-
-
Diaz, M.1
Juanole, G.2
Courtiat, J.3
-
35
-
-
0012168865
-
Software process validation: Quantitatively measuring the correspondence of a process to a model
-
Cook J., Wolf A., Software process validation: quantitatively measuring the correspondence of a process to a model. ACM Transactions on Software Engineering and Methodology. 8(2):1999;147-176.
-
(1999)
ACM Transactions on Software Engineering and Methodology
, vol.8
, Issue.2
, pp. 147-176
-
-
Cook, J.1
Wolf, A.2
-
36
-
-
84931347503
-
Discovering workflow performance models from timed logs
-
LNCS
-
W. van der Aalst, B. van Dongen, Discovering workflow performance models from timed logs, in: Proceedings of the International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002), LNCS vol. 2480, 2002, pp. 45-63.
-
(2002)
Proceedings of the International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002)
, vol.2480
, pp. 45-63
-
-
Van Der Aalst, W.1
Van Dongen, B.2
|