Irina B. Virbitskaite

52 papers B 10C 1Journal 20Unranked 15
YearRankTypeTitle / Venue / Authors
2023 — conf
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures.
AFL
Nataliya Gribovskaya, Irina B. Virbitskaite
2021 J jnl
'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies.
Program. Comput. Softw.
Irina B. Virbitskaite, Andrey Yu Zubarev
2021 — conf
Extended Future in Testing Semantics for Time Petri Nets.
CS&P (Revised Selected Papers)
Elena N. Bozhenkova, Irina B. Virbitskaite
2021 — conf
On Semantics for Testing in Time Petri Nets.
CS&P
Elena N. Bozhenkova, Irina B. Virbitskaite
2020 J jnl
Testing Equivalences of Time Petri Nets.
Program. Comput. Softw.
Elena N. Bozhenkova, Irina B. Virbitskaite
2019 — conf
Causality-Based Testing in Time Petri Nets.
Ershov Informatics Conference
Elena N. Bozhenkova, Irina B. Virbitskaite, Louchka Popova-Zeugmann
2019 — ed.
Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Ershov Informatics Conference
Nikolaj S. Bjørner, Irina B. Virbitskaite, Andrei Voronkov
2018 B conf
From Event-Oriented Models to Transition Systems.
Petri Nets
Eike Best, Nataliya Gribovskaya, Irina B. Virbitskaite
2018 — conf
Preserving Behavior in Transition Systems from Event Structure Models.
CS&P
Irina B. Virbitskaite, Nataliya Gribovskaya
2017 B conf
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict.
SOFSEM
Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite
2016 J jnl
"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets.
Program. Comput. Softw.
Irina B. Virbitskaite, V. A. Borovlev, Louchka Popova-Zeugmann
2016 J jnl
True Concurrent Equivalences in Time Petri Nets.
Fundam. Informaticae
Irina B. Virbitskaite, Dmitriy Bushin, Eike Best
2015 — conf
Branching Processes of Timed Petri Nets.
Ershov Memorial Conference
Irina B. Virbitskaite, Victor Borovlyov, Louchka Popova-Zeugmann
2015 J jnl
Comparative trace semantics of time Petri nets.
Program. Comput. Softw.
Dmitriy Bushin, Irina B. Virbitskaite
2015 — ed.
Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Ershov Memorial Conference
Andrei Voronkov, Irina B. Virbitskaite
2015 — conf
Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures.
CS&P
Irina B. Virbitskaite, Elena N. Bozhenkova, Evgeny Erofeev
2014 J jnl
A Domain View of Timed Behaviors.
Fundam. Informaticae
Roman S. Dubtsov, Elena S. Oshevskaya, Irina B. Virbitskaite
2014 — conf
Comparing Semantics Under Strong Timing of Petri Nets.
Ershov Memorial Conference
Irina B. Virbitskaite, Dmitriy Bushin
2014 — ed.
PSI 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations
Ershov Memorial Conference (Posters)
Irina B. Virbitskaite, Andrei Voronkov
2014 — conf
Time Process Equivalences for Time Petri Nets.
CS&P
Dmitriy Bushin, Irina B. Virbitskaite
2013 — conf
A Domain View of Timed Behaviors.
CS&P
Roman S. Dubtsov, Elena S. Oshevskaya, Irina B. Virbitskaite
2012 — ed.
Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Ershov Memorial Conference
Edmund M. Clarke, Irina B. Virbitskaite, Andrei Voronkov
2012 J jnl
Unifying Equivalences for Higher Dimensional Automata.
Fundam. Informaticae
Elena S. Oshevskaya, Irina B. Virbitskaite, Eike Best
2012 — conf
Unifying Equivalences for Timed Transition Systems.
Turing-100
Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best
2010 J jnl
A Categorical View of Timed Behaviours.
Fundam. Informaticae
Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best
2010 C conf
A Categorical View of Timed Weak Bisimulation.
TAMC
Natalya Gribovskaya, Irina B. Virbitskaite
2010 — ed.
Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Ershov Memorial Conference
Amir Pnueli, Irina B. Virbitskaite, Andrei Voronkov
2010 J jnl
Unifying behavioral equivalences of timed transition systems.
Program. Comput. Softw.
Irina B. Virbitskaite, Natalya Gribovskaya
2009 J jnl
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems.
Fundam. Informaticae
Natalya Gribovskaya, Irina B. Virbitskaite
2009 B conf
Towards Parametric Verification of Prioritized Time Petri Nets.
PaCT
Anna Dedova, Irina B. Virbitskaite
2008 J jnl
Semantic domains of timed event structures.
Program. Comput. Softw.
Irina B. Virbitskaite, Roman S. Dubtsov
2007 B conf
A Categorical Observation of Timed Testing Equivalence.
PaCT
Natalya Gribovskaya, Irina B. Virbitskaite
2007 — ed.
Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
Ershov Memorial Conference
Irina B. Virbitskaite, Andrei Voronkov
2007 J jnl
Sixth International Conference "Perspectives of System Informatics".
Program. Comput. Softw.
Irina B. Virbitskaite
2006 J jnl
Observational Equivalences for Timed Stable Event Structures.
Fundam. Informaticae
Maria V. Andreeva, Irina B. Virbitskaite
2005 J jnl
Information Announcement on Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics, " 27-30 June 2006, Novosibirsk, Akademgorodok, Russia.
Program. Comput. Softw.
Irina B. Virbitskaite
2005 B conf
Timed Equivalences for Timed Event Structures.
PaCT
Maria V. Andreeva, Irina B. Virbitskaite
2004 J jnl
Open Maps and Observational Equivalences for Timed Partial Order Models.
Fundam. Informaticae
Irina B. Virbitskaite, Natalya S. Gribovskaja
2003 — conf
Open Maps and Trace Semantics for Timed Partial Order Models.
Ershov Memorial Conference
Irina B. Virbitskaite, Natalya S. Gribovskaja
2001 B conf
Characterizing Timed Net Processes Categorically.
PaCT
Irina B. Virbitskaite
2001 — conf
Observational Semantics for Timed Event Structures.
Ershov Memorial Conference
Irina B. Virbitskaite
2001 B conf
On the Category of Event Structures with Dense Time.
FCT
Nataly S. Moskaljova, Irina B. Virbitskaite
2000 J jnl
Analysis of Timed Concurrent Models Based on Testing Equivalence.
Fundam. Informaticae
Maria V. Andreeva, Elena N. Bozhenkova, Irina B. Virbitskaite
2000 J jnl
Analysis of equivalence relations of event structures with continuous time.
Program. Comput. Softw.
Elena N. Bozhenkova, Irina B. Virbitskaite
1999 B conf
A Partial Order Method for the Verification of Time Petri Nets.
FCT
Irina B. Virbitskaite, E. Pokozy
1999 J jnl
An Event Structure Model for Dataflow Computing.
Comput. Artif. Intell.
Irina B. Virbitskaite
1999 B conf
Parametric Behaviour Analysis for Time Petri Nets.
PaCT
Irina B. Virbitskaite, E. Pokozy
1998 — conf
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics.
MFCS Workshop on Concurrency
Irina B. Virbitskaite
1997 B conf
Behavioural Characterizations of Partial Order Logics.
FCT
Irina B. Virbitskaite, Anzhelika Votintseva
1995 J jnl
On Varieties of Density and Crossing Properties for Event Structures.
Comput. Artif. Intell.
V. E. Kotov, S. A. Starkova, Irina B. Virbitskaite
1993 — conf
Observing Some Properties of Event Structures.
Formal Methods in Programming and Their Applications
Irina B. Virbitskaite
1993 J jnl
Some characteristics of Nondeterministic Processes.
Parallel Process. Lett.
Irina B. Virbitskaite
test_files/rich_header.py
← Index test_files/rich_header.py python 
# from https://github.com/dishather/richprint/blob/master/comp_id.txt
# adapted from mirar's implementations for
# https://www.sweetscape.com/010editor/repository/files/EXE.bt
def get_rich_idVersion(idVersion):
    if idVersion == 0x00010000:
        return "[---] Unmarked objects"
    elif idVersion == 0x00000000:
        return "[---] Unmarked objects (old)"
    elif idVersion == 0x01046B74:
        return "[ C ] VS2019 v16.0.0 build 27508"
    elif idVersion == 0x01036B74:
        return "[ASM] VS2019 v16.0.0 build 27508"
    elif idVersion == 0x01056B74:
        return "[C++] VS2019 v16.0.0 build 27508"
    elif idVersion == 0x00FF6B74:
        return "[RES] VS2019 v16.0.0 build 27508"
    elif idVersion == 0x01026B74:
        return "[LNK] VS2019 v16.0.0 build 27508"
    elif idVersion == 0x01006B74:
        return "[EXP] VS2019 v16.0.0 build 27508"
    elif idVersion == 0x01016B74:
        return "[IMP] VS2019 v16.0.0 build 27508"
    elif idVersion == 0x010464EA:
        return "[ C ] VS2017 v15.5.4 build 25834"
    elif idVersion == 0x010364EA:
        return "[ASM] VS2017 v15.5.4 build 25834"
    elif idVersion == 0x010564EA:
        return "[C++] VS2017 v15.5.4 build 25834"
    elif idVersion == 0x00FF64EA:
        return "[RES] VS2017 v15.5.4 build 25834"
    elif idVersion == 0x010264EA:
        return "[LNK] VS2017 v15.5.4 build 25834"
    elif idVersion == 0x010064EA:
        return "[EXP] VS2017 v15.5.4 build 25834"
    elif idVersion == 0x010164EA:
        return "[IMP] VS2017 v15.5.4 build 25834"
    elif idVersion == 0x01045E97:
        return "[ C ] VS2015 UPD3.1 build 24215"
    elif idVersion == 0x01055E97:
        return "[C++] VS2015 UPD3.1 build 24215"
    elif idVersion == 0x01025E97:
        return "[LNK] VS2015 UPD3.1 build 24215"
    elif idVersion == 0x01005E97:
        return "[EXP] VS2015 UPD3.1 build 24215"
    elif idVersion == 0x01015E97:
        return "[IMP] VS2015 UPD3.1 build 24215"
    elif idVersion == 0x01045E95:
        return "[ C ] VS2015 UPD3 build 24213"
    elif idVersion == 0x01035E92:
        return "[ASM] VS2015 UPD3 build 24210"
    elif idVersion == 0x01055E95:
        return "[C++] VS2015 UPD3 build 24213"
    elif idVersion == 0x00FF5E92:
        return "[RES] VS2015 UPD3 build 24210"
    elif idVersion == 0x01025E95:
        return "[LNK] VS2015 UPD3 build 24213"
    elif idVersion == 0x01005E95:
        return "[EXP] VS2015 UPD3 build 24213"
    elif idVersion == 0x01015E95:
        return "[IMP] VS2015 UPD3 build 24213"
    elif idVersion == 0x01045D6E:
        return "[ C ] VS2015 UPD2 build 23918"
    elif idVersion == 0x01035D6E:
        return "[ASM] VS2015 UPD2 build 23918"
    elif idVersion == 0x01055D6E:
        return "[C++] VS2015 UPD2 build 23918"
    elif idVersion == 0x00FF5D6E:
        return "[RES] VS2015 UPD2 build 23918"
    elif idVersion == 0x01025D6E:
        return "[LNK] VS2015 UPD2 build 23918"
    elif idVersion == 0x01005D6E:
        return "[EXP] VS2015 UPD2 build 23918"
    elif idVersion == 0x01015D6E:
        return "[IMP] VS2015 UPD2 build 23918"
    elif idVersion == 0x01045BD2:
        return "[ C ] VS2015 UPD1 build 23506"
    elif idVersion == 0x01035BD2:
        return "[ASM] VS2015 UPD1 build 23506"
    elif idVersion == 0x01055BD2:
        return "[C++] VS2015 UPD1 build 23506"
    elif idVersion == 0x00FF5BD2:
        return "[RES] VS2015 UPD1 build 23506"
    elif idVersion == 0x01025BD2:
        return "[LNK] VS2015 UPD1 build 23506"
    elif idVersion == 0x01005BD2:
        return "[EXP] VS2015 UPD1 build 23506"
    elif idVersion == 0x01015BD2:
        return "[IMP] VS2015 UPD1 build 23506"
    elif idVersion == 0x010459F2:
        return "[ C ] VS2015 build 23026"
    elif idVersion == 0x010359F2:
        return "[ASM] VS2015 build 23026"
    elif idVersion == 0x010559F2:
        return "[C++] VS2015 build 23026"
    elif idVersion == 0x00FF59F2:
        return "[RES] VS2015 build 23026"
    elif idVersion == 0x010259F2:
        return "[LNK] VS2015 build 23026"
    elif idVersion == 0x010059F2:
        return "[EXP] VS2015 build 23026"
    elif idVersion == 0x010159F2:
        return "[IMP] VS2015 build 23026"
    elif idVersion == 0x00E09EB5:
        return "[ C ] VS2013 UPD5 build 40629"
    elif idVersion == 0x00E19EB5:
        return "[C++] VS2013 UPD5 build 40629"
    elif idVersion == 0x00DE9EB5:
        return "[LNK] VS2013 UPD5 build 40629"
    elif idVersion == 0x00DC9EB5:
        return "[EXP] VS2013 UPD5 build 40629"
    elif idVersion == 0x00DD9EB5:
        return "[IMP] VS2013 UPD5 build 40629"
    elif idVersion == 0x00DF9EB5:
        return "[ASM] VS2013 UPD5 build 40629"
    elif idVersion == 0x00E0797D:
        return "[ C ] VS2013 UPD4 build 31101"
    elif idVersion == 0x00E1797D:
        return "[C++] VS2013 UPD4 build 31101"
    elif idVersion == 0x00DE797D:
        return "[LNK] VS2013 UPD4 build 31101"
    elif idVersion == 0x00DC797D:
        return "[EXP] VS2013 UPD4 build 31101"
    elif idVersion == 0x00DD797D:
        return "[IMP] VS2013 UPD4 build 31101"
    elif idVersion == 0x00DF797D:
        return "[ASM] VS2013 UPD4 build 31101"
    elif idVersion == 0x00E07803:
        return "[ C ] VS2013 UPD3 build 30723"
    elif idVersion == 0x00E17803:
        return "[C++] VS2013 UPD3 build 30723"
    elif idVersion == 0x00DE7803:
        return "[LNK] VS2013 UPD3 build 30723"
    elif idVersion == 0x00DC7803:
        return "[EXP] VS2013 UPD3 build 30723"
    elif idVersion == 0x00DD7803:
        return "[IMP] VS2013 UPD3 build 30723"
    elif idVersion == 0x00DF7803:
        return "[ASM] VS2013 UPD3 build 30723"
    elif idVersion == 0x00E07725:
        return "[ C ] VS2013 UPD2 build 30501"
    elif idVersion == 0x00E17725:
        return "[C++] VS2013 UPD2 build 30501"
    elif idVersion == 0x00DE7725:
        return "[LNK] VS2013 UPD2 build 30501"
    elif idVersion == 0x00DC7725:
        return "[EXP] VS2013 UPD2 build 30501"
    elif idVersion == 0x00DD7725:
        return "[IMP] VS2013 UPD2 build 30501"
    elif idVersion == 0x00DF7725:
        return "[ASM] VS2013 UPD2 build 30501"
    elif idVersion == 0x00E0520D:
        return "[ C ] VS2013 build 21005"
    elif idVersion == 0x00E1520D:
        return "[C++] VS2013 build 21005"
    elif idVersion == 0x00DB520D:
        return "[RES] VS2013 build 21005"
    elif idVersion == 0x00DE520D:
        return "[LNK] VS2013 build 21005"
    elif idVersion == 0x00DC520D:
        return "[EXP] VS2013 build 21005"
    elif idVersion == 0x00DD520D:
        return "[IMP] VS2013 build 21005"
    elif idVersion == 0x00DF520D:
        return "[ASM] VS2013 build 21005"
    elif idVersion == 0x00CEEE66:
        return "[ C ] VS2012 UPD4 build 61030"
    elif idVersion == 0x00CFEE66:
        return "[C++] VS2012 UPD4 build 61030"
    elif idVersion == 0x00CDEE66:
        return "[ASM] VS2012 UPD4 build 61030"
    elif idVersion == 0x00C9EE66:
        return "[RES] VS2012 UPD4 build 61030"
    elif idVersion == 0x00CCEE66:
        return "[LNK] VS2012 UPD4 build 61030"
    elif idVersion == 0x00CAEE66:
        return "[EXP] VS2012 UPD4 build 61030"
    elif idVersion == 0x00CBEE66:
        return "[IMP] VS2012 UPD4 build 61030"
    elif idVersion == 0x00CEECC2:
        return "[ C ] VS2012 UPD3 build 60610"
    elif idVersion == 0x00CFECC2:
        return "[C++] VS2012 UPD3 build 60610"
    elif idVersion == 0x00CDECC2:
        return "[ASM] VS2012 UPD3 build 60610"
    elif idVersion == 0x00C9ECC2:
        return "[RES] VS2012 UPD3 build 60610"
    elif idVersion == 0x00CCECC2:
        return "[LNK] VS2012 UPD3 build 60610"
    elif idVersion == 0x00CAECC2:
        return "[EXP] VS2012 UPD3 build 60610"
    elif idVersion == 0x00CBECC2:
        return "[IMP] VS2012 UPD3 build 60610"
    elif idVersion == 0x00CEEB9B:
        return "[ C ] VS2012 UPD2 build 60315"
    elif idVersion == 0x00CFEB9B:
        return "[C++] VS2012 UPD2 build 60315"
    elif idVersion == 0x00CDEB9B:
        return "[ASM] VS2012 UPD2 build 60315"
    elif idVersion == 0x00C9EB9B:
        return "[RES] VS2012 UPD2 build 60315"
    elif idVersion == 0x00CCEB9B:
        return "[LNK] VS2012 UPD2 build 60315"
    elif idVersion == 0x00CAEB9B:
        return "[EXP] VS2012 UPD2 build 60315"
    elif idVersion == 0x00CBEB9B:
        return "[IMP] VS2012 UPD2 build 60315"
    elif idVersion == 0x00CEC7A2:
        return "[ C ] VS2012 UPD1 build 51106"
    elif idVersion == 0x00CFC7A2:
        return "[C++] VS2012 UPD1 build 51106"
    elif idVersion == 0x00CDC7A2:
        return "[ASM] VS2012 UPD1 build 51106"
    elif idVersion == 0x00C9C7A2:
        return "[RES] VS2012 UPD1 build 51106"
    elif idVersion == 0x00CCC7A2:
        return "[LNK] VS2012 UPD1 build 51106"
    elif idVersion == 0x00CAC7A2:
        return "[EXP] VS2012 UPD1 build 51106"
    elif idVersion == 0x00CBC7A2:
        return "[IMP] VS2012 UPD1 build 51106"
    elif idVersion == 0x00CEC627:
        return "[ C ] VS2012 build 50727"
    elif idVersion == 0x00CFC627:
        return "[C++] VS2012 build 50727"
    elif idVersion == 0x00C9C627:
        return "[RES] VS2012 build 50727"
    elif idVersion == 0x00CDC627:
        return "[ASM] VS2012 build 50727"
    elif idVersion == 0x00CAC627:
        return "[EXP] VS2012 build 50727"
    elif idVersion == 0x00CBC627:
        return "[IMP] VS2012 build 50727"
    elif idVersion == 0x00CCC627:
        return "[LNK] VS2012 build 50727"
    elif idVersion == 0x00AA9D1B:
        return "[ C ] VS2010 SP1 build 40219"
    elif idVersion == 0x00AB9D1B:
        return "[C++] VS2010 SP1 build 40219"
    elif idVersion == 0x009D9D1B:
        return "[LNK] VS2010 SP1 build 40219"
    elif idVersion == 0x009A9D1B:
        return "[RES] VS2010 SP1 build 40219"
    elif idVersion == 0x009B9D1B:
        return "[EXP] VS2010 SP1 build 40219"
    elif idVersion == 0x009C9D1B:
        return "[IMP] VS2010 SP1 build 40219"
    elif idVersion == 0x009E9D1B:
        return "[ASM] VS2010 SP1 build 40219"
    elif idVersion == 0x00AA766F:
        return "[ C ] VS2010 build 30319"
    elif idVersion == 0x00AB766F:
        return "[C++] VS2010 build 30319"
    elif idVersion == 0x009D766F:
        return "[LNK] VS2010 build 30319"
    elif idVersion == 0x009A766F:
        return "[RES] VS2010 build 30319"
    elif idVersion == 0x009B766F:
        return "[EXP] VS2010 build 30319"
    elif idVersion == 0x009C766F:
        return "[IMP] VS2010 build 30319"
    elif idVersion == 0x009E766F:
        return "[ASM] VS2010 build 30319"
    elif idVersion == 0x00837809:
        return "[ C ] VS2008 SP1 build 30729"
    elif idVersion == 0x00847809:
        return "[C++] VS2008 SP1 build 30729"
    elif idVersion == 0x00957809:
        return "[ASM] VS2008 SP1 build 30729"
    elif idVersion == 0x00927809:
        return "[EXP] VS2008 SP1 build 30729"
    elif idVersion == 0x00937809:
        return "[IMP] VS2008 SP1 build 30729"
    elif idVersion == 0x00917809:
        return "[LNK] VS2008 SP1 build 30729"
    elif idVersion == 0x0083521E:
        return "[ C ] VS2008 build 21022"
    elif idVersion == 0x0084521E:
        return "[C++] VS2008 build 21022"
    elif idVersion == 0x0091521E:
        return "[LNK] VS2008 build 21022"
    elif idVersion == 0x0094521E:
        return "[RES] VS2008 build 21022"
    elif idVersion == 0x0092521E:
        return "[EXP] VS2008 build 21022"
    elif idVersion == 0x0093521E:
        return "[IMP] VS2008 build 21022"
    elif idVersion == 0x0095521E:
        return "[ASM] VS2008 build 21022"
    elif idVersion == 0x006DC627:
        return "[ C ] VS2005 build 50727"
    elif idVersion == 0x006EC627:
        return "[C++] VS2005 build 50727"
    elif idVersion == 0x0078C627:
        return "[LNK] VS2005 build 50727"
    elif idVersion == 0x007CC627:
        return "[RES] VS2005 build 50727"
    elif idVersion == 0x007AC627:
        return "[EXP] VS2005 build 50727"
    elif idVersion == 0x007BC627:
        return "[IMP] VS2005 build 50727"
    elif idVersion == 0x007DC627:
        return "[ASM] VS2005 build 50727"
    elif idVersion == 0x005F178E:
        return "[ C ] VS2003 (.NET) SP1 build 6030"
    elif idVersion == 0x0060178E:
        return "[C++] VS2003 (.NET) SP1 build 6030"
    elif idVersion == 0x005A178E:
        return "[LNK] VS2003 (.NET) SP1 build 6030"
    elif idVersion == 0x000F178E:
        return "[ASM] VS2003 (.NET) SP1 build 6030"
    elif idVersion == 0x005C178E:
        return "[EXP] VS2003 (.NET) SP1 build 6030"
    elif idVersion == 0x005D178E:
        return "[IMP] VS2003 (.NET) SP1 build 6030"
    elif idVersion == 0x005F0C05:
        return "[ C ] VS2003 (.NET) build 3077"
    elif idVersion == 0x00600C05:
        return "[C++] VS2003 (.NET) build 3077"
    elif idVersion == 0x000F0C05:
        return "[ASM] VS2003 (.NET) build 3077"
    elif idVersion == 0x005E0BEC:
        return "[RES] VS2003 (.NET) build 3052"
    elif idVersion == 0x005C0C05:
        return "[EXP] VS2003 (.NET) build 3077"
    elif idVersion == 0x005D0C05:
        return "[IMP] VS2003 (.NET) build 3077"
    elif idVersion == 0x005A0C05:
        return "[LNK] VS2003 (.NET) build 3077"
    elif idVersion == 0x001C24FA:
        return "[ C ] VS2002 (.NET) build 9466"
    elif idVersion == 0x001D24FA:
        return "[C++] VS2002 (.NET) build 9466"
    elif idVersion == 0x004024FA:
        return "[ASM] VS2002 (.NET) build 9466"
    elif idVersion == 0x003D24FA:
        return "[LNK] VS2002 (.NET) build 9466"
    elif idVersion == 0x004524FA:
        return "[RES] VS2002 (.NET) build 9466"
    elif idVersion == 0x003F24FA:
        return "[EXP] VS2002 (.NET) build 9466"
    elif idVersion == 0x001924FA:
        return "[IMP] VS2002 (.NET) build 9466"
    elif idVersion == 0x000A2636:
        return "[ C ] VS98 (6.0) SP6 build 8804"
    elif idVersion == 0x000B2636:
        return "[C++] VS98 (6.0) SP6 build 8804"
    elif idVersion == 0x00152306:
        return "[ C ] VC++ 6.0 SP5 build 8804"
    elif idVersion == 0x00162306:
        return "[C++] VC++ 6.0 SP5 build 8804"
    elif idVersion == 0x000420FF:
        return "[LNK] VC++ 6.0 SP5 imp/exp build 8447"
    elif idVersion == 0x000606C7:
        return "[RES] VS98 (6.0) SP6 cvtres build 1736"
    elif idVersion == 0x000A1FE8:
        return "[ C ] VS98 (6.0) build 8168"
    elif idVersion == 0x000B1FE8:
        return "[C++] VS98 (6.0) build 8168"
    elif idVersion == 0x000606B8:
        return "[RES] VS98 (6.0) cvtres build 1720"
    elif idVersion == 0x00041FE8:
        return "[LNK] VS98 (6.0) imp/exp build 8168"
    elif idVersion == 0x00060684:
        return "[RES] VS97 (5.0) SP3 cvtres 5.00.1668"
    elif idVersion == 0x00021C87:
        return "[IMP] VS97 (5.0) SP3 link 5.10.7303"
    else:
        id_ = idVersion >> 0x10
        version = idVersion & 0xFFFF
        s = "id: " + str(id_) + ", version: " + str(version)
        return s