default search action
Markus Völter
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c81]Markus Voelter:
Programming vs. That Thing Subject Matter Experts Do. ISoLA 2021: 414-425 - [p3]Markus Voelter, Sergej Koscejev, Marcel Riedel, Anna Deitsch, Andreas Hinkelmann:
A Domain-Specific Language for Payroll Calculations: An Experience Report from DATEV. Domain-Specific Languages in Practice 2021: 93-130 - [p2]Daniel Ratiu, Arne Nordmann, Peter Munk, Carmen Cârlan, Markus Voelter:
FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems. Domain-Specific Languages in Practice 2021: 131-164
2010 – 2019
- 2019
- [j18]Markus Voelter, Bernd Kolb, Tamás Szabó, Daniel Ratiu, Arie van Deursen:
Lessons learned from developing mbeddr: a case study in language engineering with MPS. Softw. Syst. Model. 18(1): 585-630 (2019) - [j17]Markus Voelter, Bernd Kolb, Klaus Birken, Federico Tomassetti, Patrick Alff, Laurent Wiart, Andreas Wortmann, Arne Nordmann:
Using language workbenches and domain-specific languages for safety-critical software development. Softw. Syst. Model. 18(4): 2507-2530 (2019) - [c80]Markus Voelter:
Using Language Workbenches and Domain-Specific Languages for Safety-critical Software Development. SE/SWM 2019: 143-144 - [c79]Markus Voelter, Klaus Birken, Sascha Lisson, Alexander Rimer:
Shadow models: incremental transformations for MPS. SLE 2019: 61-65 - [e5]Loli Burgueño, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jörg Kienzle, Markus Völter, Sébastien Gérard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, Gerti Kappel:
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019. IEEE 2019, ISBN 978-1-7281-5125-0 [contents] - 2018
- [j16]Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, Markus Voelter:
Incrementalizing lattice-based program analyses in Datalog. Proc. ACM Program. Lang. 2(OOPSLA): 139:1-139:29 (2018) - [j15]Daniel Ratiu, Markus Voelter, Domenik Pavletic:
Automated testing of DSL implementations - experiences from building mbeddr. Softw. Qual. J. 26(4): 1483-1518 (2018) - [c78]Markus Voelter:
The Design, Evolution, and Use of KernelF - An Extensible and Embeddable Functional Language. ICMT 2018: 3-55 - [c77]Markus Voelter:
Fusing Modeling and Programming into Language-Oriented Programming - Our Experiences with MPS. ISoLA (1) 2018: 309-339 - [c76]Thorsten Berger, Markus Voelter, Hans Peter Jensen, Taweesap Dangprasert, Janet Siegmund:
Efficiency of Projectional Editing. Software Engineering 2018: 153-154 - 2017
- [c75]Friedrich Steimann, Marcus Frenkel, Markus Voelter:
Robust projectional editing. SLE 2017: 79-90 - 2016
- [j14]Fabian Keller, Markus Voelter, André van Hoorn, Klaus Birken:
Leveraging Palladio for Performance Awareness in the IETS3 Integrated Specification Environment. Softwaretechnik-Trends 36(4) (2016) - [c74]Daniel Ratiu, Markus Voelter:
Automated testing of DSL implementations: experiences from building mbeddr. AST@ICSE 2016: 15-21 - [c73]Eldar Khalilov, Jordan A. Ross, Michal Antkiewicz, Markus Völter, Krzysztof Czarnecki:
Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners. ISoLA (2) 2016: 447-464 - [c72]Tamás Szabó, Sebastian Erdweg, Markus Voelter:
IncA: a DSL for the definition of incremental program analyses. ASE 2016: 320-331 - [c71]Tamás Szabó, Simon Alperovich, Markus Voelter, Sebastian Erdweg:
An extensible framework for variable-precision data-flow analyses in MPS. ASE 2016: 870-875 - [c70]Markus Voelter:
Lessons learned about language engineering from the development of mbeddr (keynote). ITSLE@SPLASH 2016: 1 - [c69]Thorsten Berger, Markus Völter, Hans Peter Jensen, Taweesap Dangprasert, Janet Siegmund:
Efficiency of projectional editing: a controlled experiment. SIGSOFT FSE 2016: 763-774 - [c68]Markus Voelter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger:
Efficient development of consistent projectional editors using grammar cells. SLE 2016: 28-40 - 2015
- [j13]Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning:
Evaluating and comparing language workbenches: Existing results and benchmarks for the future. Comput. Lang. Syst. Struct. 44: 24-47 (2015) - [j12]Markus Voelter, Jos Warmer, Bernd Kolb:
Projecting a Modular Future. IEEE Softw. 32(5): 46-52 (2015) - [c67]Domenik Pavletic, Markus Voelter, Syed Aoun Raza, Bernd Kolb, Timo Kehrer:
Extensible Debugger Framework for Extensible Languages. Ada-Europe 2015: 33-49 - [c66]Markus Voelter, Zaur Molotnikov, Bernd Kolb:
Towards improving software security using language engineering and mbeddr C. DSM@SPLASH 2015: 55-62 - [c65]Markus Voelter, Arie van Deursen, Bernd Kolb, Stephan Eberle:
Using C language extensions for developing embedded software: a case study. OOPSLA 2015: 655-674 - [e4]Richard F. Paige, Davide Di Ruscio, Markus Völter:
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, Pittsburgh, PA, USA, October 25-27, 2015. ACM 2015, ISBN 978-1-4503-3686-4 [contents] - 2014
- [c64]Barrett R. Bryant, Jean-Marc Jézéquel, Ralf Lämmel, Marjan Mernik, Martin Schindler, Friedrich Steimann, Juha-Pekka Tolvanen, Antonio Vallecillo, Markus Völter:
Globalized Domain Specific Language Engineering. Globalizing Domain-Specific Languages 2014: 43-69 - [c63]Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz:
mbeddr - Extensible Languages for Embedded Software Development. ETX 2014: 21-22 - [c62]Zaur Molotnikov, Markus Völter, Daniel Ratiu:
Automated domain-specific C verification with mbeddr. ASE 2014: 539-550 - [c61]Regina Hebig, Reda Bendraou, Markus Völter, Michel R. V. Chaudron:
Model-Driven Development Processes and Practices: Foundations and Research Perspectives. MD2P2@MoDELS 2014: 2-6 - [c60]Markus Voelter, Sascha Lisson:
Supporting Diverse Notations in MPS' Projectional Editor. GEMOC@MoDELS 2014: 7-16 - [c59]Erik Kamsties, Fabian Kneer, Markus Voelter, Burkhard Igel, Bernd Kolb:
Feedback-Aware Requirements Documents for Smart Devices. REFSQ 2014: 119-134 - [c58]Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz:
mbeddr: extensible languages for embedded software development. HILT 2014: 13-16 - [c57]Markus Völter, Janet Siegmund, Thorsten Berger, Bernd Kolb:
Towards User-Friendly Projectional Editors. SLE 2014: 41-61 - [e3]Regina Hebig, Reda Bendraou, Markus Völter, Michel R. V. Chaudron:
Proceedings of the 1st International Workshop on Model-Driven Development Processes and Practices co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 28, 2014. CEUR Workshop Proceedings 1249, CEUR-WS.org 2014 [contents] - 2013
- [b5]Markus Voelter, Sebastian Benz, Christian Dietrich, Birgit Engelmann, Mats Helander, Lennart C. L. Kats, Eelco Visser, Guido Wachsmuth:
DSL Engineering - Designing, Implementing and Using Domain-Specific Languages. dslbook.org 2013, ISBN 978-1-4812-1858-0, pp. 1-558 - [j11]Markus Voelter, Daniel Ratiu, Bernd Kolb, Bernhard Schätz:
mbeddr: instantiating a language workbench in the embedded software domain. Autom. Softw. Eng. 20(3): 339-390 (2013) - [j10]Domenik Pavletic, Syed Aoun Raza, Markus Voelter, Bernd Kolb, Timo Kehrer:
Extensible Debuggers for Extensible Languages. Softwaretechnik-Trends 33(2) (2013) - [c56]Federico Tomassetti, Antonio Vetrò, Marco Torchiano, Markus Voelter, Bernd Kolb:
A model-based approach to language integration. MiSE 2013: 76-81 - [c55]Markus Voelter, Federico Tomassetti:
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts. MBEES 2013: 44-49 - [c54]Markus Voelter:
Integrating Prose as First-Class Citizens with Models and Code. MPM@MoDELS 2013: 17-26 - [c53]Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter:
Research Questions for Validation and Verification in the Context of Model-Based Engineering. MoDeVVa@MoDELS 2013: 67-76 - [c52]Markus Voelter, Daniel Ratiu, Federico Tomassetti:
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts. ACES-MB@MoDELS 2013 - [c51]Daniel Ratiu, Markus Voelter, Bernd Kolb, Bernhard Schätz:
Using Language Engineering to Lift Languages and Analyses at the Domain Level. NASA Formal Methods 2013: 465-471 - [c50]Vaclav Pech, Alex Shatalin, Markus Voelter:
JetBrains MPS as a tool for extending Java. PPPJ 2013: 165-168 - [c49]Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning:
The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge. SLE 2013: 197-217 - 2012
- [c48]Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb:
Language engineering as an enabler for incrementally defined formal analyses. FormSERA@ICSE 2012: 9-15 - [c47]Markus Voelter, Vaclav Pech:
Language modularity with the MPS language workbench. ICSE 2012: 1449-1450 - [c46]Markus Voelter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb:
Towards an Extensible C for Embedded Programming. MBEES 2012: 107-112 - [c45]Markus Voelter, Daniel Ratiu, Bernhard Schätz, Bernd Kolb:
mbeddr: an extensible C-based programming language and IDE for embedded systems. SPLASH 2012: 121-140 - [c44]Lorenzo Bettini, Dietmar Stoll, Markus Völter, Serano Colameo:
Approaches and Tools for Implementing Type Systems in Xtext. SLE 2012: 392-412 - 2011
- [j9]Markus Völter:
From Programming to Modeling - and Back Again. IEEE Softw. 28(6): 20-25 (2011) - [c43]Markus Voelter:
Language and IDE Modularization and Composition with MPS. GTTSE 2011: 383-430 - [c42]Andreas Birk, Klaus Schmid, Markus Völter:
Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PIK 2011). Software Engineering 2011: 203 - [c41]Andreas Birk, Klaus Schmid, Markus Völter:
Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation - Workshop- Einleitung und Überblick. Software Engineering (Workshops) 2011: 235-239 - [c40]Markus Völter, Eelco Visser:
Product Line Engineering Using Domain-Specific Languages. SPLC 2011: 70-79 - [c39]Markus Völter:
DSLs for Product Lines: Approaches, Tools, Experiences. SPLC 2011: 353 - 2010
- [j8]Markus Völter:
Architecture as Language. IEEE Softw. 27(2): 56-64 (2010) - [c38]Markus Voelter:
Implementing feature variability for models and code with projectional language workbenches. FOSD 2010: 41-48 - [c37]Markus Voelter:
Embedded Software Development with Projectional Language Workbenches. MoDELS (2) 2010: 32-46 - [c36]Markus Voelter, Bernhard Merkle:
Domain specific: a binary decision? DSM@SPLASH 2010: 12:1-12:6 - [c35]Markus Völter, Eelco Visser:
Language extension and composition with language workbenches. SPLASH/OOPSLA Companion 2010: 301-304 - [c34]Andreas Birk, Klaus Schmid, Markus Völter:
Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PIK2010). Software Engineering 2010: 246 - [c33]Andreas Birk, Klaus Schmid, Markus Völter:
PIK2010 Workshop-Einleitung und Überblick. Software Engineering (Workshops) 2010: 323-328 - [c32]Markus Voelter:
Projectional Language Workbenches as a Foundation for Product Line Engineering. Software Engineering (Workshops) 2010: 353-360 - [e2]Goetz Botterweck, Iris Groher, Andreas Polzer, Christa Schwanninger, Steffen Thiel, Markus Voelter:
Proceedings of the 1st International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2009), collocated with the 13th International Software Product Line Conference (SPLC 2009), San Francisco, USA, August 24, 2009. CEUR Workshop Proceedings 557, CEUR-WS.org 2010 [contents]
2000 – 2009
- 2009
- [j7]Markus Völter:
MD* Best Practices. J. Object Technol. 8(6): 79-102 (2009) - [j6]Iris Groher, Markus Völter:
Aspect-Oriented Model-Driven Software Product Line Engineering. LNCS Trans. Aspect Oriented Softw. Dev. 6: 111-152 (2009) - [c31]Markus Voelter:
Variability Patterns. EuroPLoP 2009 - [c30]Andreas Graf, Markus Völter:
A textual domain specific language for AUTOSAR. MBEES 2009: 165-170 - [c29]Klaus Marquardt, Dietmar Schütz, Markus Völter:
Produkt-Variabilität im gesamten Lebenszyklus (PVLZ2009). Software Engineering (Workshops) 2009: 93-95 - [c28]Klaus Marquardt, Dietmar Schütz, Markus Völter:
Produkt-Variabilität im gesamten Lebenszyklus (PVLZ 2009). Software Engineering 2009: 203-204 - [c27]Goetz Botterweck, Iris Groher, Andreas Polzer, Christa Schwanninger, Steffen Thiel, Markus Völter:
1st International Workshop on Model-driven Approaches in Software Product Line Engineering: (MAPLE 2009). SPLC 2009: 297-298 - [c26]Markus Voelter:
Using domain specific languages for product line engineering. SPLC 2009: 329 - 2008
- [c25]Iris Groher, Christa Schwanninger, Markus Völter:
An integrated aspect-oriented model-driven software product line tool suite. ICSE Companion 2008: 939-940 - [c24]Iris Groher, Markus Völter:
Using Aspects to Model Product Line Variability. SPLC (2) 2008: 89-95 - [c23]Iris Groher, Markus Völter, Christa Schwanninger:
Integrating Models and Aspects into Product Line Engineering. SPLC 2008: 355 - [e1]Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter:
Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Lecture Notes in Computer Science 5301, Springer 2008, ISBN 978-3-540-87874-2 [contents] - 2007
- [j5]Michael Kircher, Markus Völter:
Guest Editors' Introduction: Software Patterns. IEEE Softw. 24(4): 28-30 (2007) - [c22]Iris Groher, Markus Voelter:
XWeave: models and aspects in concert. AOM@AOSD 2007: 35-40 - [c21]Andrew Jackson, Iris Groher, Christa Schwanninger, Markus Völter:
Models and Aspects - Handling Crosscutting Concerns in MDSD. ECOOP Workshops 2007: 65-74 - [c20]Markus Völter, Iris Groher:
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development. SPLC 2007: 233-242 - 2006
- [b4]Thomas Stahl, Markus Völter, Jorn Bettin, Arno Haase, Simon Helsen:
Model-driven software development - technology, engineering, management. Pitman 2006, ISBN 978-0-470-02570-3, pp. I-XVI, 1-428 - [c19]Iris Groher, Andrew Jackson, Christa Schwanninger, Markus Völter:
Models and Aspects - Handling Crosscutting Concerns in MDSD. ECOOP Workshops 2006: 21-25 - [c18]Markus Völter:
Software Architecture - A pattern language for building sustainable software architectures. EuroPLoP 2006: 31-66 - 2005
- [b3]Thomas Stahl, Markus Völter:
Modellgetriebene Softwareentwicklung - Techniken, Engineering, Management. dpunkt.verlag 2005, ISBN 978-3-89864-310-8, pp. I-XIV, 1-410 - [b2]Markus Völter, Michael Kircher, Uwe Zdun:
Remoting patterns - foundations of enterprise, internet and realtime distributed object middleware. Wiley series in software design patterns, Wiley 2005, ISBN 978-0-470-85662-8, pp. I-XXXIV, 1-389 - [j4]Markus Völter:
Modellgetriebene Softwareentwicklung. Datenbank-Spektrum 13: 41-44 (2005) - [c17]Markus Völter:
Models and Aspects. EuroPLoP 2005: 539-572 - [c16]Markus Völter:
Model-Driven Development of Component Infrastructures for Embedded Systems. MBEES 2005: 23-36 - [p1]Markus Voelter, Christian Salzmann, Michael Kircher:
Model Driven Software Development in the Context of Embedded Component Infrastructures. Component-Based Software Development for Embedded Systems 2005: 143-163 - 2004
- [j3]Uwe Zdun, Michael Kircher, Markus Völter:
Remoting Patterns. IEEE Internet Comput. 8(6): 60-68 (2004) - [j2]Uwe Zdun, Markus Völter, Michael Kircher:
Pattern-Based Design of an Asynchronous Invocation Framework for Web Services. Int. J. Web Serv. Res. 1(3): 42-62 (2004) - [c15]Thomas Cleenewerck, Krzysztof Czarnecki, Jörg Striegnitz, Markus Völter:
Evolution and Reuse of Language Specifications for DSLs (ERLS). ECOOP Workshops 2004: 187-201 - [c14]Markus Völter, Jorn Bettin:
Patterns for Model-Driven Software-Development. EuroPLoP 2004: 525-560 - [c13]Michael Kircher, Markus Völter:
Command Revisited. EuroPLoP 2004: 561-568 - [c12]Markus Völter, Klaus Jank, Christa Schwanninger, Michael Stal, Michael Kircher:
Broker Revisited. EuroPLoP 2004: 569-582 - [c11]Christian Salzmann, Martin Thiede, Markus Völter:
Model-based Middleware for Embedded Systems. GI Jahrestagung (2) 2004: 3-7 - 2003
- [j1]Markus Völter:
A Taxonomy of Components. J. Object Technol. 2(4): 119-125 (2003) - [c10]Markus Völter, Michael Kircher, Uwe Zdun, Michael Englbrecht:
Patterns for Asynchronous Invocations in Distributed Object Frameworks. EuroPLoP 2003: 269-284 - [c9]Markus Völter:
A Catalog of Patterns for Program Generation. EuroPLoP 2003: 285-320 - [c8]Uwe Zdun, Markus Völter:
Patterns for Component Composition and Adaptation. EuroPLoP 2003: 919-924 - [c7]Uwe Zdun, Markus Völter, Michael Kircher:
Design and Implementation of an Asynchronous Invocation Framework for Web Services. ICWS-Europe 2003: 64-78 - 2002
- [b1]Markus Voelter, Alexander Schmid, Eberhard Wolff:
Server Component Patterns - component infrastructures illustrated with EJB. Wiley series in software design patterns, Wiley 2002, ISBN 978-0-470-84319-2, pp. I-XXVI, 1-462 - [c6]Krzysztof Czarnecki, Kasper Østerbye, Markus Völter:
Generative Programming. ECOOP Workshops 2002: 15-29 - [c5]Markus Völter:
Hope, Belief and Wizardry - Three Different Perspectives on Project Management. EuroPLoP 2002: 443-462 - 2001
- [c4]Markus Völter:
Server-Side Components - A Pattern Language. EuroPLoP 2001: 87-112 - 2000
- [c3]Astrid Fricke, Markus Völter:
SEMINARS: A Pedagogical Pattern Language about teaching seminars effectively. EuroPLoP 2000: 87-128 - [c2]Markus Völter:
Metacommand. EuroPLoP 2000: 525-
1990 – 1999
- 1999
- [c1]Markus Voelter:
Pluggable Component: A Pattern for Interactive System Configuration. EuroPLoP 1999: 291-304
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint