default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Miguel Felder
@incollection{DBLP:books/idea/encyclopedia2005/CoratellaFHR05,
author = {Andr{\'{e}}s Coratella and
Miguel Felder and
Roberto Hirsch and
Eduardo Rodr{\'{\i}}guez},
editor = {Mehdi Khosrow{-}Pour},
title = {Mobile Transaction Models Framework},
booktitle = {Encyclopedia of Information Science and Technology {(5} Volumes)},
pages = {1978--1983},
publisher = {Idea Group},
year = {2005},
url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=14548},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/idea/encyclopedia2005/CoratellaFHR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/SanchezAF04,
author = {Marisa A. Sanchez and
Juan Carlos Augusto and
Miguel Felder},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Fault-based Testing of E-Commerce Applications},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {66--74},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 25 Jun 2004 15:11:15 +0200},
biburl = {https://dblp.org/rec/conf/vveis/SanchezAF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/idea/siau2003/CoratellaFHR03,
author = {Andr{\'{e}}s Coratella and
Miguel Felder and
Roberto Hirsch and
Eduardo Rodr{\'{\i}}guez},
editor = {Keng Siau},
title = {A Framework for Analyzing Mobile Transaction Models},
booktitle = {Advanced Topics in Database Research, Vol. 2},
pages = {267--299},
publisher = {Idea Group},
year = {2003},
timestamp = {Mon, 05 Aug 2019 12:51:46 +0200},
biburl = {https://dblp.org/rec/books/idea/siau2003/CoratellaFHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FelderP02,
author = {Miguel Felder and
Mauro Pezz{\`{e}}},
title = {A formal design notation for real-time systems},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {11},
number = {2},
pages = {149--190},
year = {2002},
url = {https://doi.org/10.1145/505145.505146},
doi = {10.1145/505145.505146},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/FelderP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jdm/HirschCFR01,
author = {Roberto Hirsch and
Andr{\'{e}}s Coratella and
Miguel Felder and
Eduardo Rodr{\'{\i}}guez},
title = {A Framework for Analyzing Mobile Transaction Models},
journal = {J. Database Manag.},
volume = {12},
number = {3},
pages = {36--47},
year = {2001},
url = {https://doi.org/10.4018/jdm.2001070104},
doi = {10.4018/JDM.2001070104},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jdm/HirschCFR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/BrabermanF99,
author = {V{\'{\i}}ctor A. Braberman and
Miguel Felder},
editor = {Oscar Nierstrasz and
Michel Lemoine},
title = {Verification of Real-Time Designs: Combining Scheduling Theory with
Automatic Formal Verification},
booktitle = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
the Foundations of Software Engineering, Toulouse, France, September
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1687},
pages = {494--510},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48166-4\_30},
doi = {10.1007/3-540-48166-4\_30},
timestamp = {Wed, 04 May 2022 13:01:10 +0200},
biburl = {https://dblp.org/rec/conf/esec/BrabermanF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gait/WeberKMKJBEGBPFW99,
author = {Herbert Weber and
Marcus Klar and
Stefan Mann and
Ralf{-}Detlef Kutsche and
Stefan J{\"{a}}hnichen and
Robert B{\"{u}}ssow and
Hartmut Ehrig and
Robert Geisler and
Gabriel Baum and
Claudia Pons and
Miguel Felder and
Sergio Waldoke},
editor = {Stefan J{\"{a}}hnichen and
Irene Loiseau},
title = {Integrating Object-Oriented Modelling Techniques with Formal Specification
Techniques},
booktitle = {German-Argentinian Workshop on Information Technology, K{\"{o}}nigswinter,
Germany, March 3-5, 1999. International Bureau of the BMBF, North
and South America, Bonn, 1999},
pages = {23--30},
year = {1999},
timestamp = {Mon, 15 Jul 2019 16:01:48 +0200},
biburl = {https://dblp.org/rec/conf/gait/WeberKMKJBEGBPFW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FelderGM98,
author = {Miguel Felder and
Angelo Gargantini and
Angelo Morzenti},
title = {A Theory of Implementation and Refinement in Timed Petri Nets},
journal = {Theor. Comput. Sci.},
volume = {202},
number = {1-2},
pages = {127--161},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00078-9},
doi = {10.1016/S0304-3975(97)00078-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FelderGM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmldo/Pons98,
author = {Claudia Pons and
Gabriel Baum and
Miguel Felder},
editor = {Torsten Polle and
Torsten Ripke and
Klaus{-}Dieter Schewe},
title = {Foundations of Object-Oriented Modeling Notation in a Dynamic Logic
Framework},
booktitle = {Fundamentals of Information Systems - Papers from the Seventh Workshop
on Foundations of Models and Languages for Data and Objects, Ostfriesland,
Germany, October 5-9, 1998},
pages = {1--18},
publisher = {Kluwer},
year = {1998},
timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
biburl = {https://dblp.org/rec/conf/fmldo/Pons98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/ArecesFHY98,
author = {Carlos Areces and
Miguel Felder and
Dan Hirsch and
Daniel Yankelevich},
title = {Modal Logic as a Design Notation},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {150--152},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858305},
doi = {10.5555/857205.858305},
timestamp = {Mon, 16 May 2022 14:03:08 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/ArecesFHY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sccc/PonsBF98,
author = {Claudia Pons and
Gabriel Baum and
Miguel Felder},
title = {A Dynamic Logic Model for the Formal Foundation of Object-Oriented
Analysis and Design},
booktitle = {Proceedings of 18th International Conference of the Chilean Computer
Science Society {(SCCC} '98), November 12-14, 1998, Antofagasta, Chile},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/SCCC.1998.730792},
doi = {10.1109/SCCC.1998.730792},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sccc/PonsBF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FelderM94,
author = {Miguel Felder and
Angelo Morzenti},
title = {Validating Real-Time Systems by History-Checking {TRIO} Specifications},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {3},
number = {4},
pages = {308--339},
year = {1994},
url = {https://doi.org/10.1145/201024.201034},
doi = {10.1145/201024.201034},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/FelderM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FelderMM94,
author = {Miguel Felder and
Dino Mandrioli and
Angelo Morzenti},
title = {Proving Properties of Real-Time Systems Through Logical Specifications
and Petri Net Models},
journal = {{IEEE} Trans. Software Eng.},
volume = {20},
number = {2},
pages = {127--141},
year = {1994},
url = {https://doi.org/10.1109/32.265634},
doi = {10.1109/32.265634},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FelderMM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/FelderM94,
author = {Miguel Felder and
Angelo Morzenti},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A Temporal Logic Approach to Implementation and Refinement in Timed
Petri Nets},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {365--381},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013999},
doi = {10.1007/BFB0013999},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/FelderM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/FelderGP93,
author = {Miguel Felder and
Carlo Ghezzi and
Mauro Pezz{\`{e}}},
title = {High-Level Timed Petri Nets as a Kernel for Executable Specifications},
journal = {Real Time Syst.},
volume = {5},
number = {2-3},
pages = {235--248},
year = {1993},
url = {https://doi.org/10.1007/BF01088590},
doi = {10.1007/BF01088590},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/FelderGP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/GhezziFB93,
author = {Carlo Ghezzi and
Miguel Felder and
Carlo Bellettini},
editor = {Ian Sommerville and
Manfred Paul},
title = {Real-Time Systems: {A} Survey of Approaches to Formal Specification
and Verification},
booktitle = {Software Engineering - {ESEC} '93, 4th European Software Engineering
Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {717},
pages = {11--36},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57209-0\_3},
doi = {10.1007/3-540-57209-0\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esec/GhezziFB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FelderGP93,
author = {Miguel Felder and
Carlo Ghezzi and
Mauro Pezz{\`{e}}},
editor = {Thomas J. Ostrand and
Elaine J. Weyuker},
title = {Analyzing Refinements of State Based Specifications: The Case of {TB}
Nets},
booktitle = {Proceedings of the 1993 International Symposium on Software Testing
and Analysis, {ISSTA} 1993, Cambridge, MA, USA, June 28-30, 1993},
pages = {28--39},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/154183.154193},
doi = {10.1145/154183.154193},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/FelderGP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/BellettiniFP93,
author = {Carlo Bellettini and
Miguel Felder and
Mauro Pezz{\`{e}}},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Merlot: {A} Tool for Analysis of Real-Time Specifications},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951826},
doi = {10.5555/951807.951826},
timestamp = {Fri, 13 May 2022 15:10:38 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/BellettiniFP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FelderM92,
author = {Miguel Felder and
Angelo Morzenti},
editor = {Tony Montgomery and
Lori A. Clarke and
Carlo Ghezzi},
title = {Validating Real-Time Systems by History-Checking {TRIO} Specifications},
booktitle = {Proceedings of the 14th International Conference on Software Engineering,
Melbourne, Australia, May 11-15, 1992},
pages = {199--211},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143062.143115},
doi = {10.1145/143062.143115},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FelderM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/FelderGP92,
author = {Miguel Felder and
Carlo Ghezzi and
Mauro Pezz{\`{e}}},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {Formal Specification and Timing Analysis of High-Integrity Real-Time
Systems},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {187--211},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_10},
doi = {10.1007/978-3-642-88049-0\_10},
timestamp = {Fri, 12 May 2017 11:23:45 +0200},
biburl = {https://dblp.org/rec/conf/nato/FelderGP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/FelderP92,
author = {Miguel Felder and
Pierluigi {San Pietro}},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {Testing by Executing Logic Specifications},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {683--684},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_105},
doi = {10.1007/978-3-642-88049-0\_105},
timestamp = {Fri, 12 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/FelderP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/FelderP92a,
author = {Miguel Felder and
Pierluigi {San Pietro}},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {Finite Time Semantics for Executable Logic Specifications},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {685--686},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_106},
doi = {10.1007/978-3-642-88049-0\_106},
timestamp = {Fri, 12 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/FelderP92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/FelderM91,
author = {Miguel Felder and
Angelo Morzenti},
title = {Real-time system validation by model checking in {TRIO}},
booktitle = {Euromicro '91 Workshop on Real Time Systems, {RTS} 1991, Universit{\'{e}}
Paris XI, Paris-Orsay, France, June 12-14, 1991, Proceedings},
pages = {20--28},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/EMWRT.1991.144074},
doi = {10.1109/EMWRT.1991.144074},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/FelderM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-24 23:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
