Applied Filters
- Michel Reniers
- AuthorRemove filter
People
Colleagues
- Mohammad Reza Mousavi (22)
- Jan Friso Groote (11)
- Anna Ingólfsdóttir (5)
- Luca Aceto (5)
- Frank P M Stappers (4)
- Jacobus E Rooda (4)
- Sjouke Mauw (4)
- Twan Basten (4)
- Matteo Cimini (3)
- Ramon R H Schiffelers (3)
- Sven Weber (3)
- Andre G Engels (2)
- Henk Corporaal (2)
- Irek Ulidowski (2)
- Jeroen P M Voeten (2)
- Jos C M Baeten (2)
- Murdoch James Gabbay (2)
- S. Stuijk (2)
- Yaroslav S Usenko (2)
Publication
Journal/Magazine Names
- Electronic Notes in Theoretical Computer Science (ENTCS) (9)
- Science of Computer Programming (3)
- ACM Transactions on Embedded Computing Systems (2)
- Discrete Event Dynamic Systems (2)
- Fundamenta Informaticae (2)
- Information and Computation (2)
- ACM SIGBED Review (1)
- ACM Transactions on Computational Logic (1)
- Computer Networks: The International Journal of Computer and Telecommunications Networking (1)
- Formal Methods in System Design (1)
- Information Processing Letters (1)
- Theoretical Computer Science (1)
Proceedings/Book Names
- CONCUR '08: Proceedings of the 19th international conference on Concurrency Theory (1)
- CONCUR 2005 - Concurrency Theory (1)
- DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling (1)
- FMCO'09: Proceedings of the 8th international conference on Formal methods for components and objects (1)
- FMICS'11: Proceedings of the 16th international conference on Formal methods for industrial critical systems (1)
- FORTE '07: Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems (1)
- FSEN'07: Proceedings of the 2007 international conference on Fundamentals of software engineering (1)
- FSTTCS'06: Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science (1)
- HLDVT '02: Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop (1)
- HSCC '08: Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control (1)
- ICALP'05: Proceedings of the 32nd international conference on Automata, Languages and Programming (1)
- IPDPS'06: Proceedings of the 20th international conference on Parallel and distributed processing (1)
- ITSLE 2016: Proceedings of the 1st Industry Track on Software Language Engineering (1)
- LATA'11: Proceedings of the 5th international conference on Language and automata theory and applications (1)
- LICS '04: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (1)
- SOFSEM '10: Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science (1)
- SOFSEM'11: Proceedings of the 37th international conference on Current trends in theory and practice of computer science (1)
- TIME '05: Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (1)
- WESE'15: Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education (1)
- WSC '03: Proceedings of the 35th conference on Winter simulation: driving innovation (1)
Publisher
- Springer-Verlag (17)
- Elsevier Science Publishers B. V. (9)
- IEEE Computer Society (8)
- Association for Computing Machinery (7)
- Elsevier North-Holland, Inc. (5)
- Kluwer Academic Publishers (3)
- Academic Press, Inc. (2)
- IOS Press (2)
- Chapman & Hall, Ltd. (1)
- CWI (Centre for Mathematics and Computer Science) (1)
- Elsevier Science Publishers Ltd. (1)
- MIT Press (1)
- Winter Simulation Conference (1)
Publication Date
Export Citations
Publications
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-article
Reducing the computational effort of symbolic supervisor synthesis
- Sander Thuijsman
https://ror.org/02c2kyt77Eindhoven University of Technology, Eindhoven, Netherlands
, - Dennis Hendriks
TNO-ESI, Eindhoven, Netherlands
Radboud University, Nijmegen, Netherlands
, - Michel Reniers
https://ror.org/02c2kyt77Eindhoven University of Technology, Eindhoven, Netherlands
Discrete Event Dynamic Systems, Volume 34, Issue 4•Dec 2024, pp 689-732 • https://doi.org/10.1007/s10626-024-00403-4AbstractSupervisor synthesis is a means to algorithmically derive a supervisory controller from a discrete-event model of a system and a requirements specification. For large systems, synthesis suffers from state space explosion. To mitigate this, ...
- 0Citation
MetricsTotal Citations0
- Sander Thuijsman
- research-articleOpen AccessPublished By ACMPublished By ACM
Supervisory Control for Dynamic Feature Configuration in Product Lines
- Sander Thuijsman
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Michel Reniers
Eindhoven University of Technology, Eindhoven, The Netherlands
ACM Transactions on Embedded Computing Systems, Volume 23, Issue 5•September 2024, Article No.: 71, pp 1-25 • https://doi.org/10.1145/3579644In this paper a framework for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is described by a feature model. Behavior of system components is achieved using (...
- 3Citation
- 483
- Downloads
MetricsTotal Citations3Total Downloads483Last 12 Months357Last 6 weeks55
- Sander Thuijsman
- research-articlePublished By ACMPublished By ACM
Integration of modeling and verification for system model based on KARMA language
- Jie Ding
Beijing Institute of Technology, China
, - Michel Reniers
Eindhoven University of Technology, Netherlands
, - Jinzhi Lu
EPFL, Switzerland
, - Guoxin Wang
Beijing Institute of Technology, China
, - Lei Feng
KTH, Sweden
, - Dimitris Kiritsis
EPFL, Switzerland
DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling•October 2021, pp 41-50• https://doi.org/10.1145/3486603.3486775Model-based systems engineering (MBSE) enables to verify the system performance using system behavior models, which can identify design faults that do not meet the stakeholders’ requirements as early as possible, thus reducing the R&D cost and error ...
- 7Citation
- 317
- Downloads
MetricsTotal Citations7Total Downloads317Last 12 Months36Last 6 weeks4- 1
Supplementary Materialsplashws21dsmmain-p3-p-video.mp4
- Jie Ding
- article
Maximally permissive controlled system synthesis for non-determinism and modal logic
- A. C. Van Hulst
Eindhoven University of Technology, Eindhoven, Netherlands
, - M. A. Reniers
Eindhoven University of Technology, Eindhoven, Netherlands
, - W. J. Fokkink
VU University Amsterdam, Amsterdam, Netherlands
Discrete Event Dynamic Systems, Volume 27, Issue 1•March 2017, pp 109-142 • https://doi.org/10.1007/s10626-016-0231-8We propose a new technique for controlled system synthesis on non-deterministic automata for requirements in modal logic. Synthesis, as defined in this paper, restricts a behavioral specification of the uncontrolled system such that it satisfies a given ...
- 6Citation
MetricsTotal Citations6
- A. C. Van Hulst
- research-articlePublished By ACMPublished By ACM
xCPS: a tool to explore cyber physical systems
- Shreya Adyanthaya
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Hadi Alizadeh Ara
Eindhoven University of Technology, Eindhoven, The Netherlands
, - João Bastos
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Amir Behrouzian
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Róbinson Medina Sánchez
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Joost van Pinxten
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Bram van der Sanden
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Umar Waqas
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Twan Basten
Eindhoven University of Technology, Eindhoven, The Netherlands and TNO ESI, Eindhoven, The Netherlands
, - Henk Corporaal
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Raymond Frijns
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Marc Geilen
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Dip Goswami
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Martijn Hendriks
TNO ESI, Eindhoven, The Netherlands
, - Sander Stuijk
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Michel Reniers
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Jeroen Voeten
Eindhoven University of Technology, Eindhoven, The Netherlands and TNO ESI, Eindhoven, The Netherlands
ACM SIGBED Review, Volume 14, Issue 1•October 2016, pp 81-95 • https://doi.org/10.1145/3036686.3036696Cyber-Physical Systems (CPS) play an important role in the modern high-tech industry. Designing such systems is an especially challenging task due to the multi-disciplinary nature of these systems, and the range of abstraction levels involved. To ...
- 14Citation
- 165
- Downloads
MetricsTotal Citations14Total Downloads165Last 12 Months18Last 6 weeks2
- Shreya Adyanthaya
- research-articlePublished By ACMPublished By ACM
Integrated simulation of CIF3 and simulink models
- Abhishek Sharma
Eindhoven University of Technology, Netherlands / NXP, Netherlands
, - Michel Reniers
Eindhoven University of Technology, Netherlands
ITSLE 2016: Proceedings of the 1st Industry Track on Software Language Engineering•October 2016, pp 33-37• https://doi.org/10.1145/2998407.2998410A model of a system (plant) is required to address aspects from different domains, e.g., supervisory control, communication, each of which need to be formulated using appropriate modeling tools. Modeling all these aspects using a single tool is a ...
- 1Citation
- 82
- Downloads
MetricsTotal Citations1Total Downloads82Last 12 Months6Last 6 weeks1
- Abhishek Sharma
- Article
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems
- Arend Aerts
Control Systems Technology Group, Eindhoven University of Technology, Eindhoven, The Netherlands
, - Mohammad Reza Mousavi
Center for Research on Embedded Systems, Halmstad University, Halmstad, Sweden
, - Michel Reniers
Control Systems Technology Group, Eindhoven University of Technology, Eindhoven, The Netherlands
Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing - ICTAC 2015 - Volume 9399•October 2015, pp 563-572• https://doi.org/10.1007/978-3-319-25150-9_32We report on a tool prototype for model-based testing of cyber-physical systems. Our starting point is a hybrid-system model specified in a domain-specific language called Acumen. Our prototype tool is implemented in Matlab and covers three stages of ...
- 1Citation
MetricsTotal Citations1
- Arend Aerts
- research-articlePublished By ACMPublished By ACM
xCPS: A tool to eXplore Cyber Physical Systems
- Shreya Adyanthaya
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Hadi Alizadeh Ara
Eindhoven University of Technology, Eindhoven, The Netherlands
, - João Bastos
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Amir Behrouzian
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Róbinson Medina Sánchez
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Joost van Pinxten
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Bram van der Sanden
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Umar Waqas
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Twan Basten
Eindhoven University of Technology, Eindhoven, The Netherlands and TNO ESI, Eindhoven, The Netherlands
, - Henk Corporaal
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Raymond Frijns
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Marc Geilen
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Dip Goswami
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Sander Stuijk
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Michel Reniers
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Jeroen Voeten
Eindhoven University of Technology, Eindhoven, The Netherlands and TNO ESI, Eindhoven, The Netherlands
WESE'15: Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education•October 2015, Article No.: 3, pp 1-8• https://doi.org/10.1145/2832920.2832923Cyber-Physical Systems (CPS) play an important role in the modern high-tech industry. Designing such systems is a challenging task due to the multi-disciplinary nature of these systems, and the range of abstraction levels involved. To facilitate hands-...
- 5Citation
- 129
- Downloads
MetricsTotal Citations5Total Downloads129Last 12 Months1
- Shreya Adyanthaya
- research-articlePublished By ACMPublished By ACM
Maximal Synthesis for Hennessy-Milner Logic
- A. C. Van Hulst
Eindhoven University of Technology, The Netherlands
, - M. A. Reniers
Eindhoven University of Technology, The Netherlands
, - W. J. Fokkink
VU University Amsterdam, Amsterdam, The Netherlands
ACM Transactions on Embedded Computing Systems, Volume 14, Issue 1•January 2015, Article No.: 10, pp 1-21 • https://doi.org/10.1145/2680540This article concerns the maximal synthesis for Hennessy-Milner Logic on Kripke structures with labeled transitions. We formally define, and prove the validity of, a theoretical framework that modifies a Kripke model to the least possible extent in ...
- 4Citation
- 126
- Downloads
MetricsTotal Citations4Total Downloads126Last 12 Months6Last 6 weeks1
- A. C. Van Hulst
- tutorial
Supervisor Synthesis in Model-Based Automotive Systems Engineering
- Joanna M. van de Mortel-Fronczak
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Martin H. R. van der Heijden
DAF Trucks, Eindhoven, The Netherlands
, - Rudolf G. M. Huisman
DAF Trucks, Eindhoven, The Netherlands
, - Michel A. Reniers
Eindhoven University of Technology, Eindhoven, The Netherlands
ICCPS '14: ICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014)•April 2014, pp 187-198• https://doi.org/10.1109/ICCPS.2014.6843722It is recognized by various engineering disciplines that models support and speed up the development of systems consisting of numerous closely related computational and physical elements, since they enable extensive and early functional and performance ...
- 1Citation
- 57
- Downloads
MetricsTotal Citations1Total Downloads57
- Joanna M. van de Mortel-Fronczak
- Article
Dogfooding the Formal Semantics of mCRL2
SEW '12: Proceedings of the 2012 35th Annual IEEE Software Engineering Workshop•October 2012, pp 90-99• https://doi.org/10.1109/SEW.2012.16The mCRL2 language is a formal specification language that is used to specify, model, analyze and verify behavioral properties for distributed systems and protocols. The semantics of the mCRL2 language is defined formally using Structural Operational ...
- 1Citation
MetricsTotal Citations1
- article
Nominal SOS
- Matteo Cimini
Department of Computer Science, Reykjavík University, Reykjavík, Icelan
, - Mohamamdreza Mousavi
Department of Computer Science, TU/e, Eindhoven, The Netherlands
, - Michel A. Reniers
Department of Mechanical Engineering, TU/e, Eindhoven, The Netherlands
, - Murdoch J. Gabbay
Computer Science Department, Heriot-Watt University, Edinburgh, United Kingdom
Electronic Notes in Theoretical Computer Science (ENTCS), Volume 286•September, 2012, pp 103-116 • https://doi.org/10.1016/j.entcs.2012.08.008Plotkin@?s style of Structural Operational Semantics (SOS) has become a de facto standard in giving operational semantics to formalisms and process calculi. In many such formalisms and calculi, the concepts of names, variables and binders are essential ...
- 2Citation
MetricsTotal Citations2
- Matteo Cimini
- article
Rule formats for determinism and idempotence
- Luca Aceto
ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS-101 Reykjavik, Iceland
, - Arnar Birgisson
Department of Computer Science and Engineering, Chalmers University of Technology, Sweden
, - Anna Ingolfsdottir
ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS-101 Reykjavik, Iceland
, - MohammadReza Mousavi
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
, - Michel A. Reniers
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
Science of Computer Programming, Volume 77, Issue 7-8•July, 2012, pp 889-907 • https://doi.org/10.1016/j.scico.2010.04.002Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two ...
- 2Citation
MetricsTotal Citations2
- Luca Aceto
- research-articlePublished By ACMPublished By ACM
Structural Analysis of Boolean Equation Systems
- Jeroen J. A. Keiren
Eindhoven University of Technology
, - Michel A. Reniers
Eindhoven University of Technology
, - Tim A. C. Willemse
Eindhoven University of Technology
ACM Transactions on Computational Logic, Volume 13, Issue 1•January 2012, Article No.: 8, pp 1-35 • https://doi.org/10.1145/2071368.2071376We analyze the problem of solving Boolean equation systems through the use of structure graphs. The latter are obtained through an elegant set of Plotkin-style deduction rules. Our main contribution is that we show that equation systems with bisimilar ...
- 1Citation
- 179
- Downloads
MetricsTotal Citations1Total Downloads179Last 12 Months9Last 6 weeks1
- Jeroen J. A. Keiren
- Article
Transforming SOS specifications to linear processes
- Frank P. M. Stappers
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
, - Michel A. Reniers
Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands
, - Sven Weber
Department for Architecture and Platform, ASML, Veldhoven, The Netherlands
FMICS'11: Proceedings of the 16th international conference on Formal methods for industrial critical systems•August 2011, pp 196-211This paper describes an approach to transform Structural Operational Semantics, given as a set of deduction rules, to a Linear Process Specification. The transformation is provided for deduction rules in De Simone format, including predicates. The ...
- 2Citation
MetricsTotal Citations2
- Frank P. M. Stappers
- Article
Formalizing a domain specific language using SOS: an industrial case study
- Frank P. M. Stappers
Dept. of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
, - Sven Weber
Dept. for Architecture and Platform, ASML, Veldhoven, The Netherlands
, - Michel A. Reniers
Dept. of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands
, - Suzana Andova
Dept. of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
, - Istvan Nagy
Dept. of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands,Dept. for Architecture and Platform, ASML, Veldhoven, The Netherlands
SLE'11: Proceedings of the 4th international conference on Software Language Engineering•July 2011, pp 223-242• https://doi.org/10.1007/978-3-642-28830-2_13This paper describes the process of formalizing an existing, industrial domain specific language (DSL) that is based on the task-resource paradigm. Initially, the semantics of this DSL is defined informally and implicitly through an interpreter. The ...
- 4Citation
MetricsTotal Citations4
- Frank P. M. Stappers
- Article
Rule formats for distributivity
- Luca Aceto
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
, - Matteo Cimini
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
, - Anna Ingolfsdottir
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
, - Mohammad Reza Mousavi
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
, - Michel A. Reniers
Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands
LATA'11: Proceedings of the 5th international conference on Language and automata theory and applications•May 2011, pp 80-91This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be ...
- 0Citation
MetricsTotal Citations0
- Luca Aceto
- Article
Folk theorems on the correspondence between state-based and event-based systems
- Michel A. Reniers
Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands
, - Tim A. C. Willemse
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
SOFSEM'11: Proceedings of the 37th international conference on Current trends in theory and practice of computer science•January 2011, pp 494-505Kripke Structures and Labelled Transition Systems are the two most prominent semantic models used in concurrency theory. Both models are commonly believed to be equi-expressive. One can find many ad-hoc embeddings of one of these models into the other. ...
- 1Citation
MetricsTotal Citations1
- Michel A. Reniers
- article
On Rule Formats for Zero and Unit Elements
- Luca Aceto
ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland
, - Matteo Cimini
ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland
, - Anna Ingolfsdottir
ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland
, - Mohammad Reza Mousavi
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
, - Michel A. Reniers
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
Electronic Notes in Theoretical Computer Science (ENTCS), Volume 265•September, 2010, pp 145-160 • https://doi.org/10.1016/j.entcs.2010.08.009This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for ...
- 1Citation
MetricsTotal Citations1
- Luca Aceto
- Article
A Rule Format for Unit Elements
- Luca Aceto
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland IS-103
, - Anna Ingolfsdottir
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland IS-103
, - Mohammadreza Mousavi
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands NL-5600
, - Michel A. Reniers
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands NL-5600
SOFSEM '10: Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science•December 2009, pp 141-152• https://doi.org/10.1007/978-3-642-11266-9_12This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of ...
- 1Citation
MetricsTotal Citations1
- Luca Aceto
Author Profile Pages
- Description: The Author Profile Page initially collects all the professional information known about authors from the publications record as known by the ACM bibliographic database, the Guide. Coverage of ACM publications is comprehensive from the 1950's. Coverage of other publishers generally starts in the mid 1980's. The Author Profile Page supplies a quick snapshot of an author's contribution to the field and some rudimentary measures of influence upon it. Over time, the contents of the Author Profile page may expand at the direction of the community.
Please see the following 2007 Turing Award winners' profiles as examples: - History: Disambiguation of author names is of course required for precise identification of all the works, and only those works, by a unique individual. Of equal importance to ACM, author name normalization is also one critical prerequisite to building accurate citation and download statistics. For the past several years, ACM has worked to normalize author names, expand reference capture, and gather detailed usage statistics, all intended to provide the community with a robust set of publication metrics. The Author Profile Pages reveal the first result of these efforts.
- Normalization: ACM uses normalization algorithms to weigh several types of evidence for merging and splitting names.
These include:- co-authors: if we have two names and cannot disambiguate them based on name alone, then we see if they have a co-author in common. If so, this weighs towards the two names being the same person.
- affiliations: names in common with same affiliation weighs toward the two names being the same person.
- publication title: names in common whose works are published in same journal weighs toward the two names being the same person.
- keywords: names in common whose works address the same subject matter as determined from title and keywords, weigh toward being the same person.
The more conservative the merging algorithms, the more bits of evidence are required before a merge is made, resulting in greater precision but lower recall of works for a given Author Profile. Many bibliographic records have only author initials. Many names lack affiliations. With very common family names, typical in Asia, more liberal algorithms result in mistaken merges.
Automatic normalization of author names is not exact. Hence it is clear that manual intervention based on human knowledge is required to perfect algorithmic results. ACM is meeting this challenge, continuing to work to improve the automated merges by tweaking the weighting of the evidence in light of experience.
- Bibliometrics: In 1926, Alfred Lotka formulated his power law (known as Lotka's Law) describing the frequency of publication by authors in a given field. According to this bibliometric law of scientific productivity, only a very small percentage (~6%) of authors in a field will produce more than 10 articles while the majority (perhaps 60%) will have but a single article published. With ACM's first cut at author name normalization in place, the distribution of our authors with 1, 2, 3..n publications does not match Lotka's Law precisely, but neither is the distribution curve far off. For a definition of ACM's first set of publication statistics, see Bibliometrics
- Future Direction:
The initial release of the Author Edit Screen is open to anyone in the community with an ACM account, but it is limited to personal information. An author's photograph, a Home Page URL, and an email may be added, deleted or edited. Changes are reviewed before they are made available on the live site.
ACM will expand this edit facility to accommodate more types of data and facilitate ease of community participation with appropriate safeguards. In particular, authors or members of the community will be able to indicate works in their profile that do not belong there and merge others that do belong but are currently missing.
A direct search interface for Author Profiles will be built.
An institutional view of works emerging from their faculty and researchers will be provided along with a relevant set of metrics.
It is possible, too, that the Author Profile page may evolve to allow interested authors to upload unpublished professional materials to an area available for search and free educational use, but distinct from the ACM Digital Library proper. It is hard to predict what shape such an area for user-generated content may take, but it carries interesting potential for input from the community.
Bibliometrics
The ACM DL is a comprehensive repository of publications from the entire field of computing.
It is ACM's intention to make the derivation of any publication statistics it generates clear to the user.
- Average citations per article = The total Citation Count divided by the total Publication Count.
- Citation Count = cumulative total number of times all authored works by this author were cited by other works within ACM's bibliographic database. Almost all reference lists in articles published by ACM have been captured. References lists from other publishers are less well-represented in the database. Unresolved references are not included in the Citation Count. The Citation Count is citations TO any type of work, but the references counted are only FROM journal and proceedings articles. Reference lists from books, dissertations, and technical reports have not generally been captured in the database. (Citation Counts for individual works are displayed with the individual record listed on the Author Page.)
- Publication Count = all works of any genre within the universe of ACM's bibliographic database of computing literature of which this person was an author. Works where the person has role as editor, advisor, chair, etc. are listed on the page but are not part of the Publication Count.
- Publication Years = the span from the earliest year of publication on a work by this author to the most recent year of publication of a work by this author captured within the ACM bibliographic database of computing literature (The ACM Guide to Computing Literature, also known as "the Guide".
- Available for download = the total number of works by this author whose full texts may be downloaded from an ACM full-text article server. Downloads from external full-text sources linked to from within the ACM bibliographic space are not counted as 'available for download'.
- Average downloads per article = The total number of cumulative downloads divided by the number of articles (including multimedia objects) available for download from ACM's servers.
- Downloads (cumulative) = The cumulative number of times all works by this author have been downloaded from an ACM full-text article server since the downloads were first counted in May 2003. The counts displayed are updated monthly and are therefore 0-31 days behind the current date. Robotic activity is scrubbed from the download statistics.
- Downloads (12 months) = The cumulative number of times all works by this author have been downloaded from an ACM full-text article server over the last 12-month period for which statistics are available. The counts displayed are usually 1-2 weeks behind the current date. (12-month download counts for individual works are displayed with the individual record.)
- Downloads (6 weeks) = The cumulative number of times all works by this author have been downloaded from an ACM full-text article server over the last 6-week period for which statistics are available. The counts displayed are usually 1-2 weeks behind the current date. (6-week download counts for individual works are displayed with the individual record.)
ACM Author-Izer Service
Summary Description
ACM Author-Izer is a unique service that enables ACM authors to generate and post links on both their homepage and institutional repository for visitors to download the definitive version of their articles from the ACM Digital Library at no charge.
Downloads from these sites are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking to definitive version of ACM articles should reduce user confusion over article versioning.
ACM Author-Izer also extends ACM’s reputation as an innovative “Green Path” publisher, making ACM one of the first publishers of scholarly works to offer this model to its authors.
To access ACM Author-Izer, authors need to establish a free ACM web account. Should authors change institutions or sites, they can utilize the new ACM service to disable old links and re-authorize new links for free downloads from a different site.
How ACM Author-Izer Works
Authors may post ACM Author-Izer links in their own bibliographies maintained on their website and their own institution’s repository. The links take visitors to your page directly to the definitive version of individual articles inside the ACM Digital Library to download these articles for free.
The Service can be applied to all the articles you have ever published with ACM.
Depending on your previous activities within the ACM DL, you may need to take up to three steps to use ACM Author-Izer.
For authors who do not have a free ACM Web Account:
- Go to the ACM DL http://dl.acm.org/ and click SIGN UP. Once your account is established, proceed to next step.
For authors who have an ACM web account, but have not edited their ACM Author Profile page:
- Sign in to your ACM web account and go to your Author Profile page. Click "Add personal information" and add photograph, homepage address, etc. Click ADD AUTHOR INFORMATION to submit change. Once you receive email notification that your changes were accepted, you may utilize ACM Author-izer.
For authors who have an account and have already edited their Profile Page:
- Sign in to your ACM web account, go to your Author Profile page in the Digital Library, look for the ACM Author-izer link below each ACM published article, and begin the authorization process. If you have published many ACM articles, you may find a batch Authorization process useful. It is labeled: "Export as: ACM Author-Izer Service"
ACM Author-Izer also provides code snippets for authors to display download and citation statistics for each “authorized” article on their personal pages. Downloads from these pages are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking to the definitive version of ACM articles should reduce user confusion over article versioning.
Note: You still retain the right to post your author-prepared preprint versions on your home pages and in your institutional repositories with DOI pointers to the definitive version permanently maintained in the ACM Digital Library. But any download of your preprint versions will not be counted in ACM usage statistics. If you use these AUTHOR-IZER links instead, usage by visitors to your page will be recorded in the ACM Digital Library and displayed on your page.
FAQ
- Q. What is ACM Author-Izer?
A. ACM Author-Izer is a unique, link-based, self-archiving service that enables ACM authors to generate and post links on either their home page or institutional repository for visitors to download the definitive version of their articles for free.
- Q. What articles are eligible for ACM Author-Izer?
- A. ACM Author-Izer can be applied to all the articles authors have ever published with ACM. It is also available to authors who will have articles published in ACM publications in the future.
- Q. Are there any restrictions on authors to use this service?
- A. No. An author does not need to subscribe to the ACM Digital Library nor even be a member of ACM.
- Q. What are the requirements to use this service?
- A. To access ACM Author-Izer, authors need to have a free ACM web account, must have an ACM Author Profile page in the Digital Library, and must take ownership of their Author Profile page.
- Q. What is an ACM Author Profile Page?
- A. The Author Profile Page initially collects all the professional information known about authors from the publications record as known by the ACM Digital Library. The Author Profile Page supplies a quick snapshot of an author's contribution to the field and some rudimentary measures of influence upon it. Over time, the contents of the Author Profile page may expand at the direction of the community. Please visit the ACM Author Profile documentation page for more background information on these pages.
- Q. How do I find my Author Profile page and take ownership?
- A. You will need to take the following steps:
- Create a free ACM Web Account
- Sign-In to the ACM Digital Library
- Find your Author Profile Page by searching the ACM Digital Library for your name
- Find the result you authored (where your author name is a clickable link)
- Click on your name to go to the Author Profile Page
- Click the "Add Personal Information" link on the Author Profile Page
- Wait for ACM review and approval; generally less than 24 hours
- Q. Why does my photo not appear?
- A. Make sure that the image you submit is in .jpg or .gif format and that the file name does not contain special characters
- Q. What if I cannot find the Add Personal Information function on my author page?
- A. The ACM account linked to your profile page is different than the one you are logged into. Please logout and login to the account associated with your Author Profile Page.
- Q. What happens if an author changes the location of his bibliography or moves to a new institution?
- A. Should authors change institutions or sites, they can utilize ACM Author-Izer to disable old links and re-authorize new links for free downloads from a new location.
- Q. What happens if an author provides a URL that redirects to the author’s personal bibliography page?
- A. The service will not provide a free download from the ACM Digital Library. Instead the person who uses that link will simply go to the Citation Page for that article in the ACM Digital Library where the article may be accessed under the usual subscription rules.
However, if the author provides the target page URL, any link that redirects to that target page will enable a free download from the Service.
- Q. What happens if the author’s bibliography lives on a page with several aliases?
- A. Only one alias will work, whichever one is registered as the page containing the author’s bibliography. ACM has no technical solution to this problem at this time.
- Q. Why should authors use ACM Author-Izer?
- A. ACM Author-Izer lets visitors to authors’ personal home pages download articles for no charge from the ACM Digital Library. It allows authors to dynamically display real-time download and citation statistics for each “authorized” article on their personal site.
- Q. Does ACM Author-Izer provide benefits for authors?
- A. Downloads of definitive articles via Author-Izer links on the authors’ personal web page are captured in official ACM statistics to more accurately reflect usage and impact measurements.
Authors who do not use ACM Author-Izer links will not have downloads from their local, personal bibliographies counted. They do, however, retain the existing right to post author-prepared preprint versions on their home pages or institutional repositories with DOI pointers to the definitive version permanently maintained in the ACM Digital Library.
- Q. How does ACM Author-Izer benefit the computing community?
- A. ACM Author-Izer expands the visibility and dissemination of the definitive version of ACM articles. It is based on ACM’s strong belief that the computing community should have the widest possible access to the definitive versions of scholarly literature. By linking authors’ personal bibliography with the ACM Digital Library, user confusion over article versioning should be reduced over time.
In making ACM Author-Izer a free service to both authors and visitors to their websites, ACM is emphasizing its continuing commitment to the interests of its authors and to the computing community in ways that are consistent with its existing subscription-based access model.
- Q. Why can’t I find my most recent publication in my ACM Author Profile Page?
- A. There is a time delay between publication and the process which associates that publication with an Author Profile Page. Right now, that process usually takes 4-8 weeks.
- Q. How does ACM Author-Izer expand ACM’s “Green Path” Access Policies?
- A. ACM Author-Izer extends the rights and permissions that authors retain even after copyright transfer to ACM, which has been among the “greenest” publishers. ACM enables its author community to retain a wide range of rights related to copyright and reuse of materials. They include:
- Posting rights that ensure free access to their work outside the ACM Digital Library and print publications
- Rights to reuse any portion of their work in new works that they may create
- Copyright to artistic images in ACM’s graphics-oriented publications that authors may want to exploit in commercial contexts
- All patent rights, which remain with the original owner