-
2
-
-
84887432229
-
Communicating hierarchical state machines
-
J. Wiedermann, P. van Emde Boas, and M. Nielsen, editors, Prague, Czech Republic, July. Springer-Verlag
-
R. Alur, S. Kannan, and M. Yannakakis. Communicating hierarchical state machines. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, editors, 26th International Colloquium on Automata, Languages and Programming (ICALP), volume 1644 of LNCS, pages 169-178, Prague, Czech Republic, July 1999. Springer-Verlag.
-
(1999)
26th International Colloquium on Automata, Languages and Programming (ICALP), Volume 1644 of LNCS
, vol.1644
, pp. 169-178
-
-
Alur, R.1
Kannan, S.2
Yannakakis, M.3
-
3
-
-
84948979840
-
Verification of hierarchical state/event systems using reusability and compositionality
-
Amsterdam, The Netherlands, Mar. Springer-Verlag
-
G. Behrmann, K. G. Larsen, H. R. Andersen, H. Hulgaard, and J. Lind Nielsen. Verification of hierarchical state/event systems using reusability and compositionality, In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 1579 of LNCS, pages 163-177, Amsterdam, The Netherlands, Mar. 1999. Springer-Verlag.
-
(1999)
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 1579 of LNCS
, vol.1579
, pp. 163-177
-
-
Behrmann, G.1
Larsen, K.G.2
Andersen, H.R.3
Hulgaard, H.4
Nielsen, J.L.5
-
5
-
-
77954550469
-
Towards efficient code synthesis from statecharts
-
A. Evans, R. France, and A. M. B. Rumpe, editors, Lecture Notes in Informatics P-7, Toronto,Canada, Oct.
-
D. Björklund, J. Lilius, and I. Porres. Towards efficient code synthesis from statecharts. In A. Evans, R. France, and A. M. B. Rumpe, editors, Practical UML-Based Rigorous Development Methods. Countering or Integrating the eXtremists, Lecture Notes in Informatics P-7, Toronto,Canada, Oct. 2001.
-
(2001)
Practical UML-Based Rigorous Development Methods. Countering or Integrating the EXtremists
-
-
Björklund, D.1
Lilius, J.2
Porres, I.3
-
9
-
-
4544385669
-
Eclipse feature logic analysis
-
New York City, USA, April
-
G. W. Bond, F. Ivancic, N. Klarlund, and R. Trefler. Eclipse feature logic analysis. In 2nd IP-Telephony Workshop, pages 100-107, New York City, USA, April 2001.
-
(2001)
2nd IP-Telephony Workshop
, pp. 100-107
-
-
Bond, G.W.1
Ivancic, F.2
Klarlund, N.3
Trefler, R.4
-
10
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
Aug.
-
R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 35(8):677-691, Aug. 1986.
-
(1986)
IEEE Transactions on Computers
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
12
-
-
84958778942
-
Formal verification of UML statecharts with real-time extensions
-
R.-D. Kutsche and H. Weber, editors, Grenoble, France, April. Springer-Verlag
-
A. David, M. O. Möller, and W. Yi. Formal verification of UML statecharts with real-time extensions. In R.-D. Kutsche and H. Weber, editors, Fundamental Approaches to Software Engineering (FASE), volume 2306 of LNCS, pages 218-232, Grenoble, France, April 2002. Springer-Verlag.
-
(2002)
Fundamental Approaches to Software Engineering (FASE), Volume 2306 of LNCS
, vol.2306
, pp. 218-232
-
-
David, A.1
Möller, M.O.2
Yi, W.3
-
14
-
-
0028430821
-
On the power of bounded concurrency I: Finite automata
-
May
-
D. Drusinsky and D. Harel. On the power of bounded concurrency I: Finite automata. Journal of ACM, 41(3):517-539, May 1994.
-
(1994)
Journal of ACM
, vol.41
, Issue.3
, pp. 517-539
-
-
Drusinsky, D.1
Harel, D.2
-
17
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
-
(1987)
Science of Computer Programming
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
19
-
-
4544236918
-
-
Dresden, Germany, Sept. Technical University of Munich. TUM-I0208
-
J. Jürjens, M. V. Cengarle, E. B. Fernandez, B. Rumpe, and R. Sandner, editors. pUML Group Workshop on Critical Systems Development with UML (CSDUML), Dresden, Germany, Sept. 2002. Technical University of Munich. TUM-I0208.
-
(2002)
PUML Group Workshop on Critical Systems Development with UML (CSDUML)
-
-
Jürjens, J.1
Cengarle, M.V.2
Fernandez, E.B.3
Rumpe, B.4
Sandner, R.5
-
21
-
-
35248882040
-
UML-based statistical test case generation
-
M. Aksit, M. Mezini, and R. Unland, editors, Erfurt, Germany, Oct. Springer-Verlag
-
M. Riebisch, I. Philippow, and M. Götze. UML-based statistical test case generation. In M. Aksit, M. Mezini, and R. Unland, editors, Objects, Components, Architectures, Services, and Applications for a Networked World. NetObjectDays, Revised Papers, volume 2591 of LNCS, pages 394-411, Erfurt, Germany, Oct. 2002. Springer-Verlag.
-
(2002)
Objects, Components, Architectures, Services, and Applications for a Networked World. NetObjectDays, Revised Papers, Volume 2591 of LNCS
, vol.2591
, pp. 394-411
-
-
Riebisch, M.1
Philippow, I.2
Götze, M.3
-
22
-
-
12344308413
-
Transformation of UML specification to XTG
-
D. Bjørner, M. Broy, and A. V. Zamulin, editors, Novosibirsk, July. Springer-Verlag
-
E. E. Roubtsova, J. van Katwijk, R. C. M. de Rooij, and H. Toetenel. Transformation of UML specification to XTG. In D. Bjørner, M. Broy, and A. V. Zamulin, editors, Perspectives of System Informatics (PSI), 4th International Andrei Ershov Memorial Conference, Revised Papers, volume 2244 of LNCS, pages 249-256, Novosibirsk, July 2001. Springer-Verlag.
-
(2001)
Perspectives of System Informatics (PSI), 4th International Andrei Ershov Memorial Conference, Revised Papers, Volume 2244 of LNCS
, vol.2244
, pp. 249-256
-
-
Roubtsova, E.E.1
Van Katwijk, J.2
De Rooij, R.C.M.3
Toetenel, H.4
-
24
-
-
33746436793
-
The compositional properties of UML statechart diagrams
-
C. J. van Rijsbergen, editor, British Computer Society
-
A. J. H. Simons. The compositional properties of UML statechart diagrams. In C. J. van Rijsbergen, editor, 3rd Electronic Workshop on Rigorous Object-Oriented Methods. British Computer Society, 2000.
-
(2000)
3rd Electronic Workshop on Rigorous Object-oriented Methods
-
-
Simons, A.J.H.1
-
25
-
-
0034188389
-
Practical verification of embedded software
-
J. Staunstrup, H. R. Andersen, H. Hulgaard, J. Lind-Nielsen, K. G. Larsen, G. Behrmann, K. J. Kristoffersen, A. Skou, H. Leerberg, and N. B. Theilgaard. Practical verification of embedded software. IEEE Computer, 5(33):68-75, 2000.
-
(2000)
IEEE Computer
, vol.5
, Issue.33
, pp. 68-75
-
-
Staunstrup, J.1
Andersen, H.R.2
Hulgaard, H.3
Lind-Nielsen, J.4
Larsen, K.G.5
Behrmann, G.6
Kristoffersen, K.J.7
Skou, A.8
Leerberg, H.9
Theilgaard, N.B.10
-
26
-
-
1442337763
-
On efficient program synthesis from statecharts
-
San Diego, USA, June. ACM Press
-
A. Wasowski. On Efficient Program Synthesis from Statecharts. In ACM SIGPLAN Languages, Compilers, and Tools for Embedded Systems (LCTES), San Diego, USA, June 2003. ACM Press.
-
(2003)
ACM SIGPLAN Languages, Compilers, and Tools for Embedded Systems (LCTES)
-
-
Wasowski, A.1
-
27
-
-
4544316408
-
On succinctness of hierarchical state diagrams in absence of message passing
-
M. Mendier, editor, A satellite workshop of ETAPS 2004. Barcelona, Spain, March 2004. To be published in ENTCS. Elsevier Science Publishers
-
A. Wa̧sowski. On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. In M. Mendier, editor, Semantic Foundations of Engineering Design Languages (SFEDL), A satellite workshop of ETAPS 2004. Barcelona, Spain, March 2004. To be published in ENTCS. Elsevier Science Publishers, 2004.
-
(2004)
Semantic Foundations of Engineering Design Languages (SFEDL)
-
-
Wa̧sowski, A.1
|