СТ |
A Categorial Observaion of Timed Testing Equivalence |
2007 |
Gribovskaya N., Virbitskaite I. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.11.2007 |
СТ |
A Categorical View of Timed Weak Bisimulation |
2010 |
Gribovskaya N., Virbitskaite I. |
Lecture Notes in Computer Science |
|
|
LNCS |
29.06.2010 |
СТ |
A Partial Order Method for the Verification of Time Petri Nets |
1999 |
Virbitskaite I., Pokozy E. |
|
|
|
Lecture Notes in Computer Science |
29.09.1999 |
СТ |
Branching Processes of Petri Nets |
2016 |
Virbitskaite I., Borolyov V., Popova-Zeugmann L. |
Lecture Notes in Computer Science |
|
|
PSI 10 |
05.09.2016 |
СТ |
Causality-Based Testing in Time Petri Nets |
2019 |
Bozhenkova E., Virbitskaite I., Popova-Zeugmann L. |
|
|
|
LNCS |
28.01.2020 |
СТ |
Causality-Based Testing in Time Petri Nets |
2019 |
Bozhenkova E., Virbitskaite I., Popova-Zeugmann L. |
|
|
|
PSI'19 Preliminary Proc. |
14.08.2019 |
П |
Comparing Logical and Behavioural Equivalences for Event Structures |
1996 |
Virbitskaite I., Votintseva A., Best E. |
|
|
Univ. Hildesheim |
|
22.04.1998 |
СТ |
Comparing Semantics Under Strong Timing of Petri Nets |
2015 |
Virbitskaite I., Bushin D. |
Lecture Notes in Computer Science |
|
|
|
02.09.2015 |
СТ |
From Event-Oriented Models to Transition Systems |
2018 |
Gribovskaya N., Virbitskaite I., Best E. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
25.09.2018 |
П |
Investigating Semantic Notions for Coloured Dataflow Netwirks |
1996 |
Virbitskaite I., Votintseva A., Chkliaev D. |
|
|
Univ. Hildesheim |
|
22.04.1998 |
П |
Investigating Semantic Notions for Coloured Dataflow Networks |
1996 |
Virbitskaite I., Votintseva A., Chkliaev D. |
|
|
Hildesheimer Informatik-Berichte |
|
06.04.1998 |
СТ |
Real arithmetic based verification of prioritized time Perti nets with parameters |
2010 |
Virbitskaite I., Fleischhack H., Dedova A. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
05.04.2011 |
СТ |
Towards Parametric Verification of Prioritized Time Petri Nets |
2009 |
Dedova A., Virbitskaite I. |
|
|
|
Lecture Notes in Computer Science |
29.03.2011 |