Követés
Ondrej Sery
Ondrej Sery
Assitent professor, Charles University in Prague
E-mail megerősítve itt: usi.ch
Cím
Hivatkozott rá
Hivatkozott rá
Év
CoCoME in SOFA
T Bureą, M Děcký, P Hnětynka, J Kofroň, P Parízek, F Pláąil, T Poch, ...
The Common Component Modeling Example, 388-417, 2008
159*2008
Interpolation-based function summaries in bounded model checking
O Sery, G Fedyukovich, N Sharygina
Haifa Verification Conference (HVC’11), 2011
742011
Incremental Upgrade Checking by Means of Interpolation-based Function Summaries
O Sery, G Fedyukovich, N Sharygina
69*
eVolCheck: Incremental upgrade checker for C
G Fedyukovich, O Sery, N Sharygina
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
452013
CoCoME in fractal
L Bulej, T Bureą, T Coupaye, M Děcký, P Jeľek, P Parízek, F Pláąil, ...
The Common Component Modeling Example, 357-387, 2008
382008
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization⋆
O Sery, G Fedyukovich, N Sharygina
38*
Simulation level of detail for virtual humans
C Brom, O ©erý, T Poch
Intelligent Virtual Agents, 1-14, 2007
352007
Leveraging interpolant strength in model checking
S Rollini, O Sery, N Sharygina
Computer Aided Verification, 193-209, 2012
332012
Affordances and level-of-detail AI for virtual humans
C Brom, J Lukavský, O ©erý, T Poch, P ©afrata
Proceedings of Game Set and Match 2, 2006
272006
Enhanced property specification and verification in BLAST
O ©erý
Fundamental Approaches to Software Engineering, 456-469, 2009
192009
15 CoCoME in SOFA
T Bures, M Decky, P Hnetynka, J Kofron, P Parizek, F Plasil, T Poch, ...
Lecture Notes in Computer Science 5153, 388, 2008
172008
Tbp: Code-oriented component behavior specification
J Kofron, T Poch, O Sery
2008 32nd Annual IEEE Software Engineering Workshop, 75-83, 2008
152008
Slicing of component behavior specification with respect to their composition
O ©erý, F Pláąil
Component-Based Software Engineering, 189-202, 2007
132007
UnitCheck: Unit Testing and Model Checking Combined
M Kebrt, O ©erý
Automated Technology for Verification and Analysis, 97-103, 2009
122009
Flexible SAT-based framework for incremental bounded upgrade checking
G Fedyukovich, O Sery, N Sharygina
International Journal on Software Tools for Technology Transfer 19, 517-534, 2017
102017
Modes in component behavior specification via ebp and their application in product lines
J Kofroň, F Pláąil, O ©erý
Information and Software Technology 51 (1), 31-41, 2009
92009
Level-of-detail in behaviour of virtual humans
O ©erý, T Poch, P ©afrata, C Brom
SOFSEM 2006: Theory and Practice of Computer Science, 565-574, 2006
92006
Function Summaries in Software Upgrade Checking⋆
G Fedyukovich, O Sery, N Sharygina
Haifa Verification Conference, 2011
72011
Applicability of the blast model checker: An industrial case study
E Kolb, O ©erý, R Weiss
Perspectives of Systems Informatics, 218-229, 2010
72010
AI level of detail for really large worlds
C Brom, T Poch, O Sery
Game Programming Gems 8, 213-231, 2010
52010
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20