Anne Elisabeth Haxthausen
Applied Filters
- Anne Elisabeth Haxthausen
- AuthorRemove filter
People
Colleagues
- Jan Peleska (8)
- Alessandro Fantechi (6)
- Andreas A Kjær (2)
- Bernd Krieg-Brückner (2)
- Chris N George (2)
- Gloria Gori (2)
- Jim C P Woodcock (2)
- Ralf Pinger (2)
- Signe Geisler (2)
- Stefania Gnesi (2)
- Thierry Lecomte (2)
- Till Mossakowski (2)
- Bas Luttik (1)
- Dines Bjørner (1)
- Friederike Nickl (1)
- Hüsnü Yenigün (1)
- Jaco van de Pol (1)
- Maura Cerioli (1)
- Peter Voigt Knudsen (1)
Roles
Publication
Proceedings/Book Names
- Leveraging Applications of Formal Methods, Verification and Validation. Practice (3)
- Leveraging Applications of Formal Methods, Verification and Validation: Applications (3)
- AMAST '95: Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology (1)
- AMAST '96: Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (1)
- AMAST '97: Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology (1)
- FM'11: Proceedings of the 17th international conference on Formal methods (1)
- FOCS'10: Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems (1)
- Formal methods and hybrid real-time systems (1)
- From Software Engineering to Formal Methods and Tools, and Back (1)
- FTSCS 2023: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (1)
- ISoLA'12: Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II (1)
- Monterey'08: Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development (1)
- Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead (1)
- Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (1)
- Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (1)
- Revised Selected Papers of the SEFM 2013 Collocated Workshops on Software Engineering and Formal Methods - Volume 8368 (1)
- SAFECOMP '09: Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security (1)
- Theoretical Aspects of Computing - ICTAC 2008 (1)
- WADT '99: Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques (1)
- Workshop on Categorial Methods in Computer Science: With Aspects from Topology (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-articlePublished By ACMPublished By ACM
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
- Mario Gleirscher
University of Bremen, Bremen, Germany
, - Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
, - Jan Peleska
University of Bremen, Bremen, Germany
FTSCS 2023: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems•October 2023, pp 26-36• https://doi.org/10.1145/3623503.3623533We propose a quantitative risk assessment approach for the design of an obstacle detection function for low-speed freight trains with grade of automation 4. In this five-step approach, starting with single detection channels and ending with a three-...
- 0Citation
- 85
- Downloads
MetricsTotal Citations0Total Downloads85Last 12 Months60Last 6 weeks8
- Mario Gleirscher
- Article
Automated Compositional Verification of Interlocking Systems
- Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Lyngby, Denmark
, - Alessandro Fantechi
University of Florence, Firenze, Italy
, - Gloria Gori
University of Florence, Firenze, Italy
, - Óli Kárason Mikkelsen
DTU Compute, Technical University of Denmark, Lyngby, Denmark
, - Sofie-Amalie Petersen
DTU Compute, Technical University of Denmark, Lyngby, Denmark
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification•October 2023, pp 146-164• https://doi.org/10.1007/978-3-031-43366-5_9AbstractModel checking techniques have often been applied to the verification of railway interlocking systems. However, these techniques may fail to scale to interlockings controlling large railway networks, composed by hundreds of controlled entities, ...
- 2Citation
MetricsTotal Citations2
- Anne E. Haxthausen
- introductionOpen AccessPublished By ACMPublished By ACM
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems
- Simon Collart-Dutilleul
Université Gustave Eiffel, France
, - Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Lyngby, Denmark
, - Thierry Lecomte
CLEARSY, Aix-en-Provence, France
, - Jim Woodcock
University of York, York, United Kingdom
Formal Aspects of Computing, Volume 35, Issue 1•March 2023, Article No.: 1, pp 1-2 • https://doi.org/10.1145/3578524- 0Citation
- 441
- Downloads
MetricsTotal Citations0Total Downloads441Last 12 Months234Last 6 weeks39
- Simon Collart-Dutilleul
- research-articleOpen AccessPublished By ACMPublished By ACM
Compositional Verification of Railway Interlocking Systems
- Anne Elisabeth Haxthausen
DTU Compute, Technical University of Denmark, Lyngby, Denmark
, - Alessandro Fantechi
DINFO, University of Florence, Firenze, Italy
Formal Aspects of Computing, Volume 35, Issue 1•March 2023, Article No.: 4, pp 1-46 • https://doi.org/10.1145/3549736Model checking techniques have often been applied to the verification of railway interlocking systems, responsible for guiding trains safely through a given railway network. However, these techniques fail to scale to the interlocking systems controlling ...
- 2Citation
- 1,231
- Downloads
MetricsTotal Citations2Total Downloads1,231Last 12 Months626Last 6 weeks92
- Anne Elisabeth Haxthausen
- ArticleOpen Access
Standardisation Considerations for Autonomous Train Control
- Jan Peleska
Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany
, - Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
, - Thierry Lecomte
CLEARSY, Aix en Provence, France
Leveraging Applications of Formal Methods, Verification and Validation. Practice•October 2022, pp 286-307• https://doi.org/10.1007/978-3-031-19762-8_22AbstractIn this paper, we review software-based technologies already known to be, or expected to become essential for autonomous train control systems with grade of automation GoA 4 (unattended train operation) in existing open railway environments. It is ...
- 3Citation
MetricsTotal Citations3
- Jan Peleska
- Article
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
- Monika Seisenberger
Swansea University, Swansea, UK
, - Maurice H. ter Beek
ISTI–CNR, Pisa, Italy
, - Xiuyi Fan
Nanyang Technological University, Singapore, Singapore
, - Alessio Ferrari
ISTI–CNR, Pisa, Italy
, - Anne E. Haxthausen
Technical University of Denmark, Kongens Lyngby, Denmark
, - Phillip James
Swansea University, Swansea, UK
, - Andrew Lawrence
Siemens Mobility Chippenham, Chippenham, UK
, - Bas Luttik
Eindhoven University of Technology, Eindhoven, The Netherlands
, - Jaco van de Pol
Aarhus University, Aarhus, Denmark
, - Simon Wimmer
Aarhus University, Aarhus, Denmark
Leveraging Applications of Formal Methods, Verification and Validation. Practice•October 2022, pp 246-268• https://doi.org/10.1007/978-3-031-19762-8_20AbstractIn 2020, the EU launched its sustainable and smart mobility strategy, outlining how it plans to have a 90% reduction in transport emission by 2050. Central to achieving this goal will be the improvement of rail technology, with many new data-...
- 7Citation
MetricsTotal Citations7
- Monika Seisenberger
- Article
Formal Methods for Distributed Control Systems of Future Railways
- Alessandro Fantechi
DINFO - Università degli Studi di Firenze, Via S. Marta 3, Florence, Italy
Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” CNR, Via Moruzzi 1, Pisa, Italy
, - Stefania Gnesi
Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” CNR, Via Moruzzi 1, Pisa, Italy
, - Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Lyngby, Denmark
Leveraging Applications of Formal Methods, Verification and Validation. Practice•October 2022, pp 243-245• https://doi.org/10.1007/978-3-031-19762-8_19AbstractThe adoption of formal methods in railway signalling has been the subject of specific tracks of past ISOLA conferences since a decade.
- 1Citation
MetricsTotal Citations1
- Alessandro Fantechi
- Article
Compositional Verification of Railway Interlockings: Comparison of Two Methods
- Alessandro Fantechi
University of Florence, Firenze, Italy
, - Gloria Gori
University of Florence, Firenze, Italy
, - Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Lyngby, Denmark
, - Christophe Limbrée
Belgian Railway Infrastructure Manager, Brussels, Belgium
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification•June 2022, pp 3-19• https://doi.org/10.1007/978-3-031-05814-1_1AbstractFormal verification of safety of interlocking systems and of their configuration on a specific track layout is conceptually an easy task for model checking. Systems that control large railway networks, however, are challenging due to state space ...
- 2Citation
MetricsTotal Citations2
- Alessandro Fantechi
- chapter
Formal Verification of Railway Timetables - Using the UPPAAL Model Checker
- Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
, - Kristian Hede
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
From Software Engineering to Formal Methods and Tools, and Back, pp 433-448• https://doi.org/10.1007/978-3-030-30985-5_25AbstractThis paper considers the challenge of validating railway timetables and investigates how formal methods can be used for that. The paper presents a re-configurable, formal model which can be configured with a timetable for a railway network, ...
- 0Citation
MetricsTotal Citations0
- Anne E. Haxthausen
- editorialOpen Access
Editorial
- Alessandro Fantechi
DINFO, University of Florence, Firenze, Italy
, - Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Lyngby, Denmark
, - Jim Woodcock
Department of Computer Science, University of York, York, UK
Formal Aspects of Computing, Volume 33, Issue 6•Dec 2021, pp 923-924 • https://doi.org/10.1007/s00165-021-00568-x- 0Citation
- 76
- Downloads
MetricsTotal Citations0Total Downloads76Last 12 Months44Last 6 weeks10
- Alessandro Fantechi
- research-articleOpen Access
Efficient data validation for geographical interlocking systems
- Jan Peleska
Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany
, - Niklas Krafczyk
Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany
, - Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
, - Ralf Pinger
Siemens Mobility GmbH, Brunswick, Germany
Formal Aspects of Computing, Volume 33, Issue 6•Dec 2021, pp 925-955 • https://doi.org/10.1007/s00165-021-00551-6AbstractIn this paper, an efficient approach to data validation of distributed geographical interlocking systems (IXLs) is presented. In the distributed IXL paradigm, track elements are controlled by local computers communicating with other control ...
- 1Citation
- 136
- Downloads
MetricsTotal Citations1Total Downloads136Last 12 Months77Last 6 weeks7
- Jan Peleska
- research-articleOpen Access
Stepwise development and model checking of a distributed interlocking system using RAISE
- S. Geisler
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
, - A. E. Haxthausen
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
Formal Aspects of Computing, Volume 33, Issue 1•Jan 2021, pp 87-125 • https://doi.org/10.1007/s00165-020-00507-2AbstractThis paper considers the challenge of designing and verifying control protocols for geographically distributed railway interlocking systems. It describes how this challenge can be tackled by stepwise development and model checking of state ...
- 0Citation
- 122
- Downloads
MetricsTotal Citations0Total Downloads122Last 12 Months46Last 6 weeks10
- S. Geisler
- Article
Model Checking a Distributed Interlocking System Using k-induction with RT-Tester
- Signe Geisler
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
, - Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
Leveraging Applications of Formal Methods, Verification and Validation: Applications•October 2020, pp 449-466• https://doi.org/10.1007/978-3-030-61467-6_29AbstractThis paper investigates the use of k-induction with RT-Tester for tackling the challenge of verifying the safety of a distributed railway interlocking system. For a real-world case study, it is described how a generic and reconfigurable model of ...
- 0Citation
MetricsTotal Citations0
- Signe Geisler
- Article
Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL
- Per Lange Laursen
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
, - Van Anh Thi Trinh
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
, - Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
Leveraging Applications of Formal Methods, Verification and Validation: Applications•October 2020, pp 415-433• https://doi.org/10.1007/978-3-030-61467-6_27AbstractThis paper investigates the modelling and model checking of a real-world distributed railway interlocking system algorithm using UPPAAL. Interlocking systems for specific railway networks are verified by instantiating a generic (re-configurable) ...
- 0Citation
MetricsTotal Citations0
- Per Lange Laursen
- Article
Formal Methods for Distributed Computing in Future Railway Systems
- Alessandro Fantechi
DINFO Università degli Studi di Firenze, Via S. Marta 3, Florence, Italy
Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” CNR, Via Moruzzi 1, Pisa, Italy
, - Stefania Gnesi
Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” CNR, Via Moruzzi 1, Pisa, Italy
, - Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Lyngby, Denmark
Leveraging Applications of Formal Methods, Verification and Validation: Applications•October 2020, pp 389-392• https://doi.org/10.1007/978-3-030-61467-6_24AbstractThe growingly wide deployment of ERTMS-ETCS systems on high speed lines as well as on freight corridors is already a witness to the possible achievement of high safety standards by means of distributed control algorithms, that span over ...
- 2Citation
MetricsTotal Citations2
- Alessandro Fantechi
- article
Automated generation of formal safety conditions from railway interlocking tables
- Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Lyngby, Denmark 2800
International Journal on Software Tools for Technology Transfer (STTT), Volume 16, Issue 6•November 2014, pp 713-726 • https://doi.org/10.1007/s10009-013-0295-9This paper describes a tool for extracting formal safety conditions from interlocking tables for railway interlocking systems. The tool has been applied to generate safety conditions for the interlocking system at Stenstrup station in Denmark, and the ...
- 5Citation
MetricsTotal Citations5
- Anne E. Haxthausen
- Article
Applied Bounded Model Checking for Interlocking System Designs
- Anne E. Haxthausen
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark
, - Jan Peleska
Department of Mathematics and Computer Science, Universität Bremen, Bremen, Germany
, - Ralf Pinger
Siemens AG, Braunschweig, Germany
Revised Selected Papers of the SEFM 2013 Collocated Workshops on Software Engineering and Formal Methods - Volume 8368•September 2013, pp 205-220• https://doi.org/10.1007/978-3-319-05032-4_16In this paper the verification and validation of interlocking systems is investigated. Reviewing both geographical and route-related interlocking, the verification objectives can be structured from a perspective of computer science into (1) verification ...
- 8Citation
MetricsTotal Citations8
- Anne E. Haxthausen
- Article
Automated generation of safety requirements from railway interlocking tables
- Anne E. Haxthausen
DTU Informatics, Technical University of Denmark, Lyngby, Denmark
ISoLA'12: Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II•October 2012, pp 261-275• https://doi.org/10.1007/978-3-642-34032-1_25This paper describes a tool for extracting formal safety conditions from interlocking tables for railway interlocking systems. The tool has been applied to generate safety conditions for the interlocking system at Stenstrup station in Denmark, and the ...
- 5Citation
MetricsTotal Citations5
- Anne E. Haxthausen
- Article
Formal development of a tool for automated modelling and verification of relay interlocking systems
- Anne E. Haxthausen
DTU Informatics, Technical University of Denmark, Lyngby, Denmark
, - Andreas A. Kjær
DTU Informatics, Technical University of Denmark, Lyngby, Denmark
, - Marie Le Bliguet
DTU Informatics, Technical University of Denmark, Lyngby, Denmark
This paper describes a tool for formal modelling relay interlocking systems and explains how it has been stepwise, formally developed using the RAISE method. The developed tool takes the circuit diagrams of a relay interlocking system as input and gives ...
- 0Citation
MetricsTotal Citations0
- Anne E. Haxthausen
- research-articleOpen Access
A formal approach for the construction and verification of railway control systems
- Anne E. Haxthausen
Department of Informatics and Mathematical Modelling, Technical University of Denmark, bld 321, 2800, Lyngby, Denmark
, - Jan Peleska
Department of Mathematics and Computer Science, Universität Bremen, Bremen, Germany
, - Sebastian Kinder
Department of Mathematics and Computer Science, Universität Bremen, Bremen, Germany
Formal Aspects of Computing, Volume 23, Issue 2•Mar 2011, pp 191-219 • https://doi.org/10.1007/s00165-009-0143-6AbstractThis paper describes a complete model-based development and verification approach for railway control systems. For each control system to be generated, the user makes a description of the application-specific parameters in a domain-specific ...
- 12Citation
- 78
- Downloads
MetricsTotal Citations12Total Downloads78Last 12 Months44Last 6 weeks8
- Anne E. Haxthausen
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